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