Uses of Class
org.jcsp.lang.Guard
Packages that use Guard
Package
Description
This provides classes and interfaces corresponding to the fundamental
primitives of CSP.
This is main package for JCSP.NET.
Supports dynamic operations over the JCSP.NET infrastructure.
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.langModifier and TypeClassDescriptionclass
This is the front-end for a barrier that can be used as aGuard
in anAlternative
.class
This extendsGuard
andChannelAccept
to enable a process to choose between many CALL channel (and other) events.class
This extendsGuard
andChannelInput
to enable a process to choose between many object input (and other) events.(package private) class
class
This extendsGuard
andChannelInputInt
to enable a process to choose between many integer input (and other) events.(package private) class
(package private) class
(package private) class
class
Deprecated.There is no longer any need to use this class, after the 1.1 class reorganisation.class
This extendsGuard
andChannelOutput
to enable a process to choose between many integer output (and other) events.class
This extendsGuard
andChannelOutputInt
to enable a process to choose between many integer output (and other) events.(package private) class
(package private) class
class
This class is sub-classed by JCSP.NET classes to provideConnectionClient
objects which can have theirreceive()
method alted over.class
This class does not need to be used by standard JCSP users.class
An interface to connection.class
This class does not need to be used by standard JCSP users.class
This is the super-class for any-to-one interface-specific CALL channels, safe for use by many clients and one server.class
This is aGuard
for setting timeouts in anAlternative
.class
This class is experimental (i.e.class
This is the super-class for one-to-one interface-specific CALL channels.class
Deprecated.This channel is superceded by the poison mechanisms, please seePoisonException
(package private) class
class
Implements a client end of a Connection which can have multiple client processes.class
This is a process that immediately terminates and aGuard
that is always ready.class
This is a process that starts, engages in no events, performs no computation but refuses to terminate.Fields in org.jcsp.lang declared as GuardModifier and TypeFieldDescriptionprivate final Guard[]
Alternative.guard
The array of guard events from which we are selecting.private final Guard[]
InlineAlternative.guard
The guardsMethods in org.jcsp.lang that return GuardModifier and TypeMethodDescriptionInlineAlternative.getGuardByIndex
(int index) Returns the guard object at a given index.InlineAlternative.getSelectedGuard()
Returns the actual guard object corresponding to the selected guard.Constructors in org.jcsp.lang with parameters of type GuardModifierConstructorDescriptionAlternative
(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.netModifier and TypeClassDescription(package private) class
A channel for network input (RX).class
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
Instances of this class areAltingConnectionClient
objects which connect toConnectionServer
objects over a JCSP.NET network.(package private) class
Instances of this class areAltingConnectionServer
objects which allow connections fromConnectionClient
objects from over a JCSP.NET network.class
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.dynamicModifier and TypeClassDescriptionclass
A migratable input channel end that can be used as a guard within anAlternative
.(package private) class
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.net2Modifier and TypeClassDescription(package private) final class
A concrete implementation of a NetAltingChannelInput.class
A NetChannelInput that may be used as a guard.final class
final class
-
Uses of Guard in org.jcsp.test
Fields in org.jcsp.test declared as GuardMethods in org.jcsp.test that return GuardConstructors in org.jcsp.test with parameters of type Guard -
Uses of Guard in org.jcsp.util.filter
Subclasses of Guard in org.jcsp.util.filterModifier and TypeClassDescriptionclass
Implements anAltingChannelInput
channel end that also supports read filters.