Package org.mpi_sws.jmc.runtime

Class HaltTaskException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

org.mpi_sws.jmc.runtime.HaltTaskException

All Implemented Interfaces:

Serializable

public class HaltTaskException
extends RuntimeException

Exception thrown to halt execution of the current task. Used in the wrapped Thread and Future interfaces when instrumenting.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
HaltTaskException(Long taskId)	Constructs a new HaltTaskException object.
HaltTaskException(Long taskId, String message)	Constructs a new HaltTaskException object.

Method Summary

Modifier and Type	Method	Description
Long	getTaskId()	Returns the ID of the task which should be halted.

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

HaltTaskException

public HaltTaskException(Long taskId)

Constructs a new HaltTaskException object.

Parameters:

taskId - the ID of the task that threw the exception

HaltTaskException

public HaltTaskException(Long taskId,
 String message)

Constructs a new HaltTaskException object.

Parameters:

taskId - the ID of the task that threw the exception

message - the message to be displayed

Method Details

getTaskId

public Long getTaskId()

Returns the ID of the task which should be halted.

Returns:

the ID of the task which should be halted.