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

Constructor Detail

Guard

public Guard()