Uses of Interface
org.jcsp.lang.One2OneChannelInt
Packages that use One2OneChannelInt
Package
Description
This provides classes and interfaces corresponding to the fundamental
primitives of CSP.
-
Uses of One2OneChannelInt in org.jcsp.lang
Classes in org.jcsp.lang that implement One2OneChannelIntModifier and TypeClassDescription(package private) class
This implements a one-to-one integer channel with user-definable buffering.(package private) class
This implements a one-to-one integer channel.(package private) class
(package private) class
Fields in org.jcsp.lang declared as One2OneChannelIntModifier and TypeFieldDescriptionprivate final One2OneChannelInt
BasicOne2OneChannelSymmetricInt.c
Methods in org.jcsp.lang that return One2OneChannelIntModifier and TypeMethodDescriptionstatic One2OneChannelInt[]
One2OneChannelIntImpl.create
(int n) Creates an array of One2OneChannelInts.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.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()
Deprecated.Constructs and returns aOne2OneChannelInt
object.static One2OneChannelInt[]
ChannelInt.createOne2One
(int n) Deprecated.Constructs and returns an array ofOne2OneChannelInt
objects.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.ChannelIntArrayFactory.createOne2One
(int n) Deprecated.Creates a populated array ofn
One2One
channels.ChannelIntFactory.createOne2One()
Deprecated.Creates a newOne2One
channel.StandardChannelIntFactory.createOne2One()
Constructs and returns aOne2OneChannelInt
object.StandardChannelIntFactory.createOne2One
(int n) Constructs and returns an array ofOne2OneChannelInt
objects.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 One2OneChannelInt
Channel.one2oneInt()
This constructs an integer carrying channel that may only be connected to one writer and one reader process at a time.static One2OneChannelInt
Channel.one2oneInt
(int immunity) This constructs a poisonable one-one integer channel.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) This constructs an array of one-one integer channels.static One2OneChannelInt[]
Channel.one2oneIntArray
(int size, int immunity) This constructs an array of poisonable one-one integer channels.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.Methods in org.jcsp.lang with parameters of type One2OneChannelIntModifier and TypeMethodDescriptionstatic AltingChannelInputInt[]
Channel.getInputArray
(One2OneChannelInt[] c) This extracts the input-ends from the given channel array.static AltingChannelInputInt[]
ChannelInt.getInputArray
(One2OneChannelInt[] c) Deprecated.Constructs and returns an array of input channel ends, each of which can be used as guards in anAlternative
.static ChannelOutputInt[]
Channel.getOutputArray
(One2OneChannelInt[] c) This extracts the output-ends from the given channel array.static ChannelOutputInt[]
ChannelInt.getOutputArray
(One2OneChannelInt[] c) Deprecated.Constructs and returns an array of output channel ends, each of which can only be used by a single writer.