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.mobile | |
org.jcsp.util.filter |
This defines filtering channels that can apply transformations to objects
as they are read and/or written.
|
Modifier and Type | Interface and Description |
---|---|
interface |
ChannelInput<T>
This defines the interface for reading from an Object channel.
|
interface |
ChannelInputInt
This defines the interface for reading from object channels.
|
interface |
ChannelOutput<T>
This defines the interface for writing to object channels.
|
interface |
ChannelOutputInt
This defines the interface for writing to integer channels.
|
interface |
RejectableChannelInput
Deprecated.
This channel is superceded by the poison mechanisms, please see
PoisonException . It remains only because it is used by some of the networking features. |
interface |
RejectableChannelOutput
Deprecated.
This channel is superceded by the poison mechanisms, please see
PoisonException . It remains only because it is used by some of the networking features. |
interface |
SharedChannelInput<T>
This is the same as
ChannelInput except that it is guaranteed
safe to pass on to more than one internal process for parallel reading. |
interface |
SharedChannelInputInt
This is the same as
ChannelInputInt except that it is guaranteed
safe to pass on to more than one internal process for parallel reading. |
interface |
SharedChannelOutput<T>
This is the same as
ChannelOutput except that it is guaranteed
safe to pass on to more than one internal process for parallel writing. |
interface |
SharedChannelOutputInt
This is the same as
ChannelOutputInt except that it is guaranteed
safe to pass on to more than one internal process for parallel writing. |
Modifier and Type | Class and Description |
---|---|
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 |
BlackHoleChannel
This implements
ChannelOutput with black hole semantics. |
class |
BlackHoleChannelInt
This implements
ChannelOutputInt with black hole semantics. |
class |
ChannelInputWrapper
Deprecated.
There is no longer any need to use this class, after the 1.1 class reorganisation.
|
class |
ChannelOutputWrapper
Deprecated.
There is no longer any need to use this class, after the 1.1 class reorganisation.
|
class |
RejectableAltingChannelInput
Deprecated.
This channel is superceded by the poison mechanisms, please see
PoisonException |
Modifier and Type | Interface and Description |
---|---|
interface |
NetChannelInput
An interface implemented by classes wishing to be Networked
ChannelInput objects. |
interface |
NetChannelOutput
An interface that should be implemented by
ChannelOutput objects which are used for transmitting
over the network. |
interface |
NetSharedChannelInput
This interface should be implemented by classes that
wish to act as
NetChannelInput objects
which can be used by muliple concurrent processes. |
interface |
NetSharedChannelOutput
This interface should be implemented by classes that
wish to act as
NetChannelOutput objects
which can be used by muliple concurrent processes. |
Modifier and Type | Class and 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. |
Modifier and Type | Interface and Description |
---|---|
interface |
MigratableChannelInput
A migratable networked input channel end.
|
interface |
MigratableChannelOutput
A migratable networked channel output end.
|
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 |
MobileChannelInput |
class |
MobileChannelOutput |
Modifier and Type | Interface and Description |
---|---|
interface |
FilteredChannelInput
Interface for a channel input end that supports filtering operations.
|
interface |
FilteredChannelOutput
Interface for a channel output end that supports write filtering operations.
|
interface |
FilteredSharedChannelInput
Interface for a channel input end that supports filtering and can be shared by multiple processes.
|
interface |
FilteredSharedChannelOutput
Interface for an output channel end that supports filtering operations and can be shared by multiple
concurrent processes.
|
Modifier and Type | Class and Description |
---|---|
class |
FilteredAltingChannelInput
Implements an
AltingChannelInput channel end that also supports read filters. |
class |
FilteredSharedChannelInputWrapper
This is wrapper for a
SharedChannelInput that adds
read filtering. |
class |
FilteredSharedChannelOutputWrapper
This is wrapper for a
SharedChannelOutput that adds
write filtering. |
Copyright © 1996–2023. All rights reserved.