jcsp.lang
Class AltingChannelInt

java.lang.Object
  |
  +--jcsp.lang.Guard
        |
        +--jcsp.lang.AltingChannelInputInt
              |
              +--jcsp.lang.AltingChannelInt

All Implemented Interfaces:

ChannelInputInt, ChannelInt, ChannelOutputInt

Direct Known Subclasses:

Any2OneChannelInt, One2OneChannelInt

public abstract class AltingChannelInt

extends AltingChannelInputInt

implements ChannelInt

This defines the interface to integer channels for reading, writing and choosing between multiple inputs (and other events).

Description

The AltingChannelInt abstract class defines the interface to integer channels for reading, writing and choosing between multiple inputs (and other events). No new methods are introduced here. The choice support methods inherited from AltingChannelInputInt are of no concern to users of this package.

Author:

P.D.Austin

See Also:

Alternative

Constructor Summary

AltingChannelInt()

Methods inherited from class jcsp.lang.AltingChannelInputInt

pending

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface jcsp.lang.ChannelInputInt

read

Methods inherited from interface jcsp.lang.ChannelOutputInt

write

Constructor Detail

AltingChannelInt

public AltingChannelInt()