Package org.mpi_sws.jmc.runtime

Class HaltExecutionException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

org.mpi_sws.jmc.runtime.HaltExecutionException

All Implemented Interfaces:

Serializable

public class HaltExecutionException
extends RuntimeException

Exception thrown to halt execution of the current execution.

See Also:

• Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	HaltExecutionException.Type	Error type when the model checker stops the execution.

Constructor Summary

Constructors

Constructor	Description
HaltExecutionException(HaltExecutionException.Type type, String message)	Constructs a new HaltExecutionException with the given type and message.

Method Summary

Modifier and Type	Method	Description
static HaltExecutionException	error(String message)	Constructs a new HaltExecutionException of type error with the given message.
HaltExecutionException.Type	getType()
static HaltExecutionException	ok()	Constructs a new HaltExecutionException of type ALL_OK with the given message.

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

Constructor Details

HaltExecutionException

public HaltExecutionException(HaltExecutionException.Type type,
 String message)

Constructs a new HaltExecutionException with the given type and message.

Method Details

error

public static HaltExecutionException error(String message)

Constructs a new HaltExecutionException of type error with the given message.

ok

public static HaltExecutionException ok()

Constructs a new HaltExecutionException of type ALL_OK with the given message.

getType

public HaltExecutionException.Type getType()