ovm.polyd
Class InternalError

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Error
          extended by ovm.polyd.InternalError
All Implemented Interfaces:
java.io.Serializable

public class InternalError
extends java.lang.Error

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.

See Also:
PolyDException, Serialized Form

Field 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

guru

public final int guru
The internal code of this error. For information and debugging only.

Method Detail

toString

public java.lang.String toString()
A textual representation of this error condition.

Overrides:
toString in class java.lang.Throwable