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