|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ChannelDataStoreInt | |
---|---|
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. |
Uses of ChannelDataStoreInt in org.jcsp.lang |
---|
Methods in org.jcsp.lang with parameters of type ChannelDataStoreInt | |
---|---|
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. |
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)
Constructs and returns a Any2AnyChannelInt object which
uses 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[] |
StandardChannelIntFactory.createAny2Any(ChannelDataStoreInt buffer,
int n)
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. |
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)
Constructs and returns a Any2OneChannelInt object which
uses the specified ChannelDataStoreInt object as a buffer. |
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. |
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)
Constructs and returns a One2AnyChannelInt object which
uses 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[] |
StandardChannelIntFactory.createOne2Any(ChannelDataStoreInt buffer,
int n)
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. |
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)
Constructs and returns a One2OneChannelInt object which
uses 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[] |
StandardChannelIntFactory.createOne2One(ChannelDataStoreInt buffer,
int n)
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. |
Uses of ChannelDataStoreInt in org.jcsp.util.ints |
---|
Classes in org.jcsp.util.ints that implement ChannelDataStoreInt | |
---|---|
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |