org.jcsp.lang
Interface SharedChannelInputInt

All Superinterfaces:

ChannelInputInt, Poisonable

public interface SharedChannelInputInt
extends ChannelInputInt

This is the same as ChannelInputInt except that it is guaranteed safe to pass on to more than one internal process for parallel reading.

A reading-end, obtained from a one-any or any-any channel by invoking its in() method, will implement this interface.

Author:

Quickstone Technologies Limited

Method Summary

Methods inherited from interface org.jcsp.lang.ChannelInputInt

endRead, read, startRead

Methods inherited from interface org.jcsp.lang.Poisonable

poison