Uses of Interface
org.jcsp.util.ints.ChannelDataStoreInt
Packages that use ChannelDataStoreInt
Package
Description
This provides classes and interfaces corresponding to the fundamental
primitives of CSP.
This provides classes and interfaces to customise the semantics of int channels.
-
Uses of ChannelDataStoreInt in org.jcsp.lang
Fields in org.jcsp.lang declared as ChannelDataStoreIntModifier and TypeFieldDescriptionprivate final ChannelDataStoreInt
BufferedOne2OneChannelIntImpl.data
The ChannelDataStoreInt used to store the data for the channelprivate final ChannelDataStoreInt
PoisonableBufferedOne2OneChannelInt.data
The ChannelDataStore used to store the data for the channelMethods in org.jcsp.lang with parameters of type ChannelDataStoreIntModifier and TypeMethodDescriptionstatic 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 ofAny2OneChannelInt
objects which use the specifiedChannelDataStoreInt
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 One2OneChannelInt[]
One2OneChannelIntImpl.create
(int n, ChannelDataStoreInt store) Creates an array of One2OneChannelInts using the specified ChannelDataStoreInt.static One2OneChannelInt
One2OneChannelIntImpl.create
(ChannelDataStoreInt store) Creates a One2OneChannelIntImpl using the specified ChannelDataStoreInt.BufferedChannelIntArrayFactory.createAny2Any
(ChannelDataStoreInt buffer, int n) Deprecated.Creates a populated array ofn
Any2Any
channels with the specified buffering behaviour.BufferedChannelIntFactory.createAny2Any
(ChannelDataStoreInt buffer) Deprecated.Creates a newAny2Any
channel with the given buffering behaviour.static Any2AnyChannelInt
ChannelInt.createAny2Any
(ChannelDataStoreInt buffer) Deprecated.Constructs and returns aAny2AnyChannelInt
object which uses the specifiedChannelDataStoreInt
object as a buffer.static Any2AnyChannelInt[]
ChannelInt.createAny2Any
(ChannelDataStoreInt buffer, int n) Deprecated.Constructs and returns an array ofAny2AnyChannelInt
objects which use the specifiedChannelDataStoreInt
object as a buffer.StandardChannelIntFactory.createAny2Any
(ChannelDataStoreInt buffer) Constructs and returns aAny2AnyChannelInt
object which uses the specifiedChannelDataStoreInt
object as a buffer.StandardChannelIntFactory.createAny2Any
(ChannelDataStoreInt buffer, int n) Constructs and returns an array ofAny2AnyChannelInt
objects which use the specifiedChannelDataStoreInt
object as a buffer.BufferedChannelIntArrayFactory.createAny2One
(ChannelDataStoreInt buffer, int n) Deprecated.Creates a populated array ofn
Any2One
channels with the specified buffering behaviour.BufferedChannelIntFactory.createAny2One
(ChannelDataStoreInt buffer) Deprecated.Creates a newAny2One
channel with the given buffering behaviour.static Any2OneChannelInt
ChannelInt.createAny2One
(ChannelDataStoreInt buffer) Deprecated.Constructs and returns aAny2OneChannelInt
object which uses the specifiedChannelDataStoreInt
object as a buffer.StandardChannelIntFactory.createAny2One
(ChannelDataStoreInt buffer) Constructs and returns aAny2OneChannelInt
object which uses the specifiedChannelDataStoreInt
object as a buffer.StandardChannelIntFactory.createAny2One
(ChannelDataStoreInt buffer, int n) Constructs and returns an array ofAny2OneChannelInt
objects which use the specifiedChannelDataStoreInt
object as a buffer.BufferedChannelIntArrayFactory.createOne2Any
(ChannelDataStoreInt buffer, int n) Deprecated.Creates a populated array ofn
One2Any
channels with the specified buffering behaviour.BufferedChannelIntFactory.createOne2Any
(ChannelDataStoreInt buffer) Deprecated.Creates a newOne2Any
channel with the given buffering behaviour.static One2AnyChannelInt
ChannelInt.createOne2Any
(ChannelDataStoreInt buffer) Deprecated.Constructs and returns aOne2AnyChannelInt
object which uses the specifiedChannelDataStoreInt
object as a buffer.static One2AnyChannelInt[]
ChannelInt.createOne2Any
(ChannelDataStoreInt buffer, int n) Deprecated.Constructs and returns an array ofOne2AnyChannelInt
objects which use the specifiedChannelDataStoreInt
object as a buffer.StandardChannelIntFactory.createOne2Any
(ChannelDataStoreInt buffer) Constructs and returns aOne2AnyChannelInt
object which uses the specifiedChannelDataStoreInt
object as a buffer.StandardChannelIntFactory.createOne2Any
(ChannelDataStoreInt buffer, int n) Constructs and returns an array ofOne2AnyChannelInt
objects which use the specifiedChannelDataStoreInt
object as a buffer.BufferedChannelIntArrayFactory.createOne2One
(ChannelDataStoreInt buffer, int n) Deprecated.Creates a populated array ofn
One2One
channels with the specified buffering behaviour.BufferedChannelIntFactory.createOne2One
(ChannelDataStoreInt buffer) Deprecated.Creates a newOne2One
channel with the given buffering behaviour.static One2OneChannelInt
ChannelInt.createOne2One
(ChannelDataStoreInt buffer) Deprecated.Constructs and returns aOne2OneChannelInt
object which uses the specifiedChannelDataStoreInt
object as a buffer.static One2OneChannelInt[]
ChannelInt.createOne2One
(ChannelDataStoreInt buffer, int n) Deprecated.Constructs and returns an array ofOne2OneChannelInt
objects which use the specifiedChannelDataStoreInt
object as a buffer.StandardChannelIntFactory.createOne2One
(ChannelDataStoreInt buffer) Constructs and returns aOne2OneChannelInt
object which uses the specifiedChannelDataStoreInt
object as a buffer.StandardChannelIntFactory.createOne2One
(ChannelDataStoreInt buffer, int n) Constructs and returns an array ofOne2OneChannelInt
objects which use the specifiedChannelDataStoreInt
object as a buffer.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.Constructors in org.jcsp.lang with parameters of type ChannelDataStoreIntModifierConstructorDescriptionConstructs a new BufferedOne2OneChannelIntImpl with the specified ChannelDataStoreInt.(package private)
PoisonableBufferedAny2AnyChannelInt
(ChannelDataStoreInt _data, int _immunity) (package private)
PoisonableBufferedAny2OneChannelInt
(ChannelDataStoreInt _data, int _immunity) (package private)
PoisonableBufferedOne2AnyChannelInt
(ChannelDataStoreInt _data, int _immunity) PoisonableBufferedOne2OneChannelInt
(ChannelDataStoreInt data, int _immunity) Constructs a new BufferedOne2OneChannel with the specified ChannelDataStore. -
Uses of ChannelDataStoreInt in org.jcsp.util.ints
Classes in org.jcsp.util.ints that implement ChannelDataStoreIntModifier and TypeClassDescriptionclass
This is used to create a buffered integer channel that never loses data.class
This is used to create a buffered integer channel that always accepts and never loses any input.class
This is used to create a buffered integer channel that always accepts input, discarding its last entered data if full.class
This is used to create a buffered integer channel that always accepts input, overwriting its oldest data if full.class
This is used to create a buffered integer channel that always accepts input, overwriting its last entered data if full.class
This is used to create a zero-buffered integer channel that never loses data.