de.upb.swt.mcie.robdds
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.robdds.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
static int CONTEXT_MISMATCH
          Error number: This error indicates that an operation used ROBDDs from different contexts.
private  int errorNo
          The number of the error.
static int ILLEGAL_UNPRIMED_VARIABLE
          Error number: This error indicates that an operation encountered an unprimed variable that is not allowed.
static int NO_PRIMED_VARIABLES_ALLOWED
          Error number: This error indicates that the operation expected an ROBDD without primed variables.
 
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

NO_PRIMED_VARIABLES_ALLOWED

public static final int NO_PRIMED_VARIABLES_ALLOWED
Error number: This error indicates that the operation expected an ROBDD without primed variables.

See Also:
Constant Field Values

CONTEXT_MISMATCH

public static final int CONTEXT_MISMATCH
Error number: This error indicates that an operation used ROBDDs from different contexts.

See Also:
Constant Field Values

ILLEGAL_UNPRIMED_VARIABLE

public static final int ILLEGAL_UNPRIMED_VARIABLE
Error number: This error indicates that an operation encountered an unprimed variable that is not allowed.

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