Uses of Class
org.jcsp.lang.Guard

Packages that use Guard

Package	Description
org.jcsp.lang	This provides classes and interfaces corresponding to the fundamental primitives of CSP.
org.jcsp.net	This is main package for JCSP.NET.
org.jcsp.net.dynamic	Supports dynamic operations over the JCSP.NET infrastructure.
org.jcsp.net2
org.jcsp.test
org.jcsp.util.filter	This defines filtering channels that can apply transformations to objects as they are read and/or written.

Uses of Guard in org.jcsp.lang

Subclasses of Guard in org.jcsp.lang

Modifier and Type	Class	Description
class	AltingBarrier	This is the front-end for a barrier that can be used as a Guard in an Alternative.
class	AltingChannelAccept	This extends Guard and ChannelAccept to enable a process to choose between many CALL channel (and other) events.
class	AltingChannelInput<T>	This extends Guard and ChannelInput to enable a process to choose between many object input (and other) events.
(package private) class	AltingChannelInputImpl<T>
class	AltingChannelInputInt	This extends Guard and ChannelInputInt to enable a process to choose between many integer input (and other) events.
(package private) class	AltingChannelInputIntImpl
(package private) class	AltingChannelInputIntSymmetricImpl
(package private) class	AltingChannelInputSymmetricImpl<T>
class	AltingChannelInputWrapper<T>	Deprecated. There is no longer any need to use this class, after the 1.1 class reorganisation.
class	AltingChannelOutput<T>	This extends Guard and ChannelOutput to enable a process to choose between many integer output (and other) events.
class	AltingChannelOutputInt	This extends Guard and ChannelOutputInt to enable a process to choose between many integer output (and other) events.
(package private) class	AltingChannelOutputIntSymmetricImpl
(package private) class	AltingChannelOutputSymmetricImpl<T>
class	AltingConnectionClient<T>	This class is sub-classed by JCSP.NET classes to provide ConnectionClient objects which can have their receive() method alted over.
class	AltingConnectionClientImpl<T>	This class does not need to be used by standard JCSP users.
class	AltingConnectionServer<T>	An interface to connection.
class	AltingConnectionServerImpl<T>	This class does not need to be used by standard JCSP users.
class	Any2OneCallChannel	This is the super-class for any-to-one interface-specific CALL channels, safe for use by many clients and one server.
class	CSTimer	This is a Guard for setting timeouts in an Alternative.
class	InlineAlternative	This class is experimental (i.e.
class	One2OneCallChannel	This is the super-class for one-to-one interface-specific CALL channels.
class	RejectableAltingChannelInput	Deprecated. This channel is superceded by the poison mechanisms, please see PoisonException
(package private) class	RejectableAltingChannelInputImpl
class	SharedAltingConnectionClient<T>	Implements a client end of a Connection which can have multiple client processes.
class	Skip	This is a process that immediately terminates and a Guard that is always ready.
class	Stop	This is a process that starts, engages in no events, performs no computation but refuses to terminate.

Fields in org.jcsp.lang declared as Guard

Modifier and Type	Field	Description
private Guard[]	Alternative.guard	The array of guard events from which we are selecting.
private Guard[]	InlineAlternative.guard	The guards

Methods in org.jcsp.lang that return Guard

Modifier and Type	Method	Description
Guard	InlineAlternative.getGuardByIndex(int index)	Returns the guard object at a given index.
Guard	InlineAlternative.getSelectedGuard()	Returns the actual guard object corresponding to the selected guard.

Constructors in org.jcsp.lang with parameters of type Guard

Constructor	Description
Alternative(Guard[] guard)	Construct an Alternative object operating on the Guard array of events.
InlineAlternative(Guard[] guards)	Creates a new one
InlineAlternative(Guard[] guards, int mode)	Creates a new one

Uses of Guard in org.jcsp.net

Subclasses of Guard in org.jcsp.net

Modifier and Type	Class	Description
(package private) class	Net2OneChannel	A channel for network input (RX).
class	NetAltingChannelInput	An abstract class that is sub-classed by classes whose instances should be networked channel ends that can be used as an AltingChannelInput objects.
class	NetAltingConnectionClient	Instances of this class are AltingConnectionClient objects which connect to ConnectionServer objects over a JCSP.NET network.
(package private) class	NetAltingConnectionServer	Instances of this class are AltingConnectionServer objects which allow connections from ConnectionClient objects from over a JCSP.NET network.
class	NetSharedAltingConnectionClient	Defines a class whose instances should be SharedAltingConnectionClient that connect to a ConnectionServer over a JCSP.NET network.

Uses of Guard in org.jcsp.net.dynamic

Subclasses of Guard in org.jcsp.net.dynamic

Modifier and Type	Class	Description
class	MigratableAltingChannelInput	A migratable input channel end that can be used as a guard within an Alternative.
(package private) class	MigratableAltingChannelInputImpl	Implements a migratable input channel end that can be used in an Alternative.

Uses of Guard in org.jcsp.net2

Subclasses of Guard in org.jcsp.net2

Modifier and Type	Class	Description
(package private) class	Net2OneChannel<T>	A concrete implementation of a NetAltingChannelInput.
class	NetAltingChannelInput<T>	A NetChannelInput that may be used as a guard.
class	NetAltingConnectionClient
class	NetAltingConnectionServer

Uses of Guard in org.jcsp.test

Fields in org.jcsp.test declared as Guard

Modifier and Type	Field	Description
private Guard[]	EventRecorder.originalGuards

Methods in org.jcsp.test that return Guard

Modifier and Type	Method	Description
Guard[]	EventRecorder.getObservedEvents()

Constructors in org.jcsp.test with parameters of type Guard

Constructor	Description
EventRecorder(Guard[] guards, int terminateEvent)

Uses of Guard in org.jcsp.util.filter

Subclasses of Guard in org.jcsp.util.filter

Modifier and Type	Class	Description
class	FilteredAltingChannelInput	Implements an AltingChannelInput channel end that also supports read filters.