Uses of Interface
org.jcsp.lang.SharedChannelInputInt
Packages that use SharedChannelInputInt
Package
Description
This provides classes and interfaces corresponding to the fundamental
primitives of CSP.
-
Uses of SharedChannelInputInt in org.jcsp.lang
Classes in org.jcsp.lang that implement SharedChannelInputIntMethods in org.jcsp.lang that return SharedChannelInputIntModifier and TypeMethodDescriptionstatic SharedChannelInputInt[]
Channel.getInputArray
(Any2AnyChannelInt[] c) This extracts the input-ends from the given channel array.static SharedChannelInputInt[]
Channel.getInputArray
(One2AnyChannelInt[] 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 SharedChannelInputInt[]
ChannelInt.getInputArray
(One2AnyChannelInt[] c) Deprecated.Constructs and returns an array of input channel ends, each of which can be shared by multiple concurrent readers.Any2AnyChannelInt.in()
Returns the input channel end.Any2AnyIntImpl.in()
One2AnyChannelInt.in()
Returns the input end of the channel.One2AnyIntImpl.in()