edu.rice.cs.cunit.threadCheck
Class ThreadCheckException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          java.lang.RuntimeException
              edu.rice.cs.cunit.threadCheck.ThreadCheckException

All Implemented Interfaces:

java.io.Serializable

public class ThreadCheckException
extends java.lang.RuntimeException

Exception in the thread checker or its instrumentor.

Author:

Mathias Ricken

See Also:

Serialized Form

Constructor Summary

ThreadCheckException()
Constructs a new runtime exception with null as its detail message.

ThreadCheckException(java.lang.String message)
Constructs a new runtime exception with the specified detail message.

ThreadCheckException(java.lang.String message, java.lang.Throwable cause)
Constructs a new runtime exception with the specified detail message and cause.

ThreadCheckException(java.lang.Throwable cause)
Constructs a new runtime exception with the specified cause and a detail message of (cause==null ? null : cause.toString()) (which typically contains the class and detail message of cause).

Method Summary

boolean	equals(java.lang.Object obj) Indicates whether some other object is "equal to" this one.
int	hashCode() Returns a hash code value for the object..

Methods inherited from class java.lang.Throwable

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

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ThreadCheckException

public ThreadCheckException()

Constructs a new runtime exception with null as its detail message. The cause is not initialized, and may subsequently be initialized by a call to Throwable.initCause(java.lang.Throwable).

ThreadCheckException

public ThreadCheckException(java.lang.String message)

Constructs a new runtime exception with the specified detail message. The cause is not initialized, and may subsequently be initialized by a call to Throwable.initCause(java.lang.Throwable).

Parameters:

message - the detail message. The detail message is saved for later retrieval by the Throwable.getMessage() method.

ThreadCheckException

public ThreadCheckException(java.lang.String message,
                            java.lang.Throwable cause)

Constructs a new runtime exception with the specified detail message and cause.

Note that the detail message associated with cause is not automatically incorporated in this runtime exception's detail message.

Parameters:

message - the detail message (which is saved for later retrieval by the Throwable.getMessage() method).

cause - the cause (which is saved for later retrieval by the Throwable.getCause() method). (A null value is permitted, and indicates that the cause is nonexistent or unknown.)

Since:

1.4

ThreadCheckException

public ThreadCheckException(java.lang.Throwable cause)

Constructs a new runtime exception with the specified cause and a detail message of (cause==null ? null : cause.toString()) (which typically contains the class and detail message of cause). This constructor is useful for runtime exceptions that are little more than wrappers for other throwables.

Parameters:

cause - the cause (which is saved for later retrieval by the Throwable.getCause() method). (A null value is permitted, and indicates that the cause is nonexistent or unknown.)

Since:

1.4

Method Detail

hashCode

public int hashCode()

Returns a hash code value for the object..

Overrides:

hashCode in class java.lang.Object

See Also:

Object.equals(Object), Hashtable

equals

public boolean equals(java.lang.Object obj)

Indicates whether some other object is "equal to" this one.

Overrides:

equals in class java.lang.Object

Parameters:

obj - the reference object with which to compare.

Returns:

true if this object is the same as the obj argument; false otherwise.

See Also:

hashCode(), Hashtable