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 Object
implements Pda<ISyntacticSequencerPDAProvider.ISynState,RuleCall>

Field Summary

Fields

Modifier and Type	Field and Description
protected ISyntacticSequencerPDAProvider.ISynNavigable	navigable

Constructor Summary

Constructors

Constructor and Description
SyntacticSequencerPDAProvider.NavigablePDA(ISyntacticSequencerPDAProvider.ISynNavigable navigable)

Method Summary

Methods

Modifier and Type	Method and Description
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 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>