org.eclipse.xtext.serializer.analysis
Class SerializerPDAProvider.SerializerPDAFactory

java.lang.Object
  org.eclipse.xtext.serializer.analysis.SerializerPDAProvider.SerializerPDAFactory

All Implemented Interfaces:

NfaFactory<SerializerPDAProvider.SerializerPDA,SerializerPDAProvider.SerializerPDAState,AbstractElement>, PdaFactory<SerializerPDAProvider.SerializerPDA,SerializerPDAProvider.SerializerPDAState,RuleCall,AbstractElement>

Enclosing class:

SerializerPDAProvider

protected static class SerializerPDAProvider.SerializerPDAFactory
extends java.lang.Object
implements PdaFactory<SerializerPDAProvider.SerializerPDA,SerializerPDAProvider.SerializerPDAState,RuleCall,AbstractElement>

Constructor Summary

protected

SerializerPDAProvider.SerializerPDAFactory()

Method Summary

SerializerPDAProvider.SerializerPDA	create(AbstractElement start, AbstractElement stop)
SerializerPDAProvider.SerializerPDAState	createPop(SerializerPDAProvider.SerializerPDA pda, AbstractElement token)
SerializerPDAProvider.SerializerPDAState	createPush(SerializerPDAProvider.SerializerPDA pda, AbstractElement token)
SerializerPDAProvider.SerializerPDAState	createState(SerializerPDAProvider.SerializerPDA nfa, AbstractElement token)
void	setFollowers(SerializerPDAProvider.SerializerPDA nfa, SerializerPDAProvider.SerializerPDAState owner, java.lang.Iterable<SerializerPDAProvider.SerializerPDAState> followers)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SerializerPDAProvider.SerializerPDAFactory

protected SerializerPDAProvider.SerializerPDAFactory()

Method Detail

create

public SerializerPDAProvider.SerializerPDA create(AbstractElement start,
                                                  AbstractElement stop)

Specified by:

create in interface NfaFactory<SerializerPDAProvider.SerializerPDA,SerializerPDAProvider.SerializerPDAState,AbstractElement>

createPop

public SerializerPDAProvider.SerializerPDAState createPop(SerializerPDAProvider.SerializerPDA pda,
                                                          AbstractElement token)

Specified by:

createPop in interface PdaFactory<SerializerPDAProvider.SerializerPDA,SerializerPDAProvider.SerializerPDAState,RuleCall,AbstractElement>

createPush

public SerializerPDAProvider.SerializerPDAState createPush(SerializerPDAProvider.SerializerPDA pda,
                                                           AbstractElement token)

Specified by:

createPush in interface PdaFactory<SerializerPDAProvider.SerializerPDA,SerializerPDAProvider.SerializerPDAState,RuleCall,AbstractElement>

createState

public SerializerPDAProvider.SerializerPDAState createState(SerializerPDAProvider.SerializerPDA nfa,
                                                            AbstractElement token)

Specified by:

createState in interface NfaFactory<SerializerPDAProvider.SerializerPDA,SerializerPDAProvider.SerializerPDAState,AbstractElement>

setFollowers

public void setFollowers(SerializerPDAProvider.SerializerPDA nfa,
                         SerializerPDAProvider.SerializerPDAState owner,
                         java.lang.Iterable<SerializerPDAProvider.SerializerPDAState> followers)

Specified by:

setFollowers in interface NfaFactory<SerializerPDAProvider.SerializerPDA,SerializerPDAProvider.SerializerPDAState,AbstractElement>