ua.gradsoft.javachecker
Class InvalidCheckerCommentException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          ua.gradsoft.javachecker.InvalidCheckerCommentException

All Implemented Interfaces:

java.io.Serializable

public class InvalidCheckerCommentException
extends java.lang.Exception

Throwed during unsuccesfull parsing or analyzing of checker comment

Author:

Ruslan Shevchenko

See Also:

Serialized Form

Constructor Summary

InvalidCheckerCommentException(java.lang.String expression, java.lang.String msg)
Constructs an instance of InvalidCheckerCommentException with the specified detail message.

InvalidCheckerCommentException(Term expression, java.lang.String msg)
Constructs an instance of InvalidCheckerCommentException with the specified detail message.

Method Summary

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, 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

InvalidCheckerCommentException

public InvalidCheckerCommentException(java.lang.String expression,
                                      java.lang.String msg)

Constructs an instance of InvalidCheckerCommentException with the specified detail message.

Parameters:

expression - - expression which we can't parse.

msg - the detail message.

InvalidCheckerCommentException

public InvalidCheckerCommentException(Term expression,
                                      java.lang.String msg)
                               throws TermWareException

Constructs an instance of InvalidCheckerCommentException with the specified detail message.

Parameters:

expression - - expression which we can't parse.

msg - the detail message.

Throws:

TermWareException