public class TerminateProcessException
extends java.lang.RuntimeException
In the process domains (PN and CSP for example), a simulation is terminated only when a deadlock is detected. During a deadlock, the threads corresponding to actors are normally blocked on a method call to the receiver. This exception is normally thrown from these methods, so that the threads can return from the call and terminate themselves.
This class is a standalone class and not derived from the Ptolemy Runtime exceptions as those exceptions indicate an error in the model, while this exception is used for passing of information to the threads.
Constructor and Description |
---|
TerminateProcessException(Nameable object1,
Nameable object2,
java.lang.String detail)
Constructs an Exception with a detail message that includes the
names of the first two arguments plus the third argument string.
|
TerminateProcessException(Nameable object,
java.lang.String detail)
Constructs an Exception with a detail message that includes the
name of the first argument and the second argument string.
|
TerminateProcessException(java.lang.String detail)
Constructs an Exception with only a detail message.
|
Modifier and Type | Method and Description |
---|---|
protected java.lang.String |
_getFullName(Nameable object)
Get the name of a Nameable object.
|
protected java.lang.String |
_getName(Nameable object)
Get the name of a Nameable object.
|
protected void |
_setMessage(java.lang.String message)
Sets the error message to the specified string.
|
java.lang.String |
getMessage()
Get the detail message.
|
public TerminateProcessException(java.lang.String detail)
detail
- The message.public TerminateProcessException(Nameable object, java.lang.String detail)
object
- The object.detail
- The message.public TerminateProcessException(Nameable object1, Nameable object2, java.lang.String detail)
object1
- The first object.object2
- The second object.detail
- The message.public java.lang.String getMessage()
getMessage
in class java.lang.Throwable
protected java.lang.String _getFullName(Nameable object)
object
- An object with a full name.protected java.lang.String _getName(Nameable object)
object
- An object with a name.protected void _setMessage(java.lang.String message)
message
- The message.