|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
| 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 |
|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||