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

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.SMVParseException
All Implemented Interfaces:
java.io.Serializable

public class SMVParseException
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
SMVParseException(java.lang.String desc)
           
SMVParseException(java.lang.String desc, org.antlr.runtime.IntStream arg0)
           
SMVParseException(java.lang.String desc, SMVParsingInfo an_info)
           
 
Method Summary
 SMVParsingInfo getParseInfo()
           
 boolean hasParseInfo()
           
 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

SMVParseException

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

SMVParseException

public SMVParseException(java.lang.String desc,
                         SMVParsingInfo an_info)

SMVParseException

public SMVParseException(java.lang.String desc)
Method Detail

hasParseInfo

public boolean hasParseInfo()

getParseInfo

public SMVParsingInfo getParseInfo()

toString

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