FilteredChannelOutput

All Superinterfaces:: ChannelOutput, Poisonable, WriteFiltered

All Known Subinterfaces:: FilteredSharedChannelOutput, MigratableChannelOutput

All Known Implementing Classes:: FilteredChannelOutputWrapper, FilteredSharedChannelOutputWrapper, MigratableChannelOutputImpl

public interface FilteredChannelOutput extends ChannelOutput, WriteFiltered

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