Package org.jcsp.lang
Class ChannelOutputIntImpl
java.lang.Object
org.jcsp.lang.ChannelOutputIntImpl
- All Implemented Interfaces:
ChannelOutputInt
,Poisonable
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
-
Field Details
-
channel
-
immunity
private int immunity
-
-
Constructor Details
-
ChannelOutputIntImpl
ChannelOutputIntImpl(ChannelInternalsInt _channel, int _immunity)
-
-
Method Details
-
write
public void write(int object) Description copied from interface:ChannelOutputInt
Write an int to the channel.- Specified by:
write
in interfaceChannelOutputInt
- 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 interfacePoisonable
- Parameters:
strength
- the strength of the poison (must be >= 0).
-