|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use FilteredChannelInput | |
---|---|
org.jcsp.net.dynamic | Supports dynamic operations over the JCSP.NET infrastructure. |
org.jcsp.util.filter | This defines filtering channels that can apply transformations to objects as they are read and/or written. |
Uses of FilteredChannelInput in org.jcsp.net.dynamic |
---|
Subinterfaces of FilteredChannelInput in org.jcsp.net.dynamic | |
---|---|
interface |
MigratableChannelInput
A migratable networked input channel end. |
Classes in org.jcsp.net.dynamic that implement FilteredChannelInput | |
---|---|
class |
MigratableAltingChannelInput
A migratable input channel end that can be used as a guard within an Alternative . |
Uses of FilteredChannelInput in org.jcsp.util.filter |
---|
Subinterfaces of FilteredChannelInput 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 FilteredChannelInput | |
---|---|
class |
FilteredAltingChannelInput
Implements an AltingChannelInput channel end that also supports read filters. |
class |
FilteredSharedChannelInputWrapper
This is wrapper for a SharedChannelInput that adds
read filtering. |
Methods in org.jcsp.util.filter that return FilteredChannelInput | |
---|---|
FilteredChannelInput |
FilteredChannelEndFactory.createFiltered(ChannelInput in)
Creates a new filtered channel input end around an existing channel end. |
static FilteredChannelInput |
FilteredChannelEnd.createFiltered(ChannelInput in)
Creates a new filtered input channel end around an existing input channel end. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |