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.util |
This provides classes and interfaces to customise the semantics of Object
channels.
|
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 <T> Any2AnyChannel<T> |
Channel.any2any(ChannelDataStore<T> buffer)
This constructs an any-any Object channel with user chosen buffering size and policy.
|
static <T> Any2AnyChannel<T> |
Channel.any2any(ChannelDataStore<T> buffer,
int immunity)
This constructs a buffered poisonable any-any Object channel.
|
static <T> Any2AnyChannel<T>[] |
Channel.any2anyArray(int size,
ChannelDataStore<T> buffer)
This constructs an array of buffered any-any Object channels.
|
static <T> Any2AnyChannel<T>[] |
Channel.any2anyArray(int size,
ChannelDataStore<T> buffer,
int immunity)
This constructs an array of buffered poisonable any-any Object channels.
|
static <T> Any2OneChannel<T> |
Channel.any2one(ChannelDataStore<T> buffer)
This constructs an any-one Object channel with user chosen buffering size and policy.
|
static <T> Any2OneChannel<T> |
Channel.any2one(ChannelDataStore<T> buffer,
int immunity)
This constructs a buffered poisonable any-one Object channel.
|
static <T> Any2OneChannel<T>[] |
Channel.any2oneArray(int size,
ChannelDataStore<T> buffer)
This constructs an array of buffered any-one Object channels.
|
static <T> Any2OneChannel<T>[] |
Channel.any2oneArray(int size,
ChannelDataStore<T> buffer,
int immunity)
This constructs an array of buffered poisonable any-one Object channels.
|
static Any2AnyChannel |
Channel.createAny2Any(ChannelDataStore buffer)
Deprecated.
Use the
Channel.any2any(ChannelDataStore) method instead. |
Any2AnyChannel<T> |
StandardChannelFactory.createAny2Any(ChannelDataStore<T> buffer)
Constructs and returns a
Any2AnyChannel object which
uses the specified ChannelDataStore object as a buffer. |
Any2AnyChannel<T> |
BufferedChannelFactory.createAny2Any(ChannelDataStore<T> buffer)
Deprecated.
Creates a new
Any2Any channel with the given buffering behaviour. |
Any2AnyChannel<T>[] |
BufferedChannelArrayFactory.createAny2Any(ChannelDataStore<T> buffer,
int n)
Deprecated.
Creates a populated array of
n Any2Any channels with the specified
buffering behaviour. |
Any2AnyChannel<T>[] |
StandardChannelFactory.createAny2Any(ChannelDataStore<T> buffer,
int n)
Constructs and returns an array of
Any2AnyChannel objects
which use the specified ChannelDataStore object as a
buffer. |
static Any2AnyChannel[] |
Channel.createAny2Any(ChannelDataStore buffer,
int n)
Deprecated.
Use the
Channel.any2anyArray(int,ChannelDataStore) method instead. |
static Any2OneChannel |
Channel.createAny2One(ChannelDataStore buffer)
Deprecated.
Use the
Channel.any2one(ChannelDataStore) method instead. |
Any2OneChannel<T> |
StandardChannelFactory.createAny2One(ChannelDataStore<T> buffer)
Constructs and returns a
Any2OneChannel object which
uses the specified ChannelDataStore object as a buffer. |
Any2OneChannel<T> |
BufferedChannelFactory.createAny2One(ChannelDataStore<T> buffer)
Deprecated.
Creates a new
Any2One channel with the given buffering behaviour. |
Any2OneChannel<T>[] |
BufferedChannelArrayFactory.createAny2One(ChannelDataStore<T> buffer,
int n)
Deprecated.
Creates a populated array of
n Any2One channels with the specified
buffering behaviour. |
Any2OneChannel<T>[] |
StandardChannelFactory.createAny2One(ChannelDataStore<T> buffer,
int n)
Constructs and returns an array of
Any2OneChannel objects
which use the specified ChannelDataStore object as a
buffer. |
static Any2OneChannel[] |
Channel.createAny2One(ChannelDataStore buffer,
int n)
Deprecated.
Use the
Channel.any2oneArray(int,ChannelDataStore) method instead. |
static One2AnyChannel |
Channel.createOne2Any(ChannelDataStore buffer)
Deprecated.
Use the
Channel.one2any(ChannelDataStore) method instead. |
One2AnyChannel<T> |
StandardChannelFactory.createOne2Any(ChannelDataStore<T> buffer)
Constructs and returns a
One2AnyChannel object which
uses the specified ChannelDataStore object as a buffer. |
One2AnyChannel<T> |
BufferedChannelFactory.createOne2Any(ChannelDataStore<T> buffer)
Deprecated.
Creates a new
One2Any channel with the given buffering behaviour. |
One2AnyChannel<T>[] |
BufferedChannelArrayFactory.createOne2Any(ChannelDataStore<T> buffer,
int n)
Deprecated.
Creates a populated array of
n One2Any channels with the specified
buffering behaviour. |
One2AnyChannel<T>[] |
StandardChannelFactory.createOne2Any(ChannelDataStore<T> buffer,
int n)
Constructs and returns an array of
One2AnyChannel objects
which use the specified ChannelDataStore object as a
buffer. |
static One2AnyChannel[] |
Channel.createOne2Any(ChannelDataStore buffer,
int n)
Deprecated.
Use the
Channel.one2anyArray(int,ChannelDataStore) method instead. |
static One2OneChannel |
Channel.createOne2One(ChannelDataStore buffer)
Deprecated.
Use the
Channel.one2one(ChannelDataStore) method instead. |
One2OneChannel<T> |
StandardChannelFactory.createOne2One(ChannelDataStore<T> buffer)
Constructs and returns a
One2OneChannel object which
uses the specified ChannelDataStore object as a buffer. |
One2OneChannel<T> |
BufferedChannelFactory.createOne2One(ChannelDataStore<T> buffer)
Deprecated.
Creates a new
One2One channel with the given buffering behaviour. |
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 <T> One2AnyChannel<T> |
Channel.one2any(ChannelDataStore<T> buffer)
This constructs a one-any Object channel with user chosen buffering size and policy.
|
static <T> One2AnyChannel<T> |
Channel.one2any(ChannelDataStore<T> buffer,
int immunity)
This constructs a buffered poisonable one-any Object channel.
|
static <T> One2AnyChannel<T>[] |
Channel.one2anyArray(int size,
ChannelDataStore<T> buffer)
This constructs an array of buffered one-any Object channels.
|
static <T> One2AnyChannel<T>[] |
Channel.one2anyArray(int size,
ChannelDataStore<T> buffer,
int immunity)
This constructs an array of buffered poisonable one-any Object channels.
|
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.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.
|
Constructor and Description |
---|
RejectableBufferedOne2AnyChannel(ChannelDataStore data)
Deprecated.
Constructs a new
RejectableBufferedOne2AnyChannel |
RejectableBufferedOne2OneChannel(ChannelDataStore buffer)
Deprecated.
Constructs a new channel.
|
Modifier and Type | Method and Description |
---|---|
NetSharedChannelInput |
NetBufferedChannelEndFactory.createNet2Any(ChannelDataStore buffer)
Constructs a
NetSharedChannelInput object. |
static NetSharedChannelInput |
NetChannelEnd.createNet2Any(ChannelDataStore buffer) |
NetSharedChannelInput |
StandardNetChannelEndFactory.createNet2Any(ChannelDataStore buffer) |
NetSharedChannelInput |
NetLabelledBufferedChannelEndFactory.createNet2Any(java.lang.String label,
ChannelDataStore buffer)
Constructs a buffered
NetSharedChannelInput which
has a VCN assigned with the specified label. |
static NetSharedChannelInput |
NetChannelEnd.createNet2Any(java.lang.String label,
ChannelDataStore buffer) |
NetSharedChannelInput |
StandardNetChannelEndFactory.createNet2Any(java.lang.String label,
ChannelDataStore buffer) |
NetAltingChannelInput |
NetBufferedChannelEndFactory.createNet2One(ChannelDataStore buffer)
Constructs a
NetAltingChannelInput object. |
static NetAltingChannelInput |
NetChannelEnd.createNet2One(ChannelDataStore buffer) |
NetAltingChannelInput |
StandardNetChannelEndFactory.createNet2One(ChannelDataStore buffer) |
NetAltingChannelInput |
NetLabelledBufferedChannelEndFactory.createNet2One(java.lang.String label,
ChannelDataStore buffer)
Constructs a buffered
NetAltingChannelInput which
has a VCN assigned with the specified label. |
static NetAltingChannelInput |
NetChannelEnd.createNet2One(java.lang.String label,
ChannelDataStore buffer) |
NetAltingChannelInput |
StandardNetChannelEndFactory.createNet2One(java.lang.String label,
ChannelDataStore buffer) |
Modifier and Type | Class and Description |
---|---|
class |
Buffer<T>
This is used to create a buffered object channel that never loses data.
|
class |
InfiniteBuffer<T>
This is used to create a buffered object channel that always accepts and
never loses any input.
|
class |
OverFlowingBuffer<T>
This is used to create a buffered object channel that always accepts input,
discarding its last entered data if full.
|
class |
OverWriteOldestBuffer<T>
This is used to create a buffered object channel that always accepts input,
overwriting its oldest data if full.
|
class |
OverWritingBuffer<T>
This is used to create a buffered object channel that always accepts input,
overwriting its last entered data if full.
|
class |
ZeroBuffer<T>
This is used to create a zero-buffered object channel that never loses data.
|
Modifier and Type | Method and Description |
---|---|
static FilteredAny2AnyChannel |
FilteredChannel.createAny2Any(ChannelDataStore buffer)
Creates a new Any2Any filtered channel with a given buffering behaviour.
|
Any2AnyChannel |
FilteredChannelFactory.createAny2Any(ChannelDataStore buffer)
Creates a new Any2Any channel with the filtering options set for this factory and the specified
data buffer.
|
static FilteredAny2AnyChannel[] |
FilteredChannel.createAny2Any(ChannelDataStore buffer,
int n)
Constructs and returns an array of
Any2AnyChannel
objects with a given buffer. |
Any2AnyChannel[] |
FilteredChannelFactory.createAny2Any(ChannelDataStore buffer,
int n)
Constructs and returns an array of
Any2AnyChannel
objects with a given buffering behaviour. |
static FilteredAny2OneChannel |
FilteredChannel.createAny2One(ChannelDataStore buffer)
Creates a new Any2One filtered channel with a given buffering behaviour.
|
Any2OneChannel |
FilteredChannelFactory.createAny2One(ChannelDataStore buffer)
Creates a new Any2One channel with the filtering options set for this factory and the specified
data buffer.
|
static FilteredAny2OneChannel[] |
FilteredChannel.createAny2One(ChannelDataStore buffer,
int n)
Constructs and returns an array of
Any2OneChannel
objects with a given buffer. |
Any2OneChannel[] |
FilteredChannelFactory.createAny2One(ChannelDataStore buffer,
int n)
Constructs and returns an array of
Any2OneChannel
objects with a given buffering behaviour. |
static FilteredOne2AnyChannel |
FilteredChannel.createOne2Any(ChannelDataStore buffer)
Creates a new One2Any filtered channel with a given buffering behaviour.
|
One2AnyChannel |
FilteredChannelFactory.createOne2Any(ChannelDataStore buffer)
Creates a new One2Any channel with the filtering options set for this factory and the specified
data buffer.
|
static FilteredOne2AnyChannel[] |
FilteredChannel.createOne2Any(ChannelDataStore buffer,
int n)
Constructs and returns an array of
One2AnyChannel
objects with a given buffer. |
One2AnyChannel[] |
FilteredChannelFactory.createOne2Any(ChannelDataStore buffer,
int n)
Constructs and returns an array of
One2AnyChannel
objects with a given buffering behaviour. |
static FilteredOne2OneChannel |
FilteredChannel.createOne2One(ChannelDataStore buffer)
Creates a new One2One filtered channel with a given buffering behaviour.
|
One2OneChannel |
FilteredChannelFactory.createOne2One(ChannelDataStore buffer)
Creates a new One2One channel with the filtering options set for this factory and the specified
data buffer.
|
static FilteredOne2OneChannel[] |
FilteredChannel.createOne2One(ChannelDataStore buffer,
int n)
Constructs and returns an array of
One2OneChannel
objects using a given buffer. |
One2OneChannel[] |
FilteredChannelFactory.createOne2One(ChannelDataStore buffer,
int n)
Constructs and returns an array of
One2OneChannel
objects with a given buffering behaviour. |
Copyright © 1996–2021. All rights reserved.