Uses of Interface
org.jcsp.util.filter.FilteredChannelInput
Packages that use FilteredChannelInput
Package
Description
Supports dynamic operations over the JCSP.NET infrastructure.
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.dynamicModifier and TypeInterfaceDescriptioninterface
A migratable networked input channel end.Classes in org.jcsp.net.dynamic that implement FilteredChannelInputModifier and TypeClassDescriptionclass
A migratable input channel end that can be used as a guard within anAlternative
.(package private) class
Implements a migratable input channel end that can be used in anAlternative
.Fields in org.jcsp.net.dynamic declared as FilteredChannelInputModifier and TypeFieldDescriptionprivate FilteredChannelInput
MigratableAltingChannelInputImpl.filteredIn
A filtered channel input wrapper that wraps theactualIn
channel. -
Uses of FilteredChannelInput in org.jcsp.util.filter
Subinterfaces of FilteredChannelInput in org.jcsp.util.filterModifier and TypeInterfaceDescriptioninterface
Interface for a channel input end that supports filtering and can be shared by multiple processes.Classes in org.jcsp.util.filter that implement FilteredChannelInputModifier and TypeClassDescriptionclass
Implements anAltingChannelInput
channel end that also supports read filters.(package private) class
Wrapper for an input channel end to include read filtering functionality.class
This is wrapper for aSharedChannelInput
that adds read filtering.Methods in org.jcsp.util.filter that return FilteredChannelInputModifier and TypeMethodDescriptionstatic FilteredChannelInput
FilteredChannelEnd.createFiltered
(ChannelInput in) Creates a new filtered input channel end around an existing input channel end.FilteredChannelEndFactory.createFiltered
(ChannelInput in) Creates a new filtered channel input end around an existing channel end.