Package org.jcsp.lang

Class SharedChannelOutputIntImpl

    • Constructor Detail

      • SharedChannelOutputIntImpl

        SharedChannelOutputIntImpl​(ChannelInternalsInt _channel,
                                   int _immunity)
    • Method Detail

      • 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).