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

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

All Implemented Interfaces:

DirectedGraph<SerializerPDAProvider.SerializerPDAState>, Nfa<SerializerPDAProvider.SerializerPDAState>, Pda<SerializerPDAProvider.SerializerPDAState,RuleCall>

Enclosing class:

SerializerPDAProvider

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

Field Summary

protected SerializerPDAProvider.SerializerPDAState	start
protected SerializerPDAProvider.SerializerPDAState	stop

Constructor Summary

SerializerPDAProvider.SerializerPDA(SerializerPDAProvider.SerializerPDAState start, SerializerPDAProvider.SerializerPDAState stop)

Method Summary

boolean	equals(java.lang.Object obj)
java.lang.Iterable<SerializerPDAProvider.SerializerPDAState>	getFollowers(SerializerPDAProvider.SerializerPDAState state)
RuleCall	getPop(SerializerPDAProvider.SerializerPDAState state)
RuleCall	getPush(SerializerPDAProvider.SerializerPDAState state)
SerializerPDAProvider.SerializerPDAState	getStart()
SerializerPDAProvider.SerializerPDAState	getStop()
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

start

protected SerializerPDAProvider.SerializerPDAState start

stop

protected SerializerPDAProvider.SerializerPDAState stop

Constructor Detail

SerializerPDAProvider.SerializerPDA

public SerializerPDAProvider.SerializerPDA(SerializerPDAProvider.SerializerPDAState start,
                                           SerializerPDAProvider.SerializerPDAState stop)

Method Detail

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

getFollowers

public java.lang.Iterable<SerializerPDAProvider.SerializerPDAState> getFollowers(SerializerPDAProvider.SerializerPDAState state)

Specified by:

getFollowers in interface DirectedGraph<SerializerPDAProvider.SerializerPDAState>

getPop

public RuleCall getPop(SerializerPDAProvider.SerializerPDAState state)

Specified by:

getPop in interface Pda<SerializerPDAProvider.SerializerPDAState,RuleCall>

getPush

public RuleCall getPush(SerializerPDAProvider.SerializerPDAState state)

Specified by:

getPush in interface Pda<SerializerPDAProvider.SerializerPDAState,RuleCall>

getStart

public SerializerPDAProvider.SerializerPDAState getStart()

Specified by:

getStart in interface Nfa<SerializerPDAProvider.SerializerPDAState>

getStop

public SerializerPDAProvider.SerializerPDAState getStop()

Specified by:

getStop in interface Nfa<SerializerPDAProvider.SerializerPDAState>

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object