Package org.jcsp.util.filter
Class FilteredChannelEnd
java.lang.Object
org.jcsp.util.filter.FilteredChannelEnd
Static factory for creating channel end wrappers that support filtering.
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate static final FilteredChannelEndFactory
The default factory for creating the channel ends. -
Constructor Summary
ConstructorsModifierConstructorDescriptionprivate
Private constructor to prevent any instances of this static factory from being created. -
Method Summary
Modifier and TypeMethodDescriptionstatic FilteredAltingChannelInput
Creates a new filtered input channel end around an existing input channel end.static FilteredChannelInput
Creates a new filtered input channel end around an existing input channel end.static FilteredChannelOutput
Creates a new filtered output channel end around an existing output channel end.static FilteredSharedChannelInput
Creates a new filtered input channel end around an existing input channel end that can be shared by multiple processes.static FilteredSharedChannelOutput
Creates a new filtered output channel end around an existing output channel end that can be shared by multiple processes.
-
Field Details
-
factory
The default factory for creating the channel ends.
-
-
Constructor Details
-
FilteredChannelEnd
private FilteredChannelEnd()Private constructor to prevent any instances of this static factory from being created.
-
-
Method Details
-
createFiltered
Creates a new filtered input channel end around an existing input channel end. The channel end can be used as a guard in anAlternative
.- Parameters:
in
- the existing channel end to create a filtered form of.- Returns:
- the new channel end with filtering ability.
-
createFiltered
Creates a new filtered input channel end around an existing input channel end.- Parameters:
in
- the existing channel end to create a filtered form of.- Returns:
- the new channel end with filtering ability.
-
createFiltered
Creates a new filtered output channel end around an existing output channel end.- Parameters:
out
- the existing channel end to create a filtered form of.
-