java.lang
Class UnknownError

java.lang.Object
  java.lang.Throwable
      java.lang.Error
          java.lang.VirtualMachineError
              java.lang.UnknownError

All Implemented Interfaces:

Serializable

public class UnknownError
extends VirtualMachineError

UnknownError is a virtual machine error that is thrown by the virtual machine if an error of unknown origin occurred. UnknownError is never thrown by the JamaicaVM.

Since:

1.0

See Also:

Serialized Form

Constructor Summary

UnknownError()
Constructor for an UnknownError with no detail message.

UnknownError(String s)
Constructor for an UnknownError with given detail message.

Method Summary

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

UnknownError

public UnknownError()

Constructor for an UnknownError with no detail message.

UnknownError

public UnknownError(String s)

Constructor for an UnknownError with given detail message.

ensures

    (s != null IMPLIES getMessage().equals(s));
 

Parameters:

s - the detail message.