|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Guard | |
---|---|
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 | |
---|---|
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. |
class |
AltingChannelInputInt
This extends Guard and ChannelInputInt
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. Note that usually you do not need the absolute guarantee that this class provides - you can usually just cast the channel to an AltingChannelInput, which prevents you from accidentally writing to the channel. This class mainly exists for use by some of the org.jcsp.net classes, where the absolute guarantee that you cannot write to it is important. |
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. |
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 |
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. |
Methods in org.jcsp.lang that return Guard | |
---|---|
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 | |
---|---|
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 | |
---|---|
class |
NetSharedAltingConnectionClient
Defines a class whose instances should be
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 | |
---|---|
class |
MigratableAltingChannelInput
A migratable input channel end that can be used as a guard within an Alternative . |
Uses of Guard in org.jcsp.net2 |
---|
Subclasses of Guard in org.jcsp.net2 | |
---|---|
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 | |
---|---|
class |
FilteredAltingChannelInput
Implements an AltingChannelInput channel end that also supports read filters. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |