Package | Description |
---|---|
org.jcsp.lang |
This provides classes and interfaces corresponding to the fundamental
primitives of CSP.
|
org.jcsp.util.filter |
This defines filtering channels that can apply transformations to objects
as they are read and/or written.
|
Modifier and Type | Method and Description |
---|---|
static One2OneChannel |
Channel.createOne2One()
Deprecated.
Use the
Channel.one2one() method instead. |
One2OneChannel<T> |
ChannelFactory.createOne2One()
Deprecated.
Creates a new
One2One channel. |
One2OneChannel<T> |
StandardChannelFactory.createOne2One()
Constructs and returns a
One2OneChannel object. |
static One2OneChannel |
Channel.createOne2One(ChannelDataStore buffer)
Deprecated.
Use the
Channel.one2one(ChannelDataStore) method instead. |
One2OneChannel<T> |
BufferedChannelFactory.createOne2One(ChannelDataStore<T> buffer)
Deprecated.
Creates a new
One2One channel with the given buffering behaviour. |
One2OneChannel<T> |
StandardChannelFactory.createOne2One(ChannelDataStore<T> buffer)
Constructs and returns a
One2OneChannel object which
uses the specified ChannelDataStore object as a buffer. |
One2OneChannel<T>[] |
BufferedChannelArrayFactory.createOne2One(ChannelDataStore<T> buffer,
int n)
Deprecated.
Creates a populated array of
n One2One channels with the
specified buffering behaviour. |
One2OneChannel<T>[] |
StandardChannelFactory.createOne2One(ChannelDataStore<T> buffer,
int n)
Constructs and returns an array of
One2OneChannel objects
which use the specified ChannelDataStore object as a
buffer. |
static One2OneChannel[] |
Channel.createOne2One(ChannelDataStore buffer,
int n)
Deprecated.
Use the
Channel.one2oneArray(int,ChannelDataStore) method instead. |
static One2OneChannel[] |
Channel.createOne2One(int n)
Deprecated.
Use the
Channel.one2oneArray(int) method instead. |
One2OneChannel<T>[] |
ChannelArrayFactory.createOne2One(int n)
Deprecated.
Creates a populated array of
n One2One channels. |
One2OneChannel<T>[] |
StandardChannelFactory.createOne2One(int n)
Constructs and returns an array of
One2OneChannel
objects. |
static <T> One2OneChannel<T> |
Channel.one2one()
This constructs an Object carrying channel that
may only be connected to one writer and one reader process at a time.
|
static <T> One2OneChannel<T> |
Channel.one2one(ChannelDataStore<T> buffer)
This constructs a one-one Object channel with user chosen buffering size and policy.
|
static <T> One2OneChannel<T> |
Channel.one2one(ChannelDataStore<T> buffer,
int immunity)
This constructs a buffered poisonable one-one Object channel.
|
static <T> One2OneChannel<T> |
Channel.one2one(int immunity)
This constructs a poisonable one-one Object channel.
|
static <T> One2OneChannel<T>[] |
Channel.one2oneArray(int size)
This constructs an array of one-one Object channels.
|
static <T> One2OneChannel<T>[] |
Channel.one2oneArray(int size,
ChannelDataStore<T> buffer)
This constructs an array of buffered one-one Object channels.
|
static <T> One2OneChannel<T>[] |
Channel.one2oneArray(int size,
ChannelDataStore<T> buffer,
int immunity)
This constructs an array of buffered poisonable one-one Object channels.
|
static <T> One2OneChannel<T>[] |
Channel.one2oneArray(int size,
int immunity)
This constructs an array of poisonable one-one Object channels.
|
Modifier and Type | Method and Description |
---|---|
static <T> AltingChannelInput<T>[] |
Channel.getInputArray(One2OneChannel<T>[] c)
This extracts the input-ends from the given channel array.
|
static <T> ChannelOutput<T>[] |
Channel.getOutputArray(One2OneChannel<T>[] c)
This extracts the output-ends from the given channel array.
|
Modifier and Type | Interface and Description |
---|---|
interface |
FilteredOne2OneChannel
Interface for a
One2One channel that supports filtering operations at each end. |
Modifier and Type | Method and Description |
---|---|
One2OneChannel |
FilteredChannelFactory.createOne2One()
Creates a new One2One channel with the filtering options set for this factory.
|
One2OneChannel |
FilteredChannelFactory.createOne2One(ChannelDataStore buffer)
Creates a new One2One channel with the filtering options set for this factory and the specified
data buffer.
|
One2OneChannel[] |
FilteredChannelFactory.createOne2One(ChannelDataStore buffer,
int n)
Constructs and returns an array of
One2OneChannel
objects with a given buffering behaviour. |
One2OneChannel[] |
FilteredChannelFactory.createOne2One(int n)
Constructs and returns an array of
One2OneChannel
objects. |
Copyright © 1996–2020. All rights reserved.