org.jcsp.nxt.lang
Class AltingChannelInputInt

java.lang.Object
  org.jcsp.nxt.lang.Guard
      org.jcsp.nxt.lang.AltingChannelInputInt

All Implemented Interfaces:

ChannelInputInt

Direct Known Subclasses:

One2OneChannelIntImpl

public abstract class AltingChannelInputInt
extends Guard
implements ChannelInputInt

This extends Guard and ChannelInputInt to enable a process to choose between many integer input (and other) events.

Description

AltingChannelInputInt extends Guard and ChannelInputInt to enable a process to choose between many integer input (and other) events. The methods inherited from Guard are of no concern to users of this package.

Author:

P.D.Austin, P.H.Welch, Alex Panayotopoulos

See Also:

Guard, Alternative

Constructor Summary

AltingChannelInputInt()

Method Summary

abstract boolean

pending() Returns whether there is data pending on this channel.

Methods inherited from class org.jcsp.nxt.lang.Guard

disable, enable

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.jcsp.nxt.lang.ChannelInputInt

read

Constructor Detail

AltingChannelInputInt

public AltingChannelInputInt()

Method Detail

pending

public abstract boolean pending()

Returns whether there is data pending on this channel.

Note: if there is, it won't go away until you read it. But if there isn't, there may be some by the time you check the result of this method.

Returns:

state of the channel.