protected class KeYJMLLexer.DFA18 extends DFA
accept, debug, decisionNumber, eof, eot, max, min, recognizer, special, transition
Constructor and Description |
---|
KeYJMLLexer.DFA18(BaseRecognizer recognizer) |
Modifier and Type | Method and Description |
---|---|
String |
getDescription() |
error, noViableAlt, predict, specialStateTransition, unpackEncodedString, unpackEncodedStringToUnsignedChars
public KeYJMLLexer.DFA18(BaseRecognizer recognizer)
public String getDescription()
getDescription
in class DFA