Package org.jcsp.lang

Class ChannelOutputIntImpl

java.lang.Object
org.jcsp.lang.ChannelOutputIntImpl
All Implemented Interfaces:
ChannelOutputInt, Poisonable

class ChannelOutputIntImpl extends Object implements ChannelOutputInt
  • Field Details

  • Constructor Details

  • Method Details

    • write

      public void write(int object)
      Description copied from interface: ChannelOutputInt
      Write an int to the channel.
      Specified by:
      write in interface ChannelOutputInt
      Parameters:
      object - the integer to write to the channel
    • poison

      public void poison(int strength)
      Description copied from interface: Poisonable
      This injects poison into the channel. If the channel was not explicitly constructed to be poisonable or if the strength of poison is not greater than the channel immunity level, the poison will have no effect.
      Specified by:
      poison in interface Poisonable
      Parameters:
      strength - the strength of the poison (must be >= 0).