Package org.eclipse.xtext.util.formallang

Class StringPda.StringPdaFactory<T>

java.lang.Object

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

Fields

Modifier and Type	Field	Description
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

Constructors

Constructor	Description
StringPdaFactory()
StringPdaFactory(java.lang.String nullStart, java.lang.String nullStop)
StringPdaFactory(java.lang.String nullStart, java.lang.String nullStop, java.lang.String nullState)

Method Summary

Modifier and Type	Method	Description
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

StringPdaFactory

public StringPdaFactory()

StringPdaFactory

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

StringPdaFactory

public 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)