public class RemoteSpawnException
extends java.lang.RuntimeException
| Modifier and Type | Field and Description |
|---|---|
java.lang.Throwable |
cause
The actual exception.
|
| Constructor and Description |
|---|
RemoteSpawnException(java.lang.Throwable cause)
Constructs a new exception.
|
| Modifier and Type | Method and Description |
|---|---|
void |
printStackTrace()
Prints the stack trace of the actual exception.
|
void |
rethrow()
Rethrows the actual exception.
|
java.lang.String |
toString()
Returns a string representation of the actual exception.
|
public RemoteSpawnException(java.lang.Throwable cause)
cause - the actual exception.public void rethrow()
throws java.lang.Throwable
java.lang.Throwablepublic void printStackTrace()
printStackTrace in class java.lang.Throwablepublic java.lang.String toString()
toString in class java.lang.ThrowableSubmit a bug or feature to jcsp-team@kent.ac.uk
Version 1.1-rc4 of the JCSP API Specification (Copyright 1997-2008 P.D.Austin and P.H.Welch - All Rights Reserved)
Java is a trademark or registered trademark of Sun Microsystems, Inc. in the US and other countries.