public class PoisonException extends ChannelDataRejectedException
Poisonable
,
Serialized FormModifier | Constructor and Description |
---|---|
protected |
PoisonException(int strength)
JCSP users should not have to construct these.
|
Modifier and Type | Method and Description |
---|---|
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).
|
protected PoisonException(int strength)
strength
- the strength of this exception
(which will normally be the strength of the poison in the channel).public int getStrength()
Alternative
.Submit 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.