public abstract class NetAltingChannelInput extends AltingChannelInputWrapper
A NetChannelInput that may be used as a guard. This class describes the abstract interface of such a channel. To create an instance of this class, use the standard NetChannel factory, or the CNS. For information on the usage of this object, see AltingChannelInput
Constructor and description |
---|
protected NetAltingChannelInput
(AltingChannelInput in) Creates a new NetAltingChannelInput, with the given channel as the guard |
Methods inherited from class | Name |
---|---|
class AltingChannelInputWrapper |
endRead, getChannel, pending, poison, read, setChannel, startRead |
class AltingChannelInput |
pending |
class Guard |
schedule |
Creates a new NetAltingChannelInput, with the given channel as the guard
in
- The channel that is used within the alternativeJCSP for Java 1.8 generated 14-10-2016 by Jon Kerridge, Edinburgh Napier University - j dot kerridge at napier dot ac dot uk