|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface FilteredChannelInput
Interface for a channel input end that supports filtering operations.
| Method Summary |
|---|
| Methods inherited from interface org.jcsp.lang.ChannelInput |
|---|
endRead, read, startRead |
| Methods inherited from interface org.jcsp.lang.Poisonable |
|---|
poison |
| Methods inherited from interface org.jcsp.util.filter.ReadFiltered |
|---|
addReadFilter, addReadFilter, getReadFilter, getReadFilterCount, removeReadFilter, removeReadFilter |
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||