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

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by org.antlr.runtime.RecognitionException
              extended by edu.wis.jtlv.env.core.smv.SMVInternalParseException
All Implemented Interfaces:
java.io.Serializable

public class SMVInternalParseException
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
SMVInternalParseException(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

SMVInternalParseException

public SMVInternalParseException(java.lang.String desc,
                                 org.antlr.runtime.IntStream arg0)
Method Detail

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Throwable