org.eclipse.xtext.serializer.analysis

Class SyntacticSequencerPDAProvider.NavigablePDA

java.lang.Object

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

All Implemented Interfaces:

org.eclipse.xtext.util.formallang.DirectedGraph<ISyntacticSequencerPDAProvider.ISynState>, org.eclipse.xtext.util.formallang.Nfa<ISyntacticSequencerPDAProvider.ISynState>, org.eclipse.xtext.util.formallang.Pda<ISyntacticSequencerPDAProvider.ISynState,RuleCall>

Enclosing class:

SyntacticSequencerPDAProvider

protected static class SyntacticSequencerPDAProvider.NavigablePDA
extends java.lang.Object
implements org.eclipse.xtext.util.formallang.Pda<ISyntacticSequencerPDAProvider.ISynState,RuleCall>

Field Summary

Fields

Modifier and Type	Field and Description
protected ISyntacticSequencerPDAProvider.ISynNavigable	navigable

Constructor Summary

Constructors

Constructor and Description
NavigablePDA(ISyntacticSequencerPDAProvider.ISynNavigable navigable)

Method Summary

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()

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

NavigablePDA

public NavigablePDA(ISyntacticSequencerPDAProvider.ISynNavigable navigable)

Method Detail

getFollowers

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

Specified by:

getFollowers in interface org.eclipse.xtext.util.formallang.DirectedGraph<ISyntacticSequencerPDAProvider.ISynState>

getPop

public RuleCall getPop(ISyntacticSequencerPDAProvider.ISynState state)

Specified by:

getPop in interface org.eclipse.xtext.util.formallang.Pda<ISyntacticSequencerPDAProvider.ISynState,RuleCall>

getPush

public RuleCall getPush(ISyntacticSequencerPDAProvider.ISynState state)

Specified by:

getPush in interface org.eclipse.xtext.util.formallang.Pda<ISyntacticSequencerPDAProvider.ISynState,RuleCall>

getStart

public ISyntacticSequencerPDAProvider.ISynState getStart()

Specified by:

getStart in interface org.eclipse.xtext.util.formallang.Nfa<ISyntacticSequencerPDAProvider.ISynState>

getStop

public ISyntacticSequencerPDAProvider.ISynState getStop()

Specified by:

getStop in interface org.eclipse.xtext.util.formallang.Nfa<ISyntacticSequencerPDAProvider.ISynState>