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
All Methods Instance Methods Abstract Methods Modifier and Type Method Description org.eclipse.xtext.util.formallang.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.ISynAbsorberStategetTarget()booleanhasEmitters()booleaninvolvesUnassignedTokenRuleCalls()booleanisSyntacticallyAmbiguous()-
Methods inherited from interface org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynFollowerOwner
getEClass, getFollowers
-
-
-
-
Method Detail
-
getPathToTarget
org.eclipse.xtext.util.formallang.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()
-
-