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.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.class
AltingChannelInputInt
This extendsGuard
andChannelInputInt
to enable a process to choose between many integer input (and other) events.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.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
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.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 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 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.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
. -
Uses of Guard in org.jcsp.net2
Subclasses of Guard in org.jcsp.net2 Modifier and Type Class Description class
NetAltingChannelInput<T>
A NetChannelInput that may be used as a guard.class
NetAltingConnectionClient
class
NetAltingConnectionServer
-
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.
-