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

java.lang.Object
  extended by org.eclipse.xtext.grammaranalysis.impl.AbstractPDAProvider<SyntacticSequencerPDAProvider.SequencerPDAContext>
      extended by org.eclipse.xtext.serializer.analysis.SyntacticSequencerPDAProvider.SequencerPDAProvider
All Implemented Interfaces:
IPDAProvider<SyntacticSequencerPDAProvider.SequencerPDAContext>
Enclosing class:
SyntacticSequencerPDAProvider

public static class SyntacticSequencerPDAProvider.SequencerPDAProvider
extends AbstractPDAProvider<SyntacticSequencerPDAProvider.SequencerPDAContext>


Nested Class Summary
 
Nested classes/interfaces inherited from class org.eclipse.xtext.grammaranalysis.impl.AbstractPDAProvider
AbstractPDAProvider.PDAContext<CTX>, AbstractPDAProvider.PDAState, AbstractPDAProvider.RuleCallStackElement
 
Field Summary
protected  SyntacticSequencerPDAProvider.SequencerNFAProvider nfaProvider
           
 
Constructor Summary
SyntacticSequencerPDAProvider.SequencerPDAProvider(SyntacticSequencerPDAProvider.SequencerNFAProvider nfaProvider)
           
 
Method Summary
protected  boolean canEnterRuleCall(INFAState<?,?> state)
           
protected  boolean canPass(SyntacticSequencerPDAProvider.SequencerPDAContext context, INFAState<?,?> state, org.eclipse.emf.ecore.EClass constructedType)
           
protected  boolean canReachElement(INFAState<?,?> from, AbstractElement to, java.util.Set<java.lang.Object> visited)
           
protected  boolean canReachEndState(INFAState<?,?> from, java.util.Set<java.lang.Object> visited)
           
protected  java.util.List<INFAState<?,?>> getActionStartFollowers(Action action)
           
protected  java.util.List<INFAState<?,?>> getAllRuleStartFollowers(ParserRule pr)
           
protected  java.util.List<INFAState<?,?>> getFollowers(SyntacticSequencerPDAProvider.SequencerPDAContext context, INFAState<?,?> state, boolean returning, boolean canReturn)
           
protected  java.util.List<INFAState<?,?>> getParserRuleStartFollowers(ParserRule rule)
           
protected  java.util.List<INFAState<?,?>> getStartFollowers(SyntacticSequencerPDAProvider.SequencerPDAContext context)
           
protected  boolean isFinalState(SyntacticSequencerPDAProvider.SequencerPDAContext context, INFAState<?,?> state, boolean returning, boolean canReturn)
           
 
Methods inherited from class org.eclipse.xtext.grammaranalysis.impl.AbstractPDAProvider
canReachContextEnd, createContext, createState, createState, getConstructedType, getPDA, getState, stackPush
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

nfaProvider

protected SyntacticSequencerPDAProvider.SequencerNFAProvider nfaProvider
Constructor Detail

SyntacticSequencerPDAProvider.SequencerPDAProvider

public SyntacticSequencerPDAProvider.SequencerPDAProvider(SyntacticSequencerPDAProvider.SequencerNFAProvider nfaProvider)
Method Detail

canEnterRuleCall

protected boolean canEnterRuleCall(INFAState<?,?> state)
Specified by:
canEnterRuleCall in class AbstractPDAProvider<SyntacticSequencerPDAProvider.SequencerPDAContext>

canPass

protected boolean canPass(SyntacticSequencerPDAProvider.SequencerPDAContext context,
                          INFAState<?,?> state,
                          org.eclipse.emf.ecore.EClass constructedType)
Specified by:
canPass in class AbstractPDAProvider<SyntacticSequencerPDAProvider.SequencerPDAContext>

canReachElement

protected boolean canReachElement(INFAState<?,?> from,
                                  AbstractElement to,
                                  java.util.Set<java.lang.Object> visited)

canReachEndState

protected boolean canReachEndState(INFAState<?,?> from,
                                   java.util.Set<java.lang.Object> visited)

getActionStartFollowers

protected java.util.List<INFAState<?,?>> getActionStartFollowers(Action action)

getAllRuleStartFollowers

protected java.util.List<INFAState<?,?>> getAllRuleStartFollowers(ParserRule pr)

getFollowers

protected java.util.List<INFAState<?,?>> getFollowers(SyntacticSequencerPDAProvider.SequencerPDAContext context,
                                                      INFAState<?,?> state,
                                                      boolean returning,
                                                      boolean canReturn)
Specified by:
getFollowers in class AbstractPDAProvider<SyntacticSequencerPDAProvider.SequencerPDAContext>

getParserRuleStartFollowers

protected java.util.List<INFAState<?,?>> getParserRuleStartFollowers(ParserRule rule)

getStartFollowers

protected java.util.List<INFAState<?,?>> getStartFollowers(SyntacticSequencerPDAProvider.SequencerPDAContext context)
Specified by:
getStartFollowers in class AbstractPDAProvider<SyntacticSequencerPDAProvider.SequencerPDAContext>

isFinalState

protected boolean isFinalState(SyntacticSequencerPDAProvider.SequencerPDAContext context,
                               INFAState<?,?> state,
                               boolean returning,
                               boolean canReturn)
Specified by:
isFinalState in class AbstractPDAProvider<SyntacticSequencerPDAProvider.SequencerPDAContext>