|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.lang.Throwable
java.lang.Error
ovm.polyd.InternalError
public class InternalError
This error is thrown if an unexpected internal error is detected during the execution of PolyD.
This error should never occur. If it does, please report the problem to us so that we can address the problem. Please consult the PolyD homepage at http://www.ovmj.org/polyd for details.
PolyDException
,
Serialized FormField Summary | |
---|---|
int |
guru
The internal code of this error. |
Method Summary | |
---|---|
java.lang.String |
toString()
A textual representation of this error condition. |
Methods inherited from class java.lang.Throwable |
---|
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public final int guru
Method Detail |
---|
public java.lang.String toString()
toString
in class java.lang.Throwable
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |