at.ac.tuwien.dbai.alternation.compiler
Class alternating_machineParser.DFA72

java.lang.Object
  org.antlr.runtime.DFA
      at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA72

Enclosing class:

alternating_machineParser

 class alternating_machineParser.DFA72
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

alternating_machineParser.DFA72(org.antlr.runtime.BaseRecognizer recognizer)

Method Summary

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

alternating_machineParser.DFA72

public alternating_machineParser.DFA72(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