org.eclipse.xtext.serializer.analysis
Class SyntacticSequencerPDAProvider.SynNavigable

java.lang.Object
  extended by org.eclipse.xtext.serializer.analysis.SyntacticSequencerPDAProvider.SynState
      extended by org.eclipse.xtext.serializer.analysis.SyntacticSequencerPDAProvider.SynNavigable
All Implemented Interfaces:
ISyntacticSequencerPDAProvider.ISynFollowerOwner, ISyntacticSequencerPDAProvider.ISynNavigable, ISyntacticSequencerPDAProvider.ISynState
Direct Known Subclasses:
SyntacticSequencerPDAProvider.SynEmitterState, SyntacticSequencerPDAProvider.SynTransition
Enclosing class:
SyntacticSequencerPDAProvider

protected static class SyntacticSequencerPDAProvider.SynNavigable
extends SyntacticSequencerPDAProvider.SynState
implements ISyntacticSequencerPDAProvider.ISynNavigable


Field Summary
protected  int distanceToAbsorber
           
protected  java.lang.Boolean involvesRuleExit
           
protected  java.lang.Boolean involvesUnassignedTokenRuleCalls
           
protected static java.util.List<ISyntacticSequencerPDAProvider.ISynState> RULE_EXIT_DEPENDENT
           
protected  java.util.List<ISyntacticSequencerPDAProvider.ISynState> shortestPathToAbsorber
           
protected  java.lang.Boolean syntacticallyAmbiguous
           
protected  ISyntacticSequencerPDAProvider.ISynAbsorberState target
           
 
Fields inherited from class org.eclipse.xtext.serializer.analysis.SyntacticSequencerPDAProvider.SynState
element, followers, type
 
Constructor Summary
SyntacticSequencerPDAProvider.SynNavigable(ISyntacticSequencerPDAProvider.SynStateType type, AbstractElement element, ISyntacticSequencerPDAProvider.ISynAbsorberState target)
           
 
Method Summary
 org.eclipse.emf.ecore.EObject getContext()
           
 org.eclipse.emf.ecore.EClass getEClass()
           
 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()
           
protected  boolean involves(ISyntacticSequencerPDAProvider.ISynState from, java.util.Set<ISyntacticSequencerPDAProvider.SynStateType> types, java.util.Set<ISyntacticSequencerPDAProvider.ISynState> visited)
           
protected  boolean involves(java.util.Set<ISyntacticSequencerPDAProvider.SynStateType> types)
           
protected  java.lang.Boolean involvesRuleExit()
           
 boolean involvesUnassignedTokenRuleCalls()
           
 boolean isSyntacticallyAmbiguous()
           
protected  boolean isSyntacticallyAmbiguous(ISyntacticSequencerPDAProvider.ISynState state, RuleCallStack exits, RuleCallStack stack, java.util.List<RuleCallStack> results, java.util.Set<ISyntacticSequencerPDAProvider.ISynState> visited)
           
protected  boolean isSyntacticallyAmbiguous(java.util.List<ISyntacticSequencerPDAProvider.ISynState> states)
           
protected  java.util.List<ISyntacticSequencerPDAProvider.ISynState> shortestPathTo(java.util.Iterator<RuleCall> stack, com.google.common.base.Predicate<ISyntacticSequencerPDAProvider.ISynState> matches, boolean includeMatch)
           
protected  java.util.List<ISyntacticSequencerPDAProvider.ISynState> shortestStackpruningPathTo(java.util.Iterator<RuleCall> stack, com.google.common.base.Predicate<ISyntacticSequencerPDAProvider.ISynState> matches, boolean includeMatch)
           
 
Methods inherited from class org.eclipse.xtext.serializer.analysis.SyntacticSequencerPDAProvider.SynState
addFollower, addFollower, getFollowers, getGrammarElement, getType, setFollowers, toString, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynFollowerOwner
getFollowers
 

Field Detail

RULE_EXIT_DEPENDENT

protected static final java.util.List<ISyntacticSequencerPDAProvider.ISynState> RULE_EXIT_DEPENDENT

distanceToAbsorber

protected int distanceToAbsorber

involvesRuleExit

protected java.lang.Boolean involvesRuleExit

involvesUnassignedTokenRuleCalls

protected java.lang.Boolean involvesUnassignedTokenRuleCalls

shortestPathToAbsorber

protected java.util.List<ISyntacticSequencerPDAProvider.ISynState> shortestPathToAbsorber

syntacticallyAmbiguous

protected java.lang.Boolean syntacticallyAmbiguous

target

