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.ISynAbsorberState
getTarget()
boolean
hasEmitters()
boolean
involvesUnassignedTokenRuleCalls()
boolean
isSyntacticallyAmbiguous()
-
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()
-
-