Package | Description |
---|---|
org.jcsp.lang |
This provides classes and interfaces corresponding to the fundamental
primitives of CSP.
|
org.jcsp.util.ints |
This provides classes and interfaces to customise the semantics of int channels.
|
Modifier and Type | Method and Description |
---|---|
static Any2AnyChannelInt |
Channel.any2anyInt(ChannelDataStoreInt buffer)
This constructs an any-any integer channel with user chosen buffering size and policy.
|
static Any2AnyChannelInt |
Channel.any2anyInt(ChannelDataStoreInt buffer,
int immunity)
This constructs a buffered poisonable any-any integer channel.
|
static Any2AnyChannelInt[] |
Channel.any2anyIntArray(int size,
ChannelDataStoreInt buffer)
This constructs an array of buffered any-any integer channels.
|
static Any2AnyChannelInt[] |
Channel.any2anyIntArray(int size,
ChannelDataStoreInt buffer,
int immunity)
This constructs an array of buffered poisonable any-any integer channels.
|
static Any2OneChannelInt[] |
ChannelInt.any2oneArray(ChannelDataStoreInt buffer,
int n)
Deprecated.
Constructs and returns an array of
Any2OneChannelInt objects
which use the specified ChannelDataStoreInt object as a
buffer. |
static Any2OneChannelInt |
Channel.any2oneInt(ChannelDataStoreInt buffer)
This constructs an any-one integer channel with user chosen buffering size and policy.
|
static Any2OneChannelInt |
Channel.any2oneInt(ChannelDataStoreInt buffer,
int immunity)
This constructs a buffered poisonable any-one integer channel.
|
static Any2OneChannelInt[] |
Channel.any2oneIntArray(int size,
ChannelDataStoreInt buffer)
This constructs an array of buffered any-one integer channels.
|
static Any2OneChannelInt[] |
Channel.any2oneIntArray(int size,
ChannelDataStoreInt buffer,
int immunity)
This constructs an array of buffered poisonable any-one integer channels.
|
Any2AnyChannelInt |
StandardChannelIntFactory.createAny2Any(ChannelDataStoreInt buffer)
Constructs and returns a
Any2AnyChannelInt object which
uses the specified ChannelDataStoreInt object as a buffer. |
static Any2AnyChannelInt |
ChannelInt.createAny2Any(ChannelDataStoreInt buffer)
Deprecated.
Constructs and returns a
Any2AnyChannelInt object which
uses the specified ChannelDataStoreInt object as a buffer. |
Any2AnyChannelInt |
BufferedChannelIntFactory.createAny2Any(ChannelDataStoreInt buffer)
Deprecated.
Creates a new
Any2Any channel with the given buffering behaviour. |
Any2AnyChannelInt[] |
StandardChannelIntFactory.createAny2Any(ChannelDataStoreInt buffer,
int n)
Constructs and returns an array of
Any2AnyChannelInt objects
which use the specified ChannelDataStoreInt object as a
buffer. |
static Any2AnyChannelInt[] |
ChannelInt.createAny2Any(ChannelDataStoreInt buffer,
int n)
Deprecated.
Constructs and returns an array of
Any2AnyChannelInt objects
which use the specified ChannelDataStoreInt object as a
buffer. |
Any2AnyChannelInt[] |
BufferedChannelIntArrayFactory.createAny2Any(ChannelDataStoreInt buffer,
int n)
Deprecated.
Creates a populated array of
n Any2Any channels with the
specified buffering behaviour. |
Any2OneChannelInt |
StandardChannelIntFactory.createAny2One(ChannelDataStoreInt buffer)
Constructs and returns a
Any2OneChannelInt object which
uses the specified ChannelDataStoreInt object as a buffer. |
static Any2OneChannelInt |
ChannelInt.createAny2One(ChannelDataStoreInt buffer)
Deprecated.
Constructs and returns a
Any2OneChannelInt object which
uses the specified ChannelDataStoreInt object as a buffer. |
Any2OneChannelInt |
BufferedChannelIntFactory.createAny2One(ChannelDataStoreInt buffer)
Deprecated.
Creates a new
Any2One channel with the given buffering behaviour. |
Any2OneChannelInt[] |
StandardChannelIntFactory.createAny2One(ChannelDataStoreInt buffer,
int n)
Constructs and returns an array of
Any2OneChannelInt objects
which use the specified ChannelDataStoreInt object as a
buffer. |
Any2OneChannelInt[] |
BufferedChannelIntArrayFactory.createAny2One(ChannelDataStoreInt buffer,
int n)
Deprecated.
Creates a populated array of
n Any2One channels with the
specified buffering behaviour. |
One2AnyChannelInt |
StandardChannelIntFactory.createOne2Any(ChannelDataStoreInt buffer)
Constructs and returns a
One2AnyChannelInt object which
uses the specified ChannelDataStoreInt object as a buffer. |
static One2AnyChannelInt |
ChannelInt.createOne2Any(ChannelDataStoreInt buffer)
Deprecated.
Constructs and returns a
One2AnyChannelInt object which
uses the specified ChannelDataStoreInt object as a buffer. |
One2AnyChannelInt |
BufferedChannelIntFactory.createOne2Any(ChannelDataStoreInt buffer)
Deprecated.
Creates a new
One2Any channel with the given buffering behaviour. |
One2AnyChannelInt[] |
StandardChannelIntFactory.createOne2Any(ChannelDataStoreInt buffer,
int n)
Constructs and returns an array of
One2AnyChannelInt objects
which use the specified ChannelDataStoreInt object as a
buffer. |
static One2AnyChannelInt[] |
ChannelInt.createOne2Any(ChannelDataStoreInt buffer,
int n)
Deprecated.
Constructs and returns an array of
One2AnyChannelInt objects
which use the specified ChannelDataStoreInt object as a
buffer. |
One2AnyChannelInt[] |
BufferedChannelIntArrayFactory.createOne2Any(ChannelDataStoreInt buffer,
int n)
Deprecated.
Creates a populated array of
n One2Any channels with the
specified buffering behaviour. |
One2OneChannelInt |
StandardChannelIntFactory.createOne2One(ChannelDataStoreInt buffer)
Constructs and returns a
One2OneChannelInt object which
uses the specified ChannelDataStoreInt object as a buffer. |
static One2OneChannelInt |
ChannelInt.createOne2One(ChannelDataStoreInt buffer)
Deprecated.
Constructs and returns a
One2OneChannelInt object which
uses the specified ChannelDataStoreInt object as a buffer. |
One2OneChannelInt |
BufferedChannelIntFactory.createOne2One(ChannelDataStoreInt buffer)
Deprecated.
Creates a new
One2One channel with the given buffering behaviour. |
One2OneChannelInt[] |
StandardChannelIntFactory.createOne2One(ChannelDataStoreInt buffer,
int n)
Constructs and returns an array of
One2OneChannelInt objects
which use the specified ChannelDataStoreInt object as a
buffer. |
static One2OneChannelInt[] |
ChannelInt.createOne2One(ChannelDataStoreInt buffer,
int n)
Deprecated.
Constructs and returns an array of
One2OneChannelInt objects
which use the specified ChannelDataStoreInt object as a
buffer. |
One2OneChannelInt[] |
BufferedChannelIntArrayFactory.createOne2One(ChannelDataStoreInt buffer,
int n)
Deprecated.
Creates a populated array of
n One2One channels with the
specified buffering behaviour. |
static One2AnyChannelInt |
Channel.one2anyInt(ChannelDataStoreInt buffer)
This constructs a one-any integer channel with user chosen buffering size and policy.
|
static One2AnyChannelInt |
Channel.one2anyInt(ChannelDataStoreInt buffer,
int immunity)
This constructs a buffered poisonable one-any integer channel.
|
static One2AnyChannelInt[] |
Channel.one2anyIntArray(int size,
ChannelDataStoreInt buffer)
This constructs an array of buffered one-any integer channels.
|
static One2AnyChannelInt[] |
Channel.one2anyIntArray(int size,
ChannelDataStoreInt buffer,
int immunity)
This constructs an array of buffered poisonable one-any integer channels.
|
static One2OneChannelInt |
Channel.one2oneInt(ChannelDataStoreInt buffer)
This constructs a one-one integer channel with user chosen buffering size and policy.
|
static One2OneChannelInt |
Channel.one2oneInt(ChannelDataStoreInt buffer,
int immunity)
This constructs a buffered poisonable one-one integer channel.
|
static One2OneChannelInt[] |
Channel.one2oneIntArray(int size,
ChannelDataStoreInt buffer)
This constructs an array of buffered one-one integer channels.
|
static One2OneChannelInt[] |
Channel.one2oneIntArray(int size,
ChannelDataStoreInt buffer,
int immunity)
This constructs an array of buffered poisonable one-one integer channels.
|
Modifier and Type | Class and Description |
---|---|
class |
BufferInt
This is used to create a buffered integer channel that never loses data.
|
class |
InfiniteBufferInt
This is used to create a buffered integer channel that always accepts and
never loses any input.
|
class |
OverFlowingBufferInt
This is used to create a buffered integer channel that always accepts input,
discarding its last entered data if full.
|
class |
OverWriteOldestBufferInt
This is used to create a buffered integer channel that always accepts input,
overwriting its oldest data if full.
|
class |
OverWritingBufferInt
This is used to create a buffered integer channel that always accepts input,
overwriting its last entered data if full.
|
class |
ZeroBufferInt
This is used to create a zero-buffered integer channel that never loses data.
|
Copyright © 1996–2022. All rights reserved.