org.jcsp.lang

Class AltingChannelOutputIntSymmetricImpl

java.lang.Object

org.jcsp.lang.Guard

org.jcsp.lang.AltingChannelOutputInt

org.jcsp.lang.AltingChannelOutputIntSymmetricImpl

All Implemented Interfaces:

ChannelOutputInt, MultiwaySynchronisation, Poisonable

class AltingChannelOutputIntSymmetricImpl
extends AltingChannelOutputInt
implements MultiwaySynchronisation

Field Summary

Fields

Modifier and Type	Field and Description
private AltingBarrier	ab
private ChannelOutputInt	out
private boolean	syncDone

Constructor Summary

Constructors

Constructor and Description
AltingChannelOutputIntSymmetricImpl(AltingBarrier ab, ChannelOutputInt out)

Method Summary

Modifier and Type	Method and Description
(package private) boolean	disable() Disables the guard for selection.
(package private) boolean	enable(Alternative alt) Returns true if the event is ready.
boolean	pending() Returns whether the receiver is committed to read from this channel.
void	poison(int strength) This injects poison into the channel.
void	write(int i) Write an int to the channel.

Methods inherited from class org.jcsp.lang.Guard

schedule

Methods inherited from class java.lang.Object

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

Field Detail

ab

private final AltingBarrier ab

out

private final ChannelOutputInt out

syncDone

private boolean syncDone

Constructor Detail

AltingChannelOutputIntSymmetricImpl

public AltingChannelOutputIntSymmetricImpl(AltingBarrier ab,
                                           ChannelOutputInt out)

Method Detail

enable

boolean enable(Alternative alt)

Description copied from class: Guard

Returns true if the event is ready. Otherwise, this enables the guard for selection and returns false.

Note: this method should only be called by the Alternative class

Specified by:

enable in class Guard

Parameters:

alt - the Alternative class that is controlling the selection

Returns:

true if and only if the event is ready

disable

boolean disable()

Description copied from class: Guard

Disables the guard for selection. Returns true if the event was ready.

Note: this method should only be called by the Alternative class

Specified by:

disable in class Guard

Returns:

true if and only if the event was ready

write

public void write(int i)

Description copied from interface: ChannelOutputInt

Write an int to the channel.

Specified by:

write in interface ChannelOutputInt

Parameters:

i - the integer to write to the channel

pending

public boolean pending()

Description copied from class: AltingChannelOutputInt

Returns whether the receiver is committed to read from this channel.

Note: if this returns true, you must commit to write down this channel.

Specified by:

pending in class AltingChannelOutputInt

Returns:

state of 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).