Package org.mpi_sws.jmc.runtime

Class HaltCheckerException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

org.mpi_sws.jmc.runtime.HaltCheckerException

All Implemented Interfaces:

Serializable

public class HaltCheckerException
extends RuntimeException

Exception thrown to halt execution of the current and all subsequent executions.

See Also:

• Serialized Form

Method Summary

Modifier and Type	Method	Description
static HaltCheckerException	error(String message)	Constructs a new HaltCheckerException indicating that the exploration was halted due to an error.
static HaltCheckerException	error(String message, Throwable cause)	Constructs a new HaltCheckerException indicating that the exploration was halted due to an error, with a cause.
boolean	isOkay()	Returns whether the exploration was successful without any errors.
boolean	isTimeout()	Returns whether the exploration was halted due to a timeout.
static HaltCheckerException	ok()	Constructs a new HaltCheckerException indicating that the exploration stopped naturally without any errors.
static HaltCheckerException	timeout()	Constructs a new HaltCheckerException indicating that the exploration was halted due to a timeout.

Methods inherited from class java.lang.Throwable

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

Methods inherited from class java.lang.Object

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

Method Details

ok

public static HaltCheckerException ok()

Constructs a new HaltCheckerException indicating that the exploration stopped naturally without any errors.

timeout

public static HaltCheckerException timeout()

Constructs a new HaltCheckerException indicating that the exploration was halted due to a timeout.

error

public static HaltCheckerException error(String message)

Constructs a new HaltCheckerException indicating that the exploration was halted due to an error.

Parameters:

message - the error message

error

public static HaltCheckerException error(String message,
 Throwable cause)

Constructs a new HaltCheckerException indicating that the exploration was halted due to an error, with a cause.

Parameters:

message - the error message

cause - the cause of the error

isOkay

public boolean isOkay()

Returns whether the exploration was successful without any errors.

Returns:

true if the exploration was successful, false otherwise

isTimeout

public boolean isTimeout()

Returns whether the exploration was halted due to a timeout.

Returns:

true if the exploration was halted due to a timeout, false otherwise