Package org.jcsp.lang
Class ChannelOutputIntImpl
- java.lang.Object
-
- org.jcsp.lang.ChannelOutputIntImpl
-
- All Implemented Interfaces:
ChannelOutputInt
,Poisonable
class ChannelOutputIntImpl extends java.lang.Object implements ChannelOutputInt
-
-
Field Summary
Fields Modifier and Type Field Description private ChannelInternalsInt
channel
private int
immunity
-
Constructor Summary
Constructors Constructor Description ChannelOutputIntImpl(ChannelInternalsInt _channel, int _immunity)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
poison(int strength)
This injects poison into the channel.void
write(int object)
Write an int to the channel.
-
-
-
Field Detail
-
channel
private ChannelInternalsInt channel
-
immunity
private int immunity
-
-
Constructor Detail
-
ChannelOutputIntImpl
ChannelOutputIntImpl(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 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).
-
-