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