Package org.jcsp.lang
Class AltingChannelOutputSymmetricImpl<T>
- java.lang.Object
-
- org.jcsp.lang.Guard
-
- org.jcsp.lang.AltingChannelOutput<T>
-
- org.jcsp.lang.AltingChannelOutputSymmetricImpl<T>
-
- All Implemented Interfaces:
ChannelOutput<T>
,MultiwaySynchronisation
,Poisonable
class AltingChannelOutputSymmetricImpl<T> extends AltingChannelOutput<T> implements MultiwaySynchronisation
-
-
Field Summary
Fields Modifier and Type Field Description private AltingBarrier
ab
private ChannelOutput<T>
out
private boolean
syncDone
-
Constructor Summary
Constructors Constructor Description AltingChannelOutputSymmetricImpl(AltingBarrier ab, ChannelOutput<T> out)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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(T o)
Write an Object to the channel.
-
-
-
Field Detail
-
ab
private final AltingBarrier ab
-
out
private final ChannelOutput<T> out
-
syncDone
private boolean syncDone
-
-
Constructor Detail
-
AltingChannelOutputSymmetricImpl
public AltingChannelOutputSymmetricImpl(AltingBarrier ab, ChannelOutput<T> 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
-
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
-
write
public void write(T o)
Description copied from interface:ChannelOutput
Write an Object to the channel.- Specified by:
write
in interfaceChannelOutput<T>
- Parameters:
o
- the object to write to the channel
-
pending
public boolean pending()
Description copied from class:AltingChannelOutput
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 classAltingChannelOutput<T>
- 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 interfacePoisonable
- Parameters:
strength
- the strength of the poison (must be >= 0).
-
-