public class PanicError
extends java.lang.Error
Error thrown when the state of the Stm has been compromised. Normally this exception should
never happen.| Constructor and Description |
|---|
PanicError(java.lang.String message)
Creates a new PanicError with the provided message.
|
PanicError(java.lang.String message,
java.lang.Throwable cause)
Creates a new PanicError with the provided message and cause.
|
public PanicError(java.lang.String message)
message - the message of the PanicError.public PanicError(java.lang.String message,
java.lang.Throwable cause)
message - the message of the PanicError.cause - the cause of the PanicError.