de.uka.ilkd.key.speclang.jml.pretranslation

Class KeYJMLPreParser.DFA2

java.lang.Object

org.antlr.runtime.DFA

de.uka.ilkd.key.speclang.jml.pretranslation.KeYJMLPreParser.DFA2

Enclosing class:

KeYJMLPreParser

protected class KeYJMLPreParser.DFA2
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
DFA2(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

DFA2

public DFA2(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