Package org.jcsp.lang
Class AltingChannelOutputInt
java.lang.Object
org.jcsp.lang.Guard
org.jcsp.lang.AltingChannelOutputInt
- All Implemented Interfaces:
ChannelOutputInt
,Poisonable
- Direct Known Subclasses:
AltingChannelOutputIntSymmetricImpl
This extends
Guard
and ChannelOutputInt
to enable a process
to choose between many integer output (and other) events.
A writing-end, obtained only from a symmetric
channel by invoking its out() method, will implement this interface.
Description
AltingChannelOutputInt extendsGuard
and ChannelOutputInt
to enable a process
to choose between many integer output (and other) events. The methods inherited from
Guard are of no concern to users of this package.
Example
import org.jcsp.lang.*; public class AltingOutputIntExample implements CSProcess { private final AltingChannelOutputInt out0, out1; public AltingOutputIntExample (final AltingChannelOutputInt out0, final AltingChannelOutputInt out1) { this.out0 = out0; this.out1 = out1; } public void run () { final Guard[] altChans = {out0, out1}; final Alternative alt = new Alternative (altChans); while (true) { switch (alt.select ()) { case 0: out0.write (0); System.out.println ("out0 written"); break; case 1: out1.write (1); System.out.println ("out1 written"); break; } } } }
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionabstract boolean
pending()
Returns whether the receiver is committed to read from this channel.Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface org.jcsp.lang.ChannelOutputInt
write
Methods inherited from interface org.jcsp.lang.Poisonable
poison
-
Constructor Details
-
AltingChannelOutputInt
public AltingChannelOutputInt()
-
-
Method Details
-
pending
public abstract boolean pending()Returns whether the receiver is committed to read from this channel.Note: if this returns true, you must commit to write down this channel.
- Returns:
- state of the channel.
-