Package org.antlr.analysis

Class Summary
ActionLabel  
DecisionProbe Collection of information about what is wrong with a decision as discovered while building the DFA predictor.
DFA A DFA (converted from a grammar's NFA).
DFAOptimizer A module to perform optimizations on DFAs.
DFAState A DFA state represents a set of possible NFA configurations.
Label A state machine transition label.
LL1Analyzer Created by IntelliJ IDEA.
LL1DFA A special DFA that is exactly LL(1) or LL(1) with backtracking mode predicates to resolve edge set collisions.
LookaheadSet An LL(1) lookahead set; contains a set of token types and a "hasEOF" condition when the set contains EOF.
NFA An NFA (collection of NFAStates) constructed from a grammar.
NFAConfiguration An NFA state, predicted alt, and syntactic/semantic context.
NFAContext A tree node for tracking the call chains for NFAs that invoke other NFAs.
NFAConversionThread Convert all decisions i..j inclusive in a thread
NFAState A state within an NFA.
NFAToDFAConverter Code that embodies the NFA conversion to DFA.
PredicateLabel  
RuleClosureTransition A transition used to reference another rule.
SemanticContext A binary tree structure used to record the semantic context in which an NFA configuration is valid.
SemanticContext.AND  
SemanticContext.NOT  
SemanticContext.OR  
SemanticContext.Predicate  
SemanticContext.TruePredicate  
State A generic state machine state.
StateCluster A Cluster object points to the left/right (start and end) states of a state machine.
Transition A generic transition between any two state machine states.
 

Exception Summary
AnalysisRecursionOverflowException An NFA configuration context stack overflowed.
AnalysisTimeoutException Analysis took too long; bail out of entire DFA construction.
NonLLStarDecisionException Used to abort DFA construction when we find non-LL(*) decision; i.e., a decision that has recursion in more than a single alt.