de.uka.ilkd.key.speclang.jml.translation

Class KeYJMLParser.DFA87

java.lang.Object

org.antlr.runtime.DFA

de.uka.ilkd.key.speclang.jml.translation.KeYJMLParser.DFA87

Enclosing class:

KeYJMLParser

protected class KeYJMLParser.DFA87
extends org.antlr.runtime.DFA

Field Summary

Fields inherited from class org.antlr.runtime.DFA

accept, debug, decisionNumber, eof, eot, max, min, recognizer, special, transition

Constructor Summary

Constructors

Constructor and Description
DFA87(org.antlr.runtime.BaseRecognizer recognizer)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getDescription()
int	specialStateTransition(int s, org.antlr.runtime.IntStream _input)

Methods inherited from class org.antlr.runtime.DFA

error, noViableAlt, predict, unpackEncodedString, unpackEncodedStringToUnsignedChars

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DFA87

public DFA87(org.antlr.runtime.BaseRecognizer recognizer)

Method Detail

getDescription

public java.lang.String getDescription()

Overrides:

getDescription in class org.antlr.runtime.DFA

specialStateTransition

public int specialStateTransition(int s,
                                  org.antlr.runtime.IntStream _input)
                           throws org.antlr.runtime.NoViableAltException

Overrides:

specialStateTransition in class org.antlr.runtime.DFA

Throws:

org.antlr.runtime.NoViableAltException