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.
|
Modifier and Type | Class and 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. |
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.
|
Modifier and Type | Method and 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.
|
Constructor and 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
|
Modifier and Type | Class and Description |
---|---|
class |
NetSharedAltingConnectionClient
Defines a class whose instances should be
that connect to a ConnectionServer over a JCSP.NET
network. |
Modifier and Type | Class and Description |
---|---|
class |
MigratableAltingChannelInput
A migratable input channel end that can be used as a guard within an
Alternative . |
Modifier and Type | Class and Description |
---|---|
class |
NetAltingChannelInput<T>
A NetChannelInput that may be used as a guard.
|
class |
NetAltingConnectionClient |
class |
NetAltingConnectionServer |
Modifier and Type | Class and Description |
---|---|
class |
FilteredAltingChannelInput
Implements an
AltingChannelInput channel end that also supports read filters. |
Copyright © 1996–2023. All rights reserved.