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

Class KeYJMLPreParser.DFA1

java.lang.Object

org.antlr.runtime.DFA

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

Enclosing class:

KeYJMLPreParser

protected class KeYJMLPreParser.DFA1
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
DFA1(BaseRecognizer recognizer)

Method Summary

Modifier and Type	Method and Description
String	getDescription()

Methods inherited from class org.antlr.runtime.DFA

error, noViableAlt, predict, specialStateTransition, unpackEncodedString, unpackEncodedStringToUnsignedChars

Methods inherited from class java.lang.Object

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

Constructor Detail

DFA1

public DFA1(BaseRecognizer recognizer)

Method Detail

getDescription

public String getDescription()

Overrides:

getDescription in class DFA