Uses of Interface
org.jcsp.lang.Any2AnyChannelInt
Packages that use Any2AnyChannelInt
Package
Description
This provides classes and interfaces corresponding to the fundamental
primitives of CSP.
-
Uses of Any2AnyChannelInt in org.jcsp.lang
Classes in org.jcsp.lang that implement Any2AnyChannelIntModifier and TypeClassDescription(package private) class
This implements an any-to-any integer channel, safe for use by many writers and many readers.(package private) class
(package private) class
This implements an any-to-any integer channel with user-definable buffering, safe for use by many writers and many readers.(package private) class
(package private) class
Methods in org.jcsp.lang that return Any2AnyChannelIntModifier and TypeMethodDescriptionstatic Any2AnyChannelInt
Channel.any2anyInt()
This constructs an integer carrying channel that may be connected to any number of writer processes and any number of reader processes.static Any2AnyChannelInt
Channel.any2anyInt
(int immunity) This constructs a poisonable any-any integer channel.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) This constructs an array of any-any integer channels.static Any2AnyChannelInt[]
Channel.any2anyIntArray
(int size, int immunity) This constructs an array of poisonable any-any integer channels.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.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()
Deprecated.Constructs and returns anAny2AnyChannelInt
object.static Any2AnyChannelInt[]
ChannelInt.createAny2Any
(int n) Deprecated.Constructs and returns an array ofAny2AnyChannelInt
objects.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.ChannelIntArrayFactory.createAny2Any
(int n) Deprecated.Creates a populated array ofn
Any2Any
channels.ChannelIntFactory.createAny2Any()
Deprecated.Creates a newAny2Any
channel.StandardChannelIntFactory.createAny2Any()
Constructs and returns anAny2AnyChannelInt
object.StandardChannelIntFactory.createAny2Any
(int n) Constructs and returns an array ofAny2AnyChannelInt
objects.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.Methods in org.jcsp.lang with parameters of type Any2AnyChannelIntModifier and TypeMethodDescriptionstatic SharedChannelInputInt[]
Channel.getInputArray
(Any2AnyChannelInt[] c) This extracts the input-ends from the given channel array.static SharedChannelInputInt[]
ChannelInt.getInputArray
(Any2AnyChannelInt[] c) Deprecated.Constructs and returns an array of input channel ends, each of which can be shared by multiple concurrent readers.static SharedChannelOutputInt[]
Channel.getOutputArray
(Any2AnyChannelInt[] c) This extracts the output-ends from the given channel array.static SharedChannelOutputInt[]
ChannelInt.getOutputArray
(Any2AnyChannelInt[] c) Deprecated.Constructs and returns an array of output channel ends, each of which can be shared by multiple concurrent writers.