protected class KeYJMLParser.DFA85
extends org.antlr.runtime.DFA
Constructor and Description |
---|
DFA85(org.antlr.runtime.BaseRecognizer recognizer) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getDescription() |
int |
specialStateTransition(int s,
org.antlr.runtime.IntStream _input) |
public java.lang.String getDescription()
getDescription
in class org.antlr.runtime.DFA
public int specialStateTransition(int s, org.antlr.runtime.IntStream _input) throws org.antlr.runtime.NoViableAltException
specialStateTransition
in class org.antlr.runtime.DFA
org.antlr.runtime.NoViableAltException