|
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
public abstract class Guard
This is the super-class for all Alternative
events selectable by a process.
Alternative
. Its methods have
only package visibility within org.jcsp.lang and are of no concern to
users of this package. Currently, JCSP supports channel inputs, accepts,
timeouts and skips as guards.
Note: for those familiar with the occam multiprocessing language, classes implementing Guard correspond to process guards for use within ALT constructs.
CSTimer
,
Skip
,
AltingChannelInput
,
AltingChannelInputInt
,
Alternative
Constructor Summary | |
---|---|
Guard()
|
Method Summary | |
---|---|
protected void |
schedule(Alternative alt)
Schedules the process performing the given Alternative to run again. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Guard()
Method Detail |
---|
protected void schedule(Alternative alt)
alt
- The Alternative to schedule
|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |