Uses of Interface
org.jcsp.lang.SharedChannelInput
-
Packages that use SharedChannelInput Package Description org.jcsp.lang This provides classes and interfaces corresponding to the fundamental primitives of CSP.org.jcsp.net This is main package for JCSP.NET.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 Modifier and Type Method Description 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.net
Subinterfaces of SharedChannelInput in org.jcsp.net Modifier and Type Interface Description interface
NetSharedChannelInput
This interface should be implemented by classes that wish to act asNetChannelInput
objects which can be used by muliple concurrent processes. -
Uses of SharedChannelInput in org.jcsp.net2
Subinterfaces of SharedChannelInput in org.jcsp.net2 Modifier and Type Interface Description 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 Modifier and Type Interface Description 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 Modifier and Type Class Description class
FilteredSharedChannelInputWrapper
This is wrapper for aSharedChannelInput
that adds read filtering.Methods in org.jcsp.util.filter with parameters of type SharedChannelInput Modifier and Type Method Description 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.FilteredSharedChannelInput
FilteredChannelEndFactory. createFiltered(SharedChannelInput in)
Creates a new filtered channel input end around an existing channel end.Constructors in org.jcsp.util.filter with parameters of type SharedChannelInput Constructor Description FilteredSharedChannelInputWrapper(SharedChannelInput in)
Constructs a new wrapper for the given channel input end.
-