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 aGuard
in anAlternative
.class
AltingChannelAccept
This extendsGuard
andChannelAccept
to enable a process to choose between many CALL channel (and other) events.class
AltingChannelInput<T>
This extendsGuard
andChannelInput
to enable a process to choose between many object input (and other) events.(package private) class
AltingChannelInputImpl<T>
class
AltingChannelInputInt
This extendsGuard
andChannelInputInt
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 extendsGuard
andChannelOutput
to enable a process to choose between many integer output (and other) events.class
AltingChannelOutputInt
This extendsGuard
andChannelOutputInt
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 provideConnectionClient
objects which can have theirreceive()
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 aGuard
for setting timeouts in anAlternative
.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 seePoisonException
(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 aGuard
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 guardsMethods 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 anAlternative
object operating on theGuard
array of events.InlineAlternative(Guard[] guards)
Creates a new oneInlineAlternative(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
objects.AltingChannelInput
class
NetAltingConnectionClient
Instances of this class areAltingConnectionClient
objects which connect toConnectionServer
objects over a JCSP.NET network.(package private) class
NetAltingConnectionServer
Instances of this class areAltingConnectionServer
objects which allow connections fromConnectionClient
objects from over a JCSP.NET network.class
NetSharedAltingConnectionClient
Defines a class whose instances should be
that connect to aSharedAltingConnectionClient
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 anAlternative
.(package private) class
MigratableAltingChannelInputImpl
Implements a migratable input channel end that can be used in anAlternative
. -
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 anAltingChannelInput
channel end that also supports read filters.
-