C# Class Antlr3.Analysis.DecisionProbe

ファイルを表示 Open project: antlr/antlrcs Class Usage Examples

Public Properties

Property	Type	Description
verbose	bool

Protected Properties

Property	Type	Description
stateToLeftRecursiveConfigurationsMap	List>.IDictionary
stateToRecursionOverflowConfigurationsMap	List>.IDictionary

Public Methods

Method	Description
DecisionProbe ( Antlr3.Analysis.DFA dfa ) : System.Collections.Generic
GetDisabledAlternatives ( DFAState d ) : IEnumerable
GetIncompletelyCoveredAlts ( DFAState d ) : ICollection>.IDictionary
GetInputSequenceDisplay ( IList labels ) : string
GetNFAPathStatesForAlt ( int firstAlt, int alt, IList labels ) : IList
GetNonDeterministicAltsForState ( DFAState targetState ) : IList
GetSampleNonDeterministicInputSequence ( DFAState targetState ) : IList
GetSemanticContextForAlt ( DFAState d, int alt ) : Antlr3.Analysis.SemanticContext
GetTokenNameForTokensRuleAlt ( int alt ) : string
IssueWarnings ( ) : void
RemoveRecursiveOverflowState ( DFAState d ) : void
ReportAltPredicateContext ( DFAState d, SemanticContext>.IDictionary altPredicateContext ) : void
ReportDanglingState ( DFAState d ) : void
ReportIncompletelyCoveredAlts ( DFAState d, IDictionary altToLocationsReachableWithoutPredicate ) : void
ReportLexerRuleNondeterminism ( DFAState d, HashSet nondeterministicAlts ) : void
ReportNonLLStarDecision ( Antlr3.Analysis.DFA dfa ) : void
ReportNondeterminism ( DFAState d, HashSet nondeterministicAlts ) : void
ReportNondeterminismResolvedWithSemanticPredicate ( DFAState d ) : void
ReportRecursionOverflow ( DFAState d, NFAConfiguration recursionNFAConfiguration ) : void
Reset ( ) : void

Protected Methods

