org.jcsp.util.filter
public class FilteredChannelEndFactory extends Object
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 . |
Modifier and Type | Method 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.
|
FilteredChannelOutput |
createFiltered(ChannelOutput out)
Creates a new filtered channel output end around an existing channel end.
|
FilteredSharedChannelInput |
createFiltered(SharedChannelInput in)
Creates a new filtered channel input end around an existing channel end.
|
FilteredSharedChannelOutput |
createFiltered(SharedChannelOutput out)
Creates a new filtered channel output end around an existing channel end.
|
public FilteredChannelEndFactory()
FilteredChannelEndFactory
.public FilteredAltingChannelInput createFiltered(AltingChannelInput in)
Alternative
.in
- the existing channel end.public FilteredChannelInput createFiltered(ChannelInput in)
in
- the existing channel end.public FilteredSharedChannelInput createFiltered(SharedChannelInput in)
in
- the existing channel end.public FilteredChannelOutput createFiltered(ChannelOutput out)
out
- the existing channel end.public FilteredSharedChannelOutput createFiltered(SharedChannelOutput out)
out
- the existing channel end.Submit a bug or feature to jcsp-team@kent.ac.uk
Version 1.1-rc4 of the JCSP API Specification (Copyright 1997-2008 P.D.Austin and P.H.Welch - All Rights Reserved)
Java is a trademark or registered trademark of Sun Microsystems, Inc. in the US and other countries.