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) classThis implements an any-to-any integer channel, safe for use by many writers and many readers.(package private) class(package private) classThis 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) classMethods in org.jcsp.lang that return Any2AnyChannelIntModifier and TypeMethodDescriptionstatic Any2AnyChannelIntChannel.any2anyInt()This constructs an integer carrying channel that may be connected to any number of writer processes and any number of reader processes.static Any2AnyChannelIntChannel.any2anyInt(int immunity) This constructs a poisonable any-any integer channel.static Any2AnyChannelIntChannel.any2anyInt(ChannelDataStoreInt buffer) This constructs an any-any integer channel with user chosen buffering size and policy.static Any2AnyChannelIntChannel.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 ofnAny2Anychannels with the specified buffering behaviour.BufferedChannelIntFactory.createAny2Any(ChannelDataStoreInt buffer) Deprecated.Creates a newAny2Anychannel with the given buffering behaviour.static Any2AnyChannelIntChannelInt.createAny2Any()Deprecated.Constructs and returns anAny2AnyChannelIntobject.static Any2AnyChannelInt[]ChannelInt.createAny2Any(int n) Deprecated.Constructs and returns an array ofAny2AnyChannelIntobjects.static Any2AnyChannelIntChannelInt.createAny2Any(ChannelDataStoreInt buffer) Deprecated.Constructs and returns aAny2AnyChannelIntobject which uses the specifiedChannelDataStoreIntobject as a buffer.static Any2AnyChannelInt[]ChannelInt.createAny2Any(ChannelDataStoreInt buffer, int n) Deprecated.Constructs and returns an array ofAny2AnyChannelIntobjects which use the specifiedChannelDataStoreIntobject as a buffer.ChannelIntArrayFactory.createAny2Any(int n) Deprecated.Creates a populated array ofnAny2Anychannels.ChannelIntFactory.createAny2Any()Deprecated.Creates a newAny2Anychannel.StandardChannelIntFactory.createAny2Any()Constructs and returns anAny2AnyChannelIntobject.StandardChannelIntFactory.createAny2Any(int n) Constructs and returns an array ofAny2AnyChannelIntobjects.StandardChannelIntFactory.createAny2Any(ChannelDataStoreInt buffer) Constructs and returns aAny2AnyChannelIntobject which uses the specifiedChannelDataStoreIntobject as a buffer.StandardChannelIntFactory.createAny2Any(ChannelDataStoreInt buffer, int n) Constructs and returns an array ofAny2AnyChannelIntobjects which use the specifiedChannelDataStoreIntobject 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.