Package org.jcsp.lang
Class ChannelOutputWrapper
java.lang.Object
org.jcsp.lang.ChannelOutputWrapper
- All Implemented Interfaces:
ChannelOutput
,Poisonable
- Direct Known Subclasses:
FilteredChannelOutputWrapper
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 output 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 input because they cannot
gain access to the actual channel end.
-
Field Summary
Fields -
Constructor Summary
ConstructorsConstructorDescriptionDeprecated.Creates a new wrapper for the given channel end. -
Method Summary
-
Field Details
-
out
Deprecated.The actual channel end.
-
-
Constructor Details
-
ChannelOutputWrapper
Deprecated.Creates a new wrapper for the given channel end.- Parameters:
out
- the existing channel end.
-
-
Method Details
-
write
Deprecated.Writes a value to the channel.- Specified by:
write
in interfaceChannelOutput
- Parameters:
o
- the value to write.- 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).
-