Class | Description |
---|---|
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.
|
MachineProbe | |
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.CommutativePredicate | |
SemanticContext.FalsePredicate | |
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 | Description |
---|---|
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.
|
Copyright © 1992–2015 ANTLR. All rights reserved.