Package org.jcsp.util.filter
Interface FilteredChannelOutput
- All Superinterfaces:
ChannelOutput
,Poisonable
,WriteFiltered
- All Known Subinterfaces:
FilteredSharedChannelOutput
,MigratableChannelOutput
- All Known Implementing Classes:
FilteredChannelOutputWrapper
,FilteredSharedChannelOutputWrapper
,MigratableChannelOutputImpl
Interface for a channel output end that supports write filtering operations.
-
Method Summary
Methods inherited from interface org.jcsp.lang.ChannelOutput
write
Methods inherited from interface org.jcsp.lang.Poisonable
poison
Methods inherited from interface org.jcsp.util.filter.WriteFiltered
addWriteFilter, addWriteFilter, getWriteFilter, getWriteFilterCount, removeWriteFilter, removeWriteFilter