public interface Filter
ReadFiltered
or WriteFiltered
interface which
allows instances of Filter
to be installed or removed from the channel.FilteredChannel
,
FilteredChannelEnd
,
ReadFiltered
,
WriteFiltered
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
filter(java.lang.Object obj)
Applies the filter operation.
|
java.lang.Object filter(java.lang.Object obj)
obj
- the original object in the channel communication.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.