- addNFAConfiguration
Add an NFA configuration to this DFA node. Add uniquely an NFA
state/alt/syntactic&semantic context
- addReachableLabel
Add label uniquely and disjointly; intersection with another set or int/char
forces breaking up the
- addTransition
- getAcceptStateReachable
Is an accept state reachable from this state?
- getAltSet
Get the set of all alts mentioned by all NFA configurations in this DFA state.
- getConflictingAlts
Walk each NFA configuration in this DFA state looking for a conflict where
(s|i|ctx) and (s|j|ctx) e
- getDisabledAlternatives
When more than one alternative can match the same input, the first alternative
is chosen to resolve
- getGatedPredicatesInNFAConfigurations
For gated productions, we need an OR'd list of all predicates for the target of
an edge so we can ga
- getGatedSyntacticPredicatesInNFAConfigurations
- getLookaheadDepth
- getNonDeterministicAlts
- getNumberOfTransitions