edu.wis.jtlv.env.core.fds
Class FDSParseException

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

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

FDSParseException

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

FDSParseException

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

FDSParseException

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

hasParseInfo

public boolean hasParseInfo()

toString

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