edu.wis.jtlv.env.core.smv
Class SMVParseException
java.lang.Object
java.lang.Throwable
java.lang.Exception
org.antlr.runtime.RecognitionException
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
Fields inherited from class org.antlr.runtime.RecognitionException |
approximateLineInfo, c, charPositionInLine, index, input, line, node, token |
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 |
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)
hasParseInfo
public boolean hasParseInfo()
getParseInfo
public SMVParsingInfo getParseInfo()
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Throwable