Package org.jcsp.lang
Class ChannelInputWrapper
java.lang.Object
org.jcsp.lang.ChannelInputWrapper
- All Implemented Interfaces:
ChannelInput
,Poisonable
- Direct Known Subclasses:
FilteredSharedChannelInputWrapper
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
ConstructorsConstructorDescriptionDeprecated.Constructs a new wrapper around the given channel end. -
Method Summary
-
Constructor Details
-
ChannelInputWrapper
Deprecated.Constructs a new wrapper around the given channel end.- Parameters:
in
- the existing channel end.
-
-
Method Details
-
read
Deprecated.Reads a value from the channel.- Specified by:
read
in interfaceChannelInput
- Returns:
- the value read.
- See Also:
-
startRead
Deprecated.Begins an extended rendezvous- Specified by:
startRead
in interfaceChannelInput
- Returns:
- The object read from the channel
- See Also:
-
endRead
public void endRead()Deprecated.Ends an extended rendezvous- Specified by:
endRead
in interfaceChannelInput
- See Also:
-
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 interfacePoisonable
- Parameters:
strength
- the strength of the poison (must be >= 0).
-