protected static class SyntacticSequencerPDAProvider.NavigablePDA extends java.lang.Object implements Pda<ISyntacticSequencerPDAProvider.ISynState,RuleCall>
Modifier and Type | Field and Description |
---|---|
protected ISyntacticSequencerPDAProvider.ISynNavigable |
navigable |
Constructor and Description |
---|
SyntacticSequencerPDAProvider.NavigablePDA(ISyntacticSequencerPDAProvider.ISynNavigable navigable) |
Modifier and Type | Method and Description |
---|---|
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() |
protected ISyntacticSequencerPDAProvider.ISynNavigable navigable
public SyntacticSequencerPDAProvider.NavigablePDA(ISyntacticSequencerPDAProvider.ISynNavigable navigable)
public ISyntacticSequencerPDAProvider.ISynState getStop()
getStop
in interface Nfa<ISyntacticSequencerPDAProvider.ISynState>
public java.lang.Iterable<ISyntacticSequencerPDAProvider.ISynState> getFollowers(ISyntacticSequencerPDAProvider.ISynState node)
getFollowers
in interface DirectedGraph<ISyntacticSequencerPDAProvider.ISynState>
public RuleCall getPop(ISyntacticSequencerPDAProvider.ISynState state)
getPop
in interface Pda<ISyntacticSequencerPDAProvider.ISynState,RuleCall>
public RuleCall getPush(ISyntacticSequencerPDAProvider.ISynState state)
getPush
in interface Pda<ISyntacticSequencerPDAProvider.ISynState,RuleCall>
public ISyntacticSequencerPDAProvider.ISynState getStart()
getStart
in interface Nfa<ISyntacticSequencerPDAProvider.ISynState>