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 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(BaseRecognizer recognizer)

Method Summary

Modifier and Type	Method and Description
String	getDescription()
int	specialStateTransition(int s, 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(BaseRecognizer recognizer)

Method Detail

getDescription

public String getDescription()

Overrides:

getDescription in class DFA

specialStateTransition

public int specialStateTransition(int s,
                                  IntStream _input)
                           throws NoViableAltException

Overrides:

specialStateTransition in class DFA

Throws:

NoViableAltException