|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.lang.Throwable
java.lang.Exception
java.lang.RuntimeException
org.jcsp.lang.ChannelDataRejectedException
org.jcsp.lang.PoisonException
public class PoisonException
This exception is thrown when a process tries to use a channel that has been poisoned.
Poisonable
,
Serialized FormConstructor Summary | |
---|---|
protected |
PoisonException(int strength)
JCSP users should not have to construct these. |
Method Summary | |
---|---|
int |
getStrength()
Once this exception has been caught, the catching process should poison all its channels with the strength held by the exception (which will normally be the strength of the poison in the channel that caused the exception to be thrown). |
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, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
protected PoisonException(int strength)
strength
- the strength of this exception
(which will normally be the strength of the poison in the channel).Method Detail |
---|
public int getStrength()
Alternative
.
|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |