CSP for Java
(JCSP) 1.1-rc4

org.jcsp.lang
Class Guard

java.lang.Object
  extended by org.jcsp.lang.Guard
Direct Known Subclasses:
AltingBarrier, AltingChannelAccept, AltingChannelInput, AltingChannelInputInt, AltingChannelOutput, AltingChannelOutputInt, AltingConnectionClient, AltingConnectionServer, CSTimer, InlineAlternative, Skip, Stop

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 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.

Author:
P.D. Austin, P.H. Welch
See Also:
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

Guard

public Guard()
Method Detail

schedule

protected void schedule(Alternative alt)
Schedules the process performing the given Alternative to run again. This is intended for use by advanced users of the library who want to create their own Guards that are not in the org.jcsp.lang package.

Parameters:
alt - The Alternative to schedule

CSP for Java
(JCSP) 1.1-rc4

Submit a bug or feature to jcsp-team@kent.ac.uk
Version 1.1-rc4 of the JCSP API Specification (Copyright 1997-2008 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.