protected ISyntacticSequencerPDAProvider.ISynAbsorberState target
Constructor Detail

SyntacticSequencerPDAProvider.SynNavigable

public SyntacticSequencerPDAProvider.SynNavigable(ISyntacticSequencerPDAProvider.SynStateType type,
                                                  AbstractElement element,
                                                  ISyntacticSequencerPDAProvider.ISynAbsorberState target)
Method Detail

getContext

public org.eclipse.emf.ecore.EObject getContext()
Specified by:
getContext in interface ISyntacticSequencerPDAProvider.ISynFollowerOwner

getEClass

public org.eclipse.emf.ecore.EClass getEClass()
Specified by:
getEClass in interface ISyntacticSequencerPDAProvider.ISynFollowerOwner

getPathToTarget

public Pda<ISyntacticSequencerPDAProvider.ISynState,RuleCall> getPathToTarget()
Specified by:
getPathToTarget in interface ISyntacticSequencerPDAProvider.ISynNavigable

getShortestPathTo

public java.util.List<ISyntacticSequencerPDAProvider.ISynState> getShortestPathTo(AbstractElement ele,
                                                                                  RuleCallStack stack)
Specified by:
getShortestPathTo in interface ISyntacticSequencerPDAProvider.ISynNavigable

getShortestPathToAbsorber

public java.util.List<ISyntacticSequencerPDAProvider.ISynState> getShortestPathToAbsorber(RuleCallStack stack)
Specified by:
getShortestPathToAbsorber in interface ISyntacticSequencerPDAProvider.ISynNavigable

getShortestStackpruningPathTo

public java.util.List<ISyntacticSequencerPDAProvider.ISynState> getShortestStackpruningPathTo(AbstractElement ele,
                                                                                              RuleCallStack stack)
Specified by:
getShortestStackpruningPathTo in interface ISyntacticSequencerPDAProvider.ISynNavigable

getShortestStackpruningPathToAbsorber

public java.util.List<ISyntacticSequencerPDAProvider.ISynState> getShortestStackpruningPathToAbsorber(RuleCallStack stack)
Specified by:
getShortestStackpruningPathToAbsorber in interface ISyntacticSequencerPDAProvider.ISynNavigable

getTarget

public ISyntacticSequencerPDAProvider.ISynAbsorberState getTarget()
Specified by:
getTarget in interface ISyntacticSequencerPDAProvider.ISynNavigable

hasEmitters

public boolean hasEmitters()
Specified by:
hasEmitters in interface ISyntacticSequencerPDAProvider.ISynNavigable

involves

protected boolean involves(ISyntacticSequencerPDAProvider.ISynState from,
                           java.util.Set<ISyntacticSequencerPDAProvider.SynStateType> types,
                           java.util.Set<ISyntacticSequencerPDAProvider.ISynState> visited)

involves

protected boolean involves(java.util.Set<ISyntacticSequencerPDAProvider.SynStateType> types)

involvesRuleExit

protected java.lang.Boolean involvesRuleExit()

involvesUnassignedTokenRuleCalls

public boolean involvesUnassignedTokenRuleCalls()
Specified by:
involvesUnassignedTokenRuleCalls in interface ISyntacticSequencerPDAProvider.ISynNavigable

isSyntacticallyAmbiguous

public boolean isSyntacticallyAmbiguous()
Specified by:
isSyntacticallyAmbiguous in interface ISyntacticSequencerPDAProvider.ISynNavigable

isSyntacticallyAmbiguous

protected boolean isSyntacticallyAmbiguous(ISyntacticSequencerPDAProvider.ISynState state,
                                           RuleCallStack exits,
                                           RuleCallStack stack,
                                           java.util.List<RuleCallStack> results,
                                           java.util.Set<ISyntacticSequencerPDAProvider.ISynState> visited)

isSyntacticallyAmbiguous

protected boolean isSyntacticallyAmbiguous(java.util.List<ISyntacticSequencerPDAProvider.ISynState> states)

shortestPathTo

protected java.util.List<ISyntacticSequencerPDAProvider.ISynState> shortestPathTo(java.util.Iterator<RuleCall> stack,
                                                                                  com.google.common.base.Predicate<ISyntacticSequencerPDAProvider.ISynState> matches,
                                                                                  boolean includeMatch)

shortestStackpruningPathTo

protected java.util.List<ISyntacticSequencerPDAProvider.ISynState> shortestStackpruningPathTo(java.util.Iterator<RuleCall> stack,
                                                                                              com.google.common.base.Predicate<ISyntacticSequencerPDAProvider.ISynState> matches,
                                                                                              boolean includeMatch)