Package org.jcsp.lang

Class PoisonException

ChannelDataRejectedException
org.jcsp.lang.PoisonException
Direct Known Subclasses:
PoisonFilterException

public class PoisonException extends ChannelDataRejectedException
This exception is thrown when a process tries to use a channel that has been poisoned.
See Also:
  • Constructor Summary

    Constructors
    Modifier
    Constructor
    Description
    protected
    PoisonException(int strength)
    JCSP users should not have to construct these.
  • Method Summary

    Modifier and Type
    Method
    Description
    int
    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).
  • Constructor Details

    • PoisonException

      protected PoisonException(int strength)
      JCSP users should not have to construct these.
      Parameters:
      strength - the strength of this exception (which will normally be the strength of the poison in the channel).
  • Method Details

    • getStrength

      public 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). See the example handler at the end of this section of the documentation of Alternative.