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 and Description
private ChannelInternalsInt	channel
private int	immunity

Constructor Summary

Constructors

Constructor and Description
ChannelOutputIntImpl(ChannelInternalsInt _channel, int _immunity)

Method Summary

Modifier and Type	Method and Description
void	poison(int strength) This injects poison into the channel.
void	write(int object) Write an int to the channel.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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 interface ChannelOutputInt

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 interface Poisonable

Parameters:

strength - the strength of the poison (must be >= 0).