DiagnosticErrorListener

This implementation of {@link ANTLRErrorListener} can be used to identify certain potential correctness and performance problems in grammars. "Reports" are made by calling {@link Parser#notifyErrorListeners} with the appropriate message.

<ul> <li>Ambiguities: These are cases where more than one path through the grammar can match the input.</li> <li>Weak context sensitivity: These are cases where full-context prediction resolved an SLL conflict to a unique alternative which equaled the minimum alternative of the SLL conflict.</li> <li>Strong (forced) context sensitivity: These are cases where the full-context prediction resolved an SLL conflict to a unique alternative, and the minimum alternative of the SLL conflict was found to not be a truly viable alternative. Two-stage parsing cannot be used for inputs where this situation occurs.</li> </ul>

@author Sam Harwell

class DiagnosticErrorListener : BaseErrorListener!(U, V)(

) {

protected

bool exactOnly;

this();

this(bool exactOnly);

void reportAmbiguity(InterfaceParser recognizer, DFA dfa, int startIndex, int stopIndex, bool exact, BitSet ambigAlts, ATNConfigSet configs);

void reportAttemptingFullContext(InterfaceParser recognizer, DFA dfa, int startIndex, int stopIndex, BitSet conflictingAlts, ATNConfigSet configs);

void reportContextSensitivity(InterfaceParser recognizer, DFA dfa, int startIndex, int stopIndex, int prediction, ATNConfigSet configs);

string getDecisionDescription(InterfaceParser recognizer, DFA dfa);

BitSet getConflictingAlts(BitSet reportedAlts, ATNConfigSet configs);

}

Constructors

this this(): Initializes a new instance of {@link DiagnosticErrorListener} which only reports exact ambiguities.
this this(bool exactOnly): Initializes a new instance of {@link DiagnosticErrorListener}, specifying whether all ambiguities or only exact ambiguities are reported.

Members

Functions

getConflictingAlts BitSet getConflictingAlts(BitSet reportedAlts, ATNConfigSet configs): Computes the set of conflicting or ambiguous alternatives from a configuration set, if that information was not already provided by the parser.
getDecisionDescription string getDecisionDescription(InterfaceParser recognizer, DFA dfa): Undocumented in source. Be warned that the author may not have intended to support it.
reportAmbiguity void reportAmbiguity(InterfaceParser recognizer, DFA dfa, int startIndex, int stopIndex, bool exact, BitSet ambigAlts, ATNConfigSet configs): @uml @override
reportAttemptingFullContext void reportAttemptingFullContext(InterfaceParser recognizer, DFA dfa, int startIndex, int stopIndex, BitSet conflictingAlts, ATNConfigSet configs): @uml @override
reportContextSensitivity void reportContextSensitivity(InterfaceParser recognizer, DFA dfa, int startIndex, int stopIndex, int prediction, ATNConfigSet configs): @uml @override

Variables

exactOnly bool exactOnly;: When {@code true}, only exactly known ambiguities are reported.

DiagnosticErrorListener

Constructors

Members

Functions

Variables

Meta

Source