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