edu.wis.jtlv.env.core.smv
Class SMVUnimplementedException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          org.antlr.runtime.RecognitionException
              edu.wis.jtlv.env.core.smv.SMVUnimplementedException

All Implemented Interfaces:

java.io.Serializable

public class SMVUnimplementedException
extends org.antlr.runtime.RecognitionException

See Also:

Serialized Form

Field Summary

Fields inherited from class org.antlr.runtime.RecognitionException

approximateLineInfo, c, charPositionInLine, index, input, line, node, token

Constructor Summary

SMVUnimplementedException(java.lang.String desc, org.antlr.runtime.IntStream arg0)

Method Summary

java.lang.String

toString()

Methods inherited from class org.antlr.runtime.RecognitionException

getUnexpectedType

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

SMVUnimplementedException

public SMVUnimplementedException(java.lang.String desc,
                                 org.antlr.runtime.IntStream arg0)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Throwable