org.jacaranda.verifier
Class VerificationException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by org.antlr.runtime.RecognitionException
              extended by org.jacaranda.verifier.VerificationException
All Implemented Interfaces:
java.io.Serializable

public class VerificationException
extends org.antlr.runtime.RecognitionException

Exception thrown due to a verification error.

See Also:
Serialized Form

Field Summary
 
Fields inherited from class org.antlr.runtime.RecognitionException
approximateLineInfo, c, charPositionInLine, index, input, line, node, token
 
Constructor Summary
VerificationException(org.antlr.runtime.IntStream input, java.lang.String message)
          Construct a VerificationException that was not caused by any specific prior exception.
VerificationException(org.antlr.runtime.IntStream input, java.lang.String message, java.lang.Throwable cause)
          Construct a VerificationException that was caused by a prior exception.
 
Method Summary
 java.lang.String getLocalizedMessage()
           
 java.lang.String getMessage()
           
 
Methods inherited from class org.antlr.runtime.RecognitionException
extractInformationFromTreeNodeStream, getUnexpectedType
 
Methods inherited from class java.lang.Throwable
fillInStackTrace, getCause, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

VerificationException

public VerificationException(org.antlr.runtime.IntStream input,
                             java.lang.String message,
                             java.lang.Throwable cause)
Construct a VerificationException that was caused by a prior exception.


VerificationException

public VerificationException(org.antlr.runtime.IntStream input,
                             java.lang.String message)
Construct a VerificationException that was not caused by any specific prior exception.

Method Detail

getMessage

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

getLocalizedMessage

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