Top Description Fields Constructors Methods
org.antlr.analysis

public Class LL1DFA

extends DFA
Class Inheritance
Imports
org.antlr.grammar.v3.ANTLRParser, org.antlr.misc.IntervalSet, .MultiMap, java.util.Collections, .Iterator, .List, .Map

A special DFA that is exactly LL(1) or LL(1) with backtracking mode predicates to resolve edge set collisions.

Field Summary

Inherited from org.antlr.analysis.DFA:
acceptaltToAcceptStatecyclicCYCLIC_BUSYCYCLIC_DONECYCLIC_UNKNOWNdecisionNFAStartStatedecisionNumberdescriptionedgeTransitionClassedgeTransitionClassMapeofeotgeneratorhasPredicateBlockedByActionmaxmax_kMAX_STATE_TRANSITIONS_FOR_TABLEMAX_TIME_PER_DFA_CREATIONminnAltsnfanfaConverternumberOfStatespredicateVisibleprobeREACHABLE_BUSYREACHABLE_NOREACHABLE_UNKNOWNREACHABLE_YESrecursiveAltSetreducedspecialspecialStatesspecialStateSTsstartStatestateCounterstatestransitiontransitionEdgeTablesuniqueCompressedSpecialStateNumuniqueStatesunreachableAltsuser_k

Constructor Summary

AccessConstructor and Description
public
LL1DFA(int decisionNumber, NFAState decisionStartState, LookaheadSet[] altLook)

From list of lookahead sets (one per alt in decision), create an LL(1) DFA.

public
LL1DFA(int decisionNumber, NFAState decisionStartState, MultiMap<IntervalSet, Integer> edgeMap)

From a set of edgeset→list-of-alts mappings, create a DFA that uses syn preds for all |list-of-alts|>1.

Method Summary

Modifier and TypeMethod and Description
protected Label
protected SemanticContext.Predicate
getSynPredForAlt(NFAState decisionStartState, int alt)

Inherited from org.antlr.analysis.DFA:
_getMaxLookaheadDepth_hasCycle_hasSemPred_hasSynPredaddStatecanInlineDecisioncreateEOTAndEOFTablescreateMinMaxTablescreateSpecialTablecreateStateTablescreateTransitionTableEntryForStatedoesStateReachAcceptStatefindAllGatedSynPredsUsedInDFAAcceptStatesgetAcceptStategetAutoBacktrackModegetDecisionASTNodegetDecisionNumbergetDescriptiongetHasSynPredgetJavaCompressedAcceptgetJavaCompressedEOFgetJavaCompressedEOTgetJavaCompressedMaxgetJavaCompressedMingetJavaCompressedSpecialgetJavaCompressedTransitiongetMaxLookaheadDepthgetMaxStateNumbergetNFADecisionStartStategetNumberOfAltsgetNumberOfStatesgetReasonForFailuregetRunLengthEncodinggetStategetUniqueStatesgetUnreachableAltsgetUserMaxLookaheadhasCyclehasSemPredhasSynPredinitAltRelatedInfoisClassicDFAisCyclicisGreedyisReducedisTokensRuleDecisionnewStateokToRetryDFAWithK1predictremoveStateresetStateNumbersToBeContiguoussetAcceptStatesetStatesetUserMaxLookaheadtoStringverify

Constructor Detail

LL1DFAback to summary
public LL1DFA(int decisionNumber, NFAState decisionStartState, LookaheadSet[] altLook)

From list of lookahead sets (one per alt in decision), create an LL(1) DFA. One edge per set. s0-{alt1}->:o=>1 | \ | -{alt2}->:o=>2 | ...

Annotations
@SuppressWarnings:OverridableMethodCallInConstructor
LL1DFAback to summary
public LL1DFA(int decisionNumber, NFAState decisionStartState, MultiMap<IntervalSet, Integer> edgeMap)

From a set of edgeset→list-of-alts mappings, create a DFA that uses syn preds for all |list-of-alts|>1.

Annotations
@SuppressWarnings:OverridableMethodCallInConstructor

Method Detail

getLabelForSetback to summary
protected Label getLabelForSet(IntervalSet edgeSet)
getSynPredForAltback to summary
protected SemanticContext.Predicate getSynPredForAlt(NFAState decisionStartState, int alt)