Package | Description |
---|---|
org.jcsp.lang |
This provides classes and interfaces corresponding to the fundamental
primitives of CSP.
|
Modifier and Type | Method and Description |
---|---|
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[] |
ChannelInt.any2oneArray(int n)
Deprecated.
Constructs and returns an array of
Any2OneChannelInt
objects. |
static Any2OneChannelInt |
Channel.any2oneInt()
This constructs an integer carrying channel that
may be connected to any number of writer processes,
but only one reader at a time.
|
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.any2oneInt(int immunity)
This constructs a poisonable any-one integer channel.
|
static Any2OneChannelInt[] |
Channel.any2oneIntArray(int size)
This constructs an array of any-one integer channels.
|
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.
|
static Any2OneChannelInt[] |
Channel.any2oneIntArray(int size,
int immunity)
This constructs an array of poisonable any-one integer channels.
|
Any2OneChannelInt |
ChannelIntFactory.createAny2One()
Deprecated.
Creates a new
Any2One channel. |
Any2OneChannelInt |
StandardChannelIntFactory.createAny2One()
Constructs and returns an
Any2OneChannelInt object. |
static Any2OneChannelInt |
ChannelInt.createAny2One()
Deprecated.
Constructs and returns an
Any2OneChannelInt object. |
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. |
Any2OneChannelInt[] |
StandardChannelIntFactory.createAny2One(int n)
Constructs and returns an array of
Any2OneChannelInt
objects. |
Any2OneChannelInt[] |
ChannelIntArrayFactory.createAny2One(int n)
Deprecated.
Creates a populated array of
n Any2One channels. |
Modifier and Type | Method and Description |
---|---|
static AltingChannelInputInt[] |
Channel.getInputArray(Any2OneChannelInt[] c)
This extracts the input-ends from the given channel array.
|
static AltingChannelInputInt[] |
ChannelInt.getInputArray(Any2OneChannelInt[] c)
Deprecated.
Constructs and returns an array of input channel ends, each of which can be used as guards
in an
Alternative . |
static SharedChannelOutputInt[] |
Channel.getOutputArray(Any2OneChannelInt[] c)
This extracts the output-ends from the given channel array.
|
static SharedChannelOutputInt[] |
ChannelInt.getOutputArray(Any2OneChannelInt[] c)
Deprecated.
Constructs and returns an array of output channel ends, each of which can be shared by multiple
concurrent writers.
|
Copyright © 1996–2016. All rights reserved.