org.eclipse.xtext.util.formallang
Class StringPda.StringPdaFactory<T>

java.lang.Object
  extended by org.eclipse.xtext.util.formallang.StringPda.StringPdaFactory<T>
All Implemented Interfaces:
NfaFactory<StringPda,java.lang.String,T>, PdaFactory<StringPda,java.lang.String,java.lang.String,T>
Enclosing class:
StringPda

public static class StringPda.StringPdaFactory<T>
extends java.lang.Object
implements PdaFactory<StringPda,java.lang.String,java.lang.String,T>


Field Summary
protected  com.google.common.base.Function<T,java.lang.String> formatter
           
protected  java.lang.String nullStart
           
protected  java.lang.String nullState
           
protected  java.lang.String nullStop
           
 
Constructor Summary
StringPda.StringPdaFactory()
           
StringPda.StringPdaFactory(java.lang.String nullStart, java.lang.String nullStop)
           
StringPda.StringPdaFactory(java.lang.String nullStart, java.lang.String nullStop, java.lang.String nullState)
           
 
Method Summary
 StringPda create(T start, T stop)
           
 java.lang.String createPop(StringPda pda, T token)
           
 java.lang.String createPush(StringPda pda, T token)
           
 java.lang.String createState(StringPda pda, T token)
           
 void setFollowers(StringPda pda, java.lang.String owner, java.lang.Iterable<java.lang.String> followers)
           
 StringPda.StringPdaFactory<T> setTokenFormatter(com.google.common.base.Function<T,java.lang.String> formatter)
           
protected  java.lang.String tokenToStr(T token, java.lang.String nullValue)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

formatter

protected com.google.common.base.Function<T,java.lang.String> formatter

nullStart

protected java.lang.String nullStart

nullState

protected java.lang.String nullState

nullStop

protected java.lang.String nullStop
Constructor Detail

StringPda.StringPdaFactory

public StringPda.StringPdaFactory()

StringPda.StringPdaFactory

public StringPda.StringPdaFactory(java.lang.String nullStart,
                                  java.lang.String nullStop)

StringPda.StringPdaFactory

public StringPda.StringPdaFactory(java.lang.String nullStart,
                                  java.lang.String nullStop,
                                  java.lang.String nullState)
Method Detail

create

public StringPda create(T start,
                        T stop)
Specified by:
create in interface NfaFactory<StringPda,java.lang.String,T>

createPop

public java.lang.String createPop(StringPda pda,
                                  T token)
Specified by:
createPop in interface PdaFactory<StringPda,java.lang.String,java.lang.String,T>

createPush

public java.lang.String createPush(StringPda pda,
                                   T token)
Specified by:
createPush in interface PdaFactory<StringPda,java.lang.String,java.lang.String,T>

createState

public java.lang.String createState(StringPda pda,
                                    T token)
Specified by:
createState in interface NfaFactory<StringPda,java.lang.String,T>

setFollowers

public void setFollowers(StringPda pda,
                         java.lang.String owner,
                         java.lang.Iterable<java.lang.String> followers)
Specified by:
setFollowers in interface NfaFactory<StringPda,java.lang.String,T>

setTokenFormatter

public StringPda.StringPdaFactory<T> setTokenFormatter(com.google.common.base.Function<T,java.lang.String> formatter)

tokenToStr

protected java.lang.String tokenToStr(T token,
                                      java.lang.String nullValue)