| 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.
|