|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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
|
Channel.getInputArray(Any2AnyChannel<T>[] c)
This extracts the input-ends from the given channel array. |
|
static
|
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |