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 anAlternative
.(package private) class
MigratableAltingChannelInputImpl
Implements a migratable input channel end that can be used in anAlternative
.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 theactualIn
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 anAltingChannelInput
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 aSharedChannelInput
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.
-