org.eclipse.xtext.serializer.analysis
Interface ISyntacticSequencerPDAProvider.ISynNavigable

All Superinterfaces:
ISyntacticSequencerPDAProvider.ISynFollowerOwner
All Known Subinterfaces:
ISyntacticSequencerPDAProvider.ISynEmitterState, ISyntacticSequencerPDAProvider.ISynTransition
All Known Implementing Classes:
SyntacticSequencerPDAProvider.SynEmitterState, SyntacticSequencerPDAProvider.SynNavigable, SyntacticSequencerPDAProvider.SynTransition
Enclosing interface:
ISyntacticSequencerPDAProvider

public static interface ISyntacticSequencerPDAProvider.ISynNavigable
extends ISyntacticSequencerPDAProvider.ISynFollowerOwner


Method Summary
 Pda<ISyntacticSequencerPDAProvider.ISynState,RuleCall> getPathToTarget()
           
 java.util.List<ISyntacticSequencerPDAProvider.ISynState> getShortestPathTo(AbstractElement ele, RuleCallStack stack)
           
 java.util.List<ISyntacticSequencerPDAProvider.ISynState> getShortestPathToAbsorber(RuleCallStack stack)
           
 java.util.List<ISyntacticSequencerPDAProvider.ISynState> getShortestStackpruningPathTo(AbstractElement ele, RuleCallStack stack)
           
 java.util.List<ISyntacticSequencerPDAProvider.ISynState> getShortestStackpruningPathToAbsorber(RuleCallStack stack)
           
 ISyntacticSequencerPDAProvider.ISynAbsorberState getTarget()
           
 boolean hasEmitters()
           
 boolean involvesUnassignedTokenRuleCalls()
           
 boolean isSyntacticallyAmbiguous()
           
 
Methods inherited from interface org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynFollowerOwner
getContext, getEClass, getFollowers
 

Method Detail

getPathToTarget

Pda<ISyntacticSequencerPDAProvider.ISynState,RuleCall> getPathToTarget()

getShortestPathTo

java.util.List<ISyntacticSequencerPDAProvider.ISynState> getShortestPathTo(AbstractElement ele,
                                                                           RuleCallStack stack)

getShortestPathToAbsorber

java.util.List<ISyntacticSequencerPDAProvider.ISynState> getShortestPathToAbsorber(RuleCallStack stack)

getShortestStackpruningPathTo

java.util.List<ISyntacticSequencerPDAProvider.ISynState> getShortestStackpruningPathTo(AbstractElement ele,
                                                                                       RuleCallStack stack)

getShortestStackpruningPathToAbsorber

java.util.List<ISyntacticSequencerPDAProvider.ISynState> getShortestStackpruningPathToAbsorber(RuleCallStack stack)

getTarget

ISyntacticSequencerPDAProvider.ISynAbsorberState getTarget()

hasEmitters

boolean hasEmitters()

involvesUnassignedTokenRuleCalls

boolean involvesUnassignedTokenRuleCalls()

isSyntacticallyAmbiguous

boolean isSyntacticallyAmbiguous()