Package org.jcsp.util.filter
Class FilteredChannelEndFactory
java.lang.Object
org.jcsp.util.filter.FilteredChannelEndFactory
Factory for creating filtered channel ends around existing channel ends.
An instance of this class can be created and used, or alternatively the static factory
FilteredChannelEnd
may be more convenient.
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionCreates a new filtered channel input end around an existing channel end.Creates a new filtered channel input end around an existing channel end.Creates a new filtered channel output end around an existing channel end.Creates a new filtered channel input end around an existing channel end.Creates a new filtered channel output end around an existing channel end.
-
Constructor Details
-
FilteredChannelEndFactory
public FilteredChannelEndFactory()Constructs a newFilteredChannelEndFactory
.
-
-
Method Details
-
createFiltered
Creates a new filtered channel input end around an existing channel end. The created channel end can be used as a guard in anAlternative
.- Parameters:
in
- the existing channel end.- Returns:
- the created channel end.
-
createFiltered
Creates a new filtered channel input end around an existing channel end.- Parameters:
in
- the existing channel end.- Returns:
- the created channel end.
-
createFiltered
Creates a new filtered channel output end around an existing channel end.- Parameters:
out
- the existing channel end.- Returns:
- the created channel end.
-