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