public abstract class MigratableAltingChannelInput extends NetAltingChannelInput
A migratable input channel end that can be used as a guard within an Alternative
.
Constructor and description |
---|
protected MigratableAltingChannelInput
(NetAltingChannelInput channel) Constructs a new MigratableAltingChannelInput for the underlying channel. |
protected MigratableAltingChannelInput
() Constructs a new MigratableAltingChannelInput . |
Constructs a new MigratableAltingChannelInput
for the underlying channel.
channel
- the underlying channel. Constructs a new MigratableAltingChannelInput
.
JCSP for Java 1.8 generated 14-10-2016 by Jon Kerridge, Edinburgh Napier University - j dot kerridge at napier dot ac dot uk