jcsp.lang
Interface ChannelInt

All Superinterfaces:

ChannelInputInt, ChannelOutputInt

All Known Implementing Classes:

AltingChannelInt, Any2AnyChannelInt, One2AnyChannelInt

public interface ChannelInt

extends ChannelInputInt, ChannelOutputInt

This defines the interface for reading and writing integer channels.

Description

ChannelInt defines the interface for reading and writing integer channels. It just combines the ChannelInputInt and ChannelOutputInt interfaces.

It is included for completeness. Usually, when needing a channel interface, we will know whether it's to be used for input or output and, therefore, should use the restricted interface rather than this one.

Author:

P.D.Austin

See Also:

ChannelInputInt, ChannelOutputInt

Methods inherited from interface jcsp.lang.ChannelInputInt

read

Methods inherited from interface jcsp.lang.ChannelOutputInt

write