org.antlr.analysis |
|
Java Source File Name | Type | Comment |
DecisionProbe.java | Class | Collection of information about what is wrong with a decision as
discovered while building the DFA predictor.
The information is collected during NFA->DFA conversion and, while
some of this is available elsewhere, it is nice to have it all tracked
in one spot so a great error message can be easily had. |
DFA.java | Class | A DFA (converted from a grammar's NFA). |
DFAOptimizer.java | Class | A module to perform optimizations on DFAs.
I could more easily (and more quickly) do some optimizations (such as
PRUNE_EBNF_EXIT_BRANCHES) during DFA construction, but then it
messes up the determinism checking. |
DFAState.java | Class | A DFA state represents a set of possible NFA configurations.
As Aho, Sethi, Ullman p. |
Label.java | Class | A state machine transition label. |
LookaheadSet.java | Class | An LL(1) lookahead set; contains a set of token types and a "hasEOF"
condition when the set contains EOF. |
NFA.java | Class | An NFA (collection of NFAStates) constructed from a grammar. |
NFAConfiguration.java | Class | An NFA state, predicted alt, and syntactic/semantic context.
The syntactic context is a pointer into the rule invocation
chain used to arrive at the state. |
NFAContext.java | Class | A tree node for tracking the call chains for NFAs that invoke
other NFAs. |
NFAConversionThread.java | Class | |
NFAState.java | Class | A state within an NFA. |
NFAToDFAConverter.java | Class | Code that embodies the NFA conversion to DFA. |
RuleClosureTransition.java | Class | A transition used to reference another rule. |
SemanticContext.java | Class | A binary tree structure used to record the semantic context in which
an NFA configuration is valid. |
State.java | Class | A generic state machine state. |
StateCluster.java | Class | A Cluster object points to the left/right (start and end) states of a
state machine. |
Transition.java | Class | A generic transition between any two state machine states. |