Package org.jcsp.lang

Class ChannelInputWrapper

  • All Implemented Interfaces:
    ChannelInput, Poisonable
    Direct Known Subclasses:
    FilteredSharedChannelInputWrapper

    public class ChannelInputWrapper
    extends java.lang.Object
    implements ChannelInput
    Deprecated.
    There is no longer any need to use this class, after the 1.1 class reorganisation.
    Defines a wrapper to go around a channel input end. This wrapper allows a channel end to be given away without any risk of the user of that end casting it to a channel output because they cannot gain access to the actual channel end.
    Author:
    Quickstone Technologies Limited
    • Constructor Summary

      Constructors 
      Constructor Description
      ChannelInputWrapper​(ChannelInput in)
      Deprecated.
      Constructs a new wrapper around the given channel end.
    • Method Summary

      All Methods Instance Methods Concrete Methods Deprecated Methods 
      Modifier and Type Method Description
      void endRead()
      Deprecated.
      Ends an extended rendezvous
      void poison​(int strength)
      Deprecated.
      This injects poison into the channel.
      java.lang.Object read()
      Deprecated.
      Reads a value from the channel.
      java.lang.Object startRead()
      Deprecated.
      Begins an extended rendezvous
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • ChannelInputWrapper

        public ChannelInputWrapper​(ChannelInput in)
        Deprecated.
        Constructs a new wrapper around the given channel end.
        Parameters:
        in - the existing channel end.
    • Method Detail

      • read

        public java.lang.Object read()
        Deprecated.
        Reads a value from the channel.
        Specified by:
        read in interface ChannelInput
        Returns:
        the value read.
        See Also:
        ChannelInput
      • startRead

        public java.lang.Object startRead()
        Deprecated.
        Begins an extended rendezvous
        Specified by:
        startRead in interface ChannelInput
        Returns:
        The object read from the channel
        See Also:
        ChannelInput.startRead
      • endRead

        public void endRead()
        Deprecated.
        Ends an extended rendezvous
        Specified by:
        endRead in interface ChannelInput
        See Also:
        ChannelInput.endRead
      • poison

        public void poison​(int strength)
        Deprecated.
        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).