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()