Uses of Interface
org.jcsp.lang.SharedChannelInput

Packages that use SharedChannelInput

org.jcsp.lang	This provides classes and interfaces corresponding to the fundamental primitives of CSP.
org.jcsp.net2
org.jcsp.util.filter	This defines filtering channels that can apply transformations to objects as they are read and/or written.

Uses of SharedChannelInput in org.jcsp.lang

Methods in org.jcsp.lang that return SharedChannelInput

static <T> SharedChannelInput<T>[]	Channel.getInputArray(Any2AnyChannel<T>[] c) This extracts the input-ends from the given channel array.
static <T> SharedChannelInput<T>[]	Channel.getInputArray(One2AnyChannel<T>[] c) This extracts the input-ends from the given channel array.
SharedChannelInput<T>	Any2AnyChannel.in() Returns the input end of the channel.
SharedChannelInput<T>	One2AnyChannel.in() Returns the input end of the channel.

Uses of SharedChannelInput in org.jcsp.net2

Subinterfaces of SharedChannelInput in org.jcsp.net2

interface

NetSharedChannelInput<T> Defines a networked ChannelInput that is safe to be used by multiple concurrent processes.

Uses of SharedChannelInput in org.jcsp.util.filter

Subinterfaces of SharedChannelInput in org.jcsp.util.filter

interface

FilteredSharedChannelInput Interface for a channel input end that supports filtering and can be shared by multiple processes.

Classes in org.jcsp.util.filter that implement SharedChannelInput

class

FilteredSharedChannelInputWrapper This is wrapper for a SharedChannelInput that adds read filtering.

Methods in org.jcsp.util.filter with parameters of type SharedChannelInput

FilteredSharedChannelInput	FilteredChannelEndFactory.createFiltered(SharedChannelInput in) Creates a new filtered channel input end around an existing channel end.
static FilteredSharedChannelInput	FilteredChannelEnd.createFiltered(SharedChannelInput in) Creates a new filtered input channel end around an existing input channel end that can be shared by multiple processes.

Constructors in org.jcsp.util.filter with parameters of type SharedChannelInput

FilteredSharedChannelInputWrapper(SharedChannelInput in)
Constructs a new wrapper for the given channel input end.