de.upb.swt.mcie.robdds
Class InternalError

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

public class InternalError
extends java.lang.RuntimeException

This exception indicates that some internal error has occurred. If the package robdds is correctly implemented and used, this exception should never be thrown.

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

Field Summary
private  int errorNo
          The number of the error.
static int ILLEGAL_INNER_NODE
          Error number: This error indicates that the creation of an illegal inner node was requested.
static int ILLEGAL_TERMINAL_NODE
          Indicates that an illegal terminal node was encountered.
static int UNKNOWN_NODE_TYPE
          Error number: This error indicates that, during some operation on ROBDDs, an unknown node type (an instance of some unknown subclass of ROBDD) was encountered, and the operation can not deal with this node.
 
Constructor Summary
InternalError(int errorNo)
          Constructs an InternalError exception 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_NODE_TYPE

public static final int UNKNOWN_NODE_TYPE
Error number: This error indicates that, during some operation on ROBDDs, an unknown node type (an instance of some unknown subclass of ROBDD) was encountered, and the operation can not deal with this node. This can happen only when the package robdds was extended or changed. Otherwise this exception should never be thrown.

See Also:
Constant Field Values

ILLEGAL_INNER_NODE

public static final int ILLEGAL_INNER_NODE
Error number: This error indicates that the creation of an illegal inner node was requested. Either the successors are null pointers, the variable order is violated, or the three nodes belong to a different context.

See Also:
Constant Field Values

ILLEGAL_TERMINAL_NODE

public static final int ILLEGAL_TERMINAL_NODE
Indicates that an illegal terminal node was encountered.

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

InternalError

InternalError(int errorNo)
Constructs an InternalError exception 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
Returns:
the String representation of this exception