|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.lang.Throwable
java.lang.Exception
java.lang.RuntimeException
de.upb.swt.mcie.robdds.InternalError
public class InternalError
This exception indicates that some internal error has occurred. If the
package robdds
is correctly implemented
and used, this exception should never be thrown.
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 |
---|
public static final int UNKNOWN_NODE_TYPE
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.
public static final int ILLEGAL_INNER_NODE
public static final int ILLEGAL_TERMINAL_NODE
private int errorNo
Constructor Detail |
---|
InternalError(int errorNo)
errorNo
- number of the internal error; should be one of
the constants defined in this class.Method Detail |
---|
public java.lang.String toString()
String
representation
toString
in class java.lang.Throwable
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |