Class MigratableAltingChannelInput

java.lang.Object
org.jcsp.lang.Guard
org.jcsp.lang.AltingChannelInput
org.jcsp.lang.AltingChannelInputWrapper
org.jcsp.net.NetAltingChannelInput
org.jcsp.net.dynamic.MigratableAltingChannelInput
All Implemented Interfaces:
Serializable, ChannelInput, Poisonable, MigratableChannelInput, NetChannelInput, Networked, FilteredChannelInput, ReadFiltered
Direct Known Subclasses:
MigratableAltingChannelInputImpl
public abstract class MigratableAltingChannelInput extends NetAltingChannelInput implements MigratableChannelInput, FilteredChannelInput, Serializable
A migratable input channel end that can be used as a guard within an Alternative.
See Also:

  • Constructor Details

    • MigratableAltingChannelInput

      protected MigratableAltingChannelInput(NetAltingChannelInput channel)
      Constructs a new MigratableAltingChannelInput for the underlying channel.
      Parameters:
      channel - the underlying channel.

    • MigratableAltingChannelInput

      protected MigratableAltingChannelInput()
      Constructs a new MigratableAltingChannelInput.