de.upb.swt.mcie.formulas
Class IncorrectUseException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by java.lang.RuntimeException
              extended by de.upb.swt.mcie.formulas.IncorrectUseException
All Implemented Interfaces:
java.io.Serializable

public class IncorrectUseException
extends java.lang.RuntimeException

Exception that results from an incorrect use of the API.

Author:
Ekkart Kindler, kindler@upb.de
See Also:
Serialized Form

Field Summary
private  int errorNo
          The number of the error.
static int TEMPORAL_FORMULA_WITHOUT_MODEL
          It was tried to evaluate a temporal formula without providing a model (i.e. with a context only).
static int UNKNOWN_OPERATION_IN_FORMULA
          It was tried to evaluate a formula with an unknown operator.
 
Constructor Summary
IncorrectUseException(int errorNo)
          Constructs an IncorrectUseException with the provided error number.
 
Method Summary
 java.lang.String toString()
          Converts the exception to its String representation.
 
Methods inherited from class java.lang.Throwable
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

UNKNOWN_OPERATION_IN_FORMULA

public static final int UNKNOWN_OPERATION_IN_FORMULA
It was tried to evaluate a formula with an unknown operator.

See Also:
Constant Field Values

TEMPORAL_FORMULA_WITHOUT_MODEL

public static final int TEMPORAL_FORMULA_WITHOUT_MODEL
It was tried to evaluate a temporal formula without providing a model (i.e. with a context only).

See Also:
Constant Field Values

errorNo

private int errorNo
The number of the error. The possible values are defined as constants in this class.

Constructor Detail

IncorrectUseException

IncorrectUseException(int errorNo)
Constructs an IncorrectUseException with the provided error number.

Parameters:
errorNo - number of the internal error; should be one of the constants defined in this class.
Method Detail

toString

public java.lang.String toString()
Converts the exception to its String representation.

Overrides:
toString in class java.lang.Throwable