Method	Description
GetDFAPathStatesToTarget ( DFAState targetState ) : HashSet
GetNFAPath ( Antlr3.Analysis.NFAState s, int labelIndex, IList labels, IList path ) : bool
GetSampleInputSequenceUsingStateSet ( Antlr3.Analysis.State startState, Antlr3.Analysis.State targetState, HashSet
GetStateLabelIndexKey ( int s, int i ) : string
IssueRecursionWarnings ( ) : void
ReachesState ( DFAState startState, DFAState targetState, HashSet
StripWildCardAlts ( ICollection disabledAlts ) : void

Private Methods

Method	Description
ComputeAltToProblemMaps ( IEnumerable dfaStatesUnaliased, IDictionary configurationsMap, IDictionary altToTargetToCallSitesMap, DFAState>.IDictionary altToDFAState ) : void
GetUnaliasedDFAStateSet ( HashSet

Method Details

DecisionProbe() public method

public DecisionProbe ( Antlr3.Analysis.DFA dfa ) : System.Collections.Generic
dfa	Antlr3.Analysis.DFA
return	System.Collections.Generic

GetDFAPathStatesToTarget() protected method

protected GetDFAPathStatesToTarget ( DFAState targetState ) : HashSet
targetState	DFAState
return	HashSet

GetDisabledAlternatives() public method

public GetDisabledAlternatives ( DFAState d ) : IEnumerable
d	DFAState
return	IEnumerable

GetIncompletelyCoveredAlts() public method

public GetIncompletelyCoveredAlts ( DFAState d ) : ICollection>.IDictionary
d	DFAState
return	ICollection>.IDictionary

GetInputSequenceDisplay() public method

public GetInputSequenceDisplay ( IList labels ) : string
labels	IList
return	string

GetNFAPath() protected method

protected GetNFAPath ( Antlr3.Analysis.NFAState s, int labelIndex, IList labels, IList path ) : bool
s	Antlr3.Analysis.NFAState
labelIndex	int
labels	IList
path	IList
return	bool

GetNFAPathStatesForAlt() public method

public GetNFAPathStatesForAlt ( int firstAlt, int alt, IList labels ) : IList
firstAlt	int
alt	int
labels	IList
return	IList

GetNonDeterministicAltsForState() public method

public GetNonDeterministicAltsForState ( DFAState targetState ) : IList
targetState	DFAState
return	IList

GetSampleInputSequenceUsingStateSet() protected method

protected GetSampleInputSequenceUsingStateSet ( Antlr3.Analysis.State startState, Antlr3.Analysis.State targetState, HashSet
startState	Antlr3.Analysis.State
targetState	Antlr3.Analysis.State
states	HashSet
labels	IList
return	void

GetSampleNonDeterministicInputSequence() public method

public GetSampleNonDeterministicInputSequence ( DFAState targetState ) : IList
targetState	DFAState
return	IList

GetSemanticContextForAlt() public method

public GetSemanticContextForAlt ( DFAState d, int alt ) : Antlr3.Analysis.SemanticContext
d	DFAState
alt	int
return	Antlr3.Analysis.SemanticContext

GetStateLabelIndexKey() protected method

protected GetStateLabelIndexKey ( int s, int i ) : string
s	int
i	int
return	string

GetTokenNameForTokensRuleAlt() public method

public GetTokenNameForTokensRuleAlt ( int alt ) : string
alt	int
return	string

IssueRecursionWarnings() protected method

protected IssueRecursionWarnings ( ) : void
return	void

IssueWarnings() public method

public IssueWarnings ( ) : void
return	void

ReachesState() protected method

protected ReachesState ( DFAState startState, DFAState targetState, HashSet
startState	DFAState
targetState	DFAState
states	HashSet
return	bool

RemoveRecursiveOverflowState() public method

public RemoveRecursiveOverflowState ( DFAState d ) : void
d	DFAState
return	void

ReportAltPredicateContext() public method

public ReportAltPredicateContext ( DFAState d, SemanticContext>.IDictionary altPredicateContext ) : void
d	DFAState
altPredicateContext	SemanticContext>.IDictionary
return	void

ReportDanglingState() public method

public ReportDanglingState ( DFAState d ) : void
d	DFAState
return	void

ReportIncompletelyCoveredAlts() public method

public ReportIncompletelyCoveredAlts ( DFAState d, IDictionary altToLocationsReachableWithoutPredicate ) : void
d	DFAState
altToLocationsReachableWithoutPredicate	IDictionary
return	void

ReportLexerRuleNondeterminism() public method

public ReportLexerRuleNondeterminism ( DFAState d, HashSet nondeterministicAlts ) : void
d	DFAState
nondeterministicAlts	HashSet
return	void

ReportNonLLStarDecision() public method

public ReportNonLLStarDecision ( Antlr3.Analysis.DFA dfa ) : void
dfa	Antlr3.Analysis.DFA
return	void

ReportNondeterminism() public method

public ReportNondeterminism ( DFAState d, HashSet nondeterministicAlts ) : void
d	DFAState
nondeterministicAlts	HashSet
return	void

ReportNondeterminismResolvedWithSemanticPredicate() public method

public ReportNondeterminismResolvedWithSemanticPredicate ( DFAState d ) : void
d	DFAState
return	void

ReportRecursionOverflow() public method

public ReportRecursionOverflow ( DFAState d, NFAConfiguration recursionNFAConfiguration ) : void
d	DFAState
recursionNFAConfiguration	NFAConfiguration
return	void

Reset() public method

public Reset ( ) : void
return	void

StripWildCardAlts() protected method

protected StripWildCardAlts ( ICollection disabledAlts ) : void
disabledAlts	ICollection
return	void

Property Details

stateToLeftRecursiveConfigurationsMap protected_oe property

protected IDictionary> stateToLeftRecursiveConfigurationsMap
return	List>.IDictionary

stateToRecursionOverflowConfigurationsMap protected_oe property

protected IDictionary> stateToRecursionOverflowConfigurationsMap
return	List>.IDictionary

verbose public_oe static_oe property

public static bool verbose
return	bool