org.jcsp.util.filter
Interface FilteredChannelOutput

All Superinterfaces:

ChannelOutput, Poisonable, WriteFiltered

All Known Subinterfaces:

FilteredSharedChannelOutput, MigratableChannelOutput

All Known Implementing Classes:

FilteredSharedChannelOutputWrapper

public interface FilteredChannelOutput
extends ChannelOutput, WriteFiltered

Interface for a channel output end that supports write filtering operations.

Author:

Quickstone Technologies Limited

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