|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.jcsp.lang.Guard
org.jcsp.lang.AltingChannelAccept
public abstract class AltingChannelAccept
This extends Guard
and ChannelAccept
to enable a process to choose between many CALL channel (and other) events.
Guard
and ChannelAccept
to enable a process
to choose between many CALL channel (and other) events. The methods inherited from
Guard are of no concern to users of this package.
One2OneCallChannel
and
Any2OneCallChannel
.
Alternative
,
One2OneCallChannel
,
Any2OneCallChannel
Constructor Summary | |
---|---|
AltingChannelAccept()
|
Method Summary |
---|
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 |
Methods inherited from interface org.jcsp.lang.ChannelAccept |
---|
accept |
Constructor Detail |
---|
public AltingChannelAccept()
|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |