Package | Description |
---|---|
org.jcsp.lang |
This provides classes and interfaces corresponding to the fundamental
primitives of CSP.
|
Modifier and Type | Method and Description |
---|---|
static One2AnyChannelInt |
ChannelInt.createOne2Any()
Deprecated.
Constructs and returns a
One2AnyChannelInt object. |
One2AnyChannelInt |
ChannelIntFactory.createOne2Any()
Deprecated.
Creates a new
One2Any channel. |
One2AnyChannelInt |
StandardChannelIntFactory.createOne2Any()
Constructs and returns a
One2AnyChannelInt object. |
One2AnyChannelInt |
BufferedChannelIntFactory.createOne2Any(ChannelDataStoreInt buffer)
Deprecated.
Creates a new
One2Any channel with the given buffering behaviour. |
static One2AnyChannelInt |
ChannelInt.createOne2Any(ChannelDataStoreInt buffer)
Deprecated.
Constructs and returns a
One2AnyChannelInt object which
uses the specified ChannelDataStoreInt object as a buffer. |
One2AnyChannelInt |
StandardChannelIntFactory.createOne2Any(ChannelDataStoreInt buffer)
Constructs and returns a
One2AnyChannelInt object which
uses 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. |
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[] |
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(int n)
Deprecated.
Constructs and returns an array of
One2AnyChannelInt
objects. |
One2AnyChannelInt[] |
ChannelIntArrayFactory.createOne2Any(int n)
Deprecated.
Creates a populated array of
n One2Any channels. |
One2AnyChannelInt[] |
StandardChannelIntFactory.createOne2Any(int n)
Constructs and returns an array of
One2AnyChannelInt
objects. |
static One2AnyChannelInt |
Channel.one2anyInt()
This constructs an integer carrying channel that
may only be connected to one writer at a time,
but any number of reader processes.
|
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.one2anyInt(int immunity)
This constructs a poisonable one-any integer channel.
|
static One2AnyChannelInt[] |
Channel.one2anyIntArray(int size)
This constructs an array of one-any integer channels.
|
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 One2AnyChannelInt[] |
Channel.one2anyIntArray(int size,
int immunity)
This constructs an array of poisonable one-any integer channels.
|
Modifier and Type | Method and Description |
---|---|
static SharedChannelInputInt[] |
Channel.getInputArray(One2AnyChannelInt[] c)
This extracts the input-ends from the given channel array.
|
static SharedChannelInputInt[] |
ChannelInt.getInputArray(One2AnyChannelInt[] c)
Deprecated.
Constructs and returns an array of input channel ends, each of which can be shared by multiple
concurrent readers.
|
static ChannelOutputInt[] |
Channel.getOutputArray(One2AnyChannelInt[] c)
This extracts the output-ends from the given channel array.
|
static ChannelOutputInt[] |
ChannelInt.getOutputArray(One2AnyChannelInt[] c)
Deprecated.
Constructs and returns an array of output channel ends, each of which can only be used by a
single writer.
|
Copyright © 1996–2023. All rights reserved.