public class PanicError
extends java.lang.Error
Error
thrown when the state of the Stm
has been compromised. Normally this exception should
never happen.Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
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.
|
private static final long serialVersionUID
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.