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 and description |
---|
FilteredChannelEndFactory
() Constructs a new FilteredChannelEndFactory . |
Type | Name and description |
---|---|
FilteredAltingChannelInput |
createFiltered(AltingChannelInput in) Creates a new filtered channel input end around an existing channel end. |
FilteredChannelInput |
createFiltered(ChannelInput in) Creates a new filtered channel input end around an existing channel end. |
FilteredSharedChannelInput |
createFiltered(SharedChannelInput in) Creates a new filtered channel input end around an existing channel end. |
FilteredChannelOutput |
createFiltered(ChannelOutput out) Creates a new filtered channel output end around an existing channel end. |
FilteredSharedChannelOutput |
createFiltered(SharedChannelOutput out) Creates a new filtered channel output end around an existing channel end. |
Creates a new filtered channel input end around an existing channel end. The created channel end
can be used as a guard in an Alternative
.
in
- the existing channel end.Creates a new filtered channel input end around an existing channel end.
in
- the existing channel end.Creates a new filtered channel input end around an existing channel end. The created channel end can be shared by multiple processes.
in
- the existing channel end.Creates a new filtered channel output end around an existing channel end.
out
- the existing channel end.Creates a new filtered channel output end around an existing channel end. The created channel end can be shared by multiple processes.
out
- the existing channel end.JCSP for Java 1.8 generated 14-10-2016 by Jon Kerridge, Edinburgh Napier University - j dot kerridge at napier dot ac dot uk