public class ChannelInt
extends java.lang.Object
ChannelInputInt
from being cast into a ChannelOutputInt
object. The SafeChannelIntFactory
class is used to construct the
channels.
Non-safe channels can be constructed by using an instance of the
StandardChannelIntFactory
class. The channels produced by this
factory have read and write ends implemented by the same object. This is
is more efficient (there are two extra objects and delegate method calls)
but could lead to errors if users make incorrect casts.Modifier and Type | Method and Description |
---|---|
static Any2OneChannelInt[] |
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[] |
any2oneArray(int n)
Deprecated.
Constructs and returns an array of
Any2OneChannelInt
objects. |
static Any2AnyChannelInt |
createAny2Any()
Deprecated.
Constructs and returns an
Any2AnyChannelInt object. |
static Any2AnyChannelInt |
createAny2Any(ChannelDataStoreInt buffer)
Deprecated.
Constructs and returns a
Any2AnyChannelInt object which
uses the specified ChannelDataStoreInt object as a buffer. |
static Any2AnyChannelInt[] |
createAny2Any(ChannelDataStoreInt buffer,
int n)
Deprecated.
Constructs and returns an array of
Any2AnyChannelInt objects
which use the specified ChannelDataStoreInt object as a
buffer. |
static Any2AnyChannelInt[] |
createAny2Any(int n)
Deprecated.
Constructs and returns an array of
Any2AnyChannelInt
objects. |
static Any2OneChannelInt |
createAny2One()
Deprecated.
Constructs and returns an
Any2OneChannelInt object. |
static Any2OneChannelInt |
createAny2One(ChannelDataStoreInt buffer)
Deprecated.
Constructs and returns a
Any2OneChannelInt object which
uses the specified ChannelDataStoreInt object as a buffer. |
static One2AnyChannelInt |
createOne2Any()
Deprecated.
Constructs and returns a
One2AnyChannelInt object. |
static One2AnyChannelInt |
createOne2Any(ChannelDataStoreInt buffer)
Deprecated.
Constructs and returns a
One2AnyChannelInt object which
uses the specified ChannelDataStoreInt object as a buffer. |
static One2AnyChannelInt[] |
createOne2Any(ChannelDataStoreInt buffer,
int n)
Deprecated.
Constructs and returns an array of
One2AnyChannelInt objects
which use the specified ChannelDataStoreInt object as a
buffer. |
static One2AnyChannelInt[] |
createOne2Any(int n)
Deprecated.
Constructs and returns an array of
One2AnyChannelInt
objects. |
static One2OneChannelInt |
createOne2One()
Deprecated.
Constructs and returns a
One2OneChannelInt object. |
static One2OneChannelInt |
createOne2One(ChannelDataStoreInt buffer)
Deprecated.
Constructs and returns a
One2OneChannelInt object which
uses the specified ChannelDataStoreInt object as a buffer. |
static One2OneChannelInt[] |
createOne2One(ChannelDataStoreInt buffer,
int n)
Deprecated.
Constructs and returns an array of
One2OneChannelInt objects
which use the specified ChannelDataStoreInt object as a
buffer. |
static One2OneChannelInt[] |
createOne2One(int n)
Deprecated.
Constructs and returns an array of
One2OneChannelInt
objects. |
static SharedChannelInputInt[] |
getInputArray(Any2AnyChannelInt[] c)
Deprecated.
Constructs and returns an array of input channel ends, each of which can be shared by multiple
concurrent readers.
|
static AltingChannelInputInt[] |
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 SharedChannelInputInt[] |
getInputArray(One2AnyChannelInt[] c)
Deprecated.
Constructs and returns an array of input channel ends, each of which can be shared by multiple
concurrent readers.
|
static AltingChannelInputInt[] |
getInputArray(One2OneChannelInt[] c)
Deprecated.
Constructs and returns an array of input channel ends, each of which can be used as guards
in an
Alternative . |
static SharedChannelOutputInt[] |
getOutputArray(Any2AnyChannelInt[] c)
Deprecated.
Constructs and returns an array of output channel ends, each of which can be shared by multiple
concurrent writers.
|
static SharedChannelOutputInt[] |
getOutputArray(Any2OneChannelInt[] c)
Deprecated.
Constructs and returns an array of output channel ends, each of which can be shared by multiple
concurrent writers.
|
static ChannelOutputInt[] |
getOutputArray(One2AnyChannelInt[] c)
Deprecated.
Constructs and returns an array of output channel ends, each of which can only be used by a
single writer.
|
static ChannelOutputInt[] |
getOutputArray(One2OneChannelInt[] c)
Deprecated.
Constructs and returns an array of output channel ends, each of which can only be used by a
single writer.
|
public static One2OneChannelInt createOne2One()
One2OneChannelInt
object.ChannelIntFactory.createOne2One()
public static Any2OneChannelInt createAny2One()
Any2OneChannelInt
object.ChannelIntFactory.createAny2One()
public static One2AnyChannelInt createOne2Any()
One2AnyChannelInt
object.ChannelIntFactory.createOne2Any()
public static Any2AnyChannelInt createAny2Any()
Any2AnyChannelInt
object.ChannelIntFactory.createAny2Any()
public static One2OneChannelInt[] createOne2One(int n)
One2OneChannelInt
objects.n
- the size of the array of channels.ChannelIntArrayFactory.createOne2One(int)
public static Any2OneChannelInt[] any2oneArray(int n)
Any2OneChannelInt
objects.n
- the size of the array of channels.ChannelIntArrayFactory.createAny2One(int)
public static One2AnyChannelInt[] createOne2Any(int n)
One2AnyChannelInt
objects.n
- the size of the array of channels.ChannelIntArrayFactory.createOne2Any(int)
public static Any2AnyChannelInt[] createAny2Any(int n)
Any2AnyChannelInt
objects.n
- the size of the array of channels.ChannelIntArrayFactory.createAny2Any(int)
public static One2OneChannelInt createOne2One(ChannelDataStoreInt buffer)
One2OneChannelInt
object which
uses the specified ChannelDataStoreInt
object as a buffer.buffer
- the ChannelDataStoreInt
to use.BufferedChannelIntFactory.createOne2One(ChannelDataStoreInt)
,
ChannelDataStoreInt
public static Any2OneChannelInt createAny2One(ChannelDataStoreInt buffer)
Any2OneChannelInt
object which
uses the specified ChannelDataStoreInt
object as a buffer.buffer
- the ChannelDataStoreInt
to use.BufferedChannelIntFactory.createAny2One(ChannelDataStoreInt)
,
ChannelDataStoreInt
public static One2AnyChannelInt createOne2Any(ChannelDataStoreInt buffer)
One2AnyChannelInt
object which
uses the specified ChannelDataStoreInt
object as a buffer.buffer
- the ChannelDataStoreInt
to use.BufferedChannelIntFactory.createOne2Any(ChannelDataStoreInt)
,
ChannelDataStoreInt
public static Any2AnyChannelInt createAny2Any(ChannelDataStoreInt buffer)
Any2AnyChannelInt
object which
uses the specified ChannelDataStoreInt
object as a buffer.buffer
- the ChannelDataStoreInt
to use.BufferedChannelIntFactory.createAny2Any(ChannelDataStoreInt)
,
ChannelDataStoreInt
public static One2OneChannelInt[] createOne2One(ChannelDataStoreInt buffer, int n)
One2OneChannelInt
objects
which use the specified ChannelDataStoreInt
object as a
buffer.buffer
- the ChannelDataStoreInt
to use.n
- the size of the array of channels.BufferedChannelIntArrayFactory.createOne2One(ChannelDataStoreInt, int)
,
ChannelDataStoreInt
public static Any2OneChannelInt[] any2oneArray(ChannelDataStoreInt buffer, int n)
Any2OneChannelInt
objects
which use the specified ChannelDataStoreInt
object as a
buffer.buffer
- the ChannelDataStoreInt
to use.n
- the size of the array of channels.BufferedChannelIntArrayFactory.createAny2One(ChannelDataStoreInt, int)
,
ChannelDataStoreInt
public static One2AnyChannelInt[] createOne2Any(ChannelDataStoreInt buffer, int n)
One2AnyChannelInt
objects
which use the specified ChannelDataStoreInt
object as a
buffer.buffer
- the ChannelDataStoreInt
to use.n
- the size of the array of channels.BufferedChannelIntArrayFactory.createOne2Any(ChannelDataStoreInt, int)
,
ChannelDataStoreInt
public static Any2AnyChannelInt[] createAny2Any(ChannelDataStoreInt buffer, int n)
Any2AnyChannelInt
objects
which use the specified ChannelDataStoreInt
object as a
buffer.buffer
- the ChannelDataStoreInt
to use.n
- the size of the array of channels.BufferedChannelIntArrayFactory.createAny2Any(ChannelDataStoreInt, int)
,
ChannelDataStoreInt
public static SharedChannelInputInt[] getInputArray(Any2AnyChannelInt[] c)
r
, is constructed such that
r[i] = c[i].in ()
for 0 <= i < c.length
.c
- the array of channel to obtain input ends from.public static AltingChannelInputInt[] getInputArray(Any2OneChannelInt[] c)
Alternative
. The returned array, r
, is constructed such that
r[i] = c[i].in ()
for 0 <= i < c.length
.c
- the array of channel to obtain input ends from.public static SharedChannelInputInt[] getInputArray(One2AnyChannelInt[] c)
r
, is constructed such that
r[i] = c[i].in ()
for 0 <= i < c.length
.c
- the array of channel to obtain input ends from.public static AltingChannelInputInt[] getInputArray(One2OneChannelInt[] c)
Alternative
. The returned array, r
, is constructed such that
r[i] = c[i].in ()
for 0 <= i < c.length
.c
- the array of channel to obtain input ends from.public static SharedChannelOutputInt[] getOutputArray(Any2AnyChannelInt[] c)
r
, is constructed such that
r[i] = c[i].out ()
for 0 <= i < c.length
.c
- the array of channel to obtain output ends from.public static SharedChannelOutputInt[] getOutputArray(Any2OneChannelInt[] c)
r
, is constructed such that
r[i] = c[i].out ()
for 0 <= i < c.length
.c
- the array of channel to obtain output ends from.public static ChannelOutputInt[] getOutputArray(One2AnyChannelInt[] c)
r
, is constructed such that
r[i] = c[i].out ()
for 0 <= i < c.length
.c
- the array of channel to obtain output ends from.public static ChannelOutputInt[] getOutputArray(One2OneChannelInt[] c)
r
, is constructed such that
r[i] = c[i].out ()
for 0 <= i < c.length
.c
- the array of channel to obtain output ends from.Submit a bug or feature to jcsp-team@kent.ac.uk
Version 1.1-rc4 of the JCSP API Specification (Copyright 1997-2008 P.D.Austin and P.H.Welch - All Rights Reserved)
Java is a trademark or registered trademark of Sun Microsystems, Inc. in the US and other countries.