org.eclipse.xtext.serializer.analysis
Class SyntacticSequencerPDAProvider.NavigablePDA

java.lang.Object
  org.eclipse.xtext.serializer.analysis.SyntacticSequencerPDAProvider.NavigablePDA

All Implemented Interfaces:

DirectedGraph<ISyntacticSequencerPDAProvider.ISynState>, Nfa<ISyntacticSequencerPDAProvider.ISynState>, Pda<ISyntacticSequencerPDAProvider.ISynState,RuleCall>

Enclosing class:

SyntacticSequencerPDAProvider

protected static class SyntacticSequencerPDAProvider.NavigablePDA
extends java.lang.Object
implements Pda<ISyntacticSequencerPDAProvider.ISynState,RuleCall>

Field Summary

protected ISyntacticSequencerPDAProvider.ISynNavigable

navigable

Constructor Summary

SyntacticSequencerPDAProvider.NavigablePDA(ISyntacticSequencerPDAProvider.ISynNavigable navigable)

Method Summary

java.lang.Iterable<ISyntacticSequencerPDAProvider.ISynState>	getFollowers(ISyntacticSequencerPDAProvider.ISynState node)
RuleCall	getPop(ISyntacticSequencerPDAProvider.ISynState state)
RuleCall	getPush(ISyntacticSequencerPDAProvider.ISynState state)
ISyntacticSequencerPDAProvider.ISynState	getStart()
ISyntacticSequencerPDAProvider.ISynState	getStop()

Methods inherited from class java.lang.Object

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

Field Detail

navigable

protected ISyntacticSequencerPDAProvider.ISynNavigable navigable

Constructor Detail

SyntacticSequencerPDAProvider.NavigablePDA

public SyntacticSequencerPDAProvider.NavigablePDA(ISyntacticSequencerPDAProvider.ISynNavigable navigable)

Method Detail

getStop

public ISyntacticSequencerPDAProvider.ISynState getStop()

Specified by:

getStop in interface Nfa<ISyntacticSequencerPDAProvider.ISynState>

getFollowers

public java.lang.Iterable<ISyntacticSequencerPDAProvider.ISynState> getFollowers(ISyntacticSequencerPDAProvider.ISynState node)

Specified by:

getFollowers in interface DirectedGraph<ISyntacticSequencerPDAProvider.ISynState>

getPop

public RuleCall getPop(ISyntacticSequencerPDAProvider.ISynState state)

Specified by:

getPop in interface Pda<ISyntacticSequencerPDAProvider.ISynState,RuleCall>

getPush

public RuleCall getPush(ISyntacticSequencerPDAProvider.ISynState state)

Specified by:

getPush in interface Pda<ISyntacticSequencerPDAProvider.ISynState,RuleCall>

getStart

public ISyntacticSequencerPDAProvider.ISynState getStart()

Specified by:

getStart in interface Nfa<ISyntacticSequencerPDAProvider.ISynState>