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

Class KeYJMLParser.DFA20

java.lang.Object

org.antlr.runtime.DFA

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

Enclosing class:

KeYJMLParser

protected class KeYJMLParser.DFA20
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
DFA20(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

DFA20

public DFA20(BaseRecognizer recognizer)

Method Detail

getDescription

public String getDescription()

Overrides:

getDescription in class DFA