Uses of Interface
org.jcsp.util.filter.FilteredChannelInput

Packages that use FilteredChannelInput

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

Modifier and Type	Interface	Description
interface	MigratableChannelInput	A migratable networked input channel end.

Classes in org.jcsp.net.dynamic that implement FilteredChannelInput

Modifier and Type	Class	Description
class	MigratableAltingChannelInput	A migratable input channel end that can be used as a guard within an Alternative.
(package private) class	MigratableAltingChannelInputImpl	Implements a migratable input channel end that can be used in an Alternative.

Fields in org.jcsp.net.dynamic declared as FilteredChannelInput

Modifier and Type	Field	Description
private FilteredChannelInput	MigratableAltingChannelInputImpl.filteredIn	A filtered channel input wrapper that wraps the actualIn channel.

Uses of FilteredChannelInput in org.jcsp.util.filter

Subinterfaces of FilteredChannelInput 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 FilteredChannelInput

Modifier and Type	Class	Description
class	FilteredAltingChannelInput	Implements an AltingChannelInput channel end that also supports read filters.
(package private) class	FilteredChannelInputWrapper	Wrapper for an input channel end to include read filtering functionality.
class	FilteredSharedChannelInputWrapper	This is wrapper for a SharedChannelInput that adds read filtering.

Methods in org.jcsp.util.filter that return FilteredChannelInput

Modifier and Type	Method	Description
static FilteredChannelInput	FilteredChannelEnd.createFiltered(ChannelInput in)	Creates a new filtered input channel end around an existing input channel end.
FilteredChannelInput	FilteredChannelEndFactory.createFiltered(ChannelInput in)	Creates a new filtered channel input end around an existing channel end.