jcsp.lang
Class Guard
java.lang.Object
|
+--jcsp.lang.Guard
- Direct Known Subclasses:
- AltingChannelAccept, AltingChannelInput, AltingChannelInputInt, CSTimer, Skip, Skipper
- public abstract class Guard
- extends Object
This is the super-class for all Alternative
events selectable by a process.
Description
Guard defines an abstract interface to be implemented by events competing
for selection by a process executing an Alternative
. Its methods have
only package visibility within 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.
- Author:
- P.D.Austin and P.H.Welch
- See Also:
CSTimer
,
Skip
,
AltingChannelInput
,
AltingChannelInputInt
,
Alternative
Constructor Summary |
Guard()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Guard
public Guard()
Submit a bug or feature to jcsp-team@ukc.ac.uk
Version 1.0-rc4 of the JCSP API Specification (Copyright 1997-2000 P.D.Austin and P.H.Welch - All Rights Reserved)
Java is a trademark or registered trademark of Sun Microsystems, Inc. in the US and other countries.