Uses of Class
org.jcsp.lang.AltingChannelInputWrapper
-
Packages that use AltingChannelInputWrapper Package Description org.jcsp.net This is main package for JCSP.NET.org.jcsp.net.dynamic Supports dynamic operations over the JCSP.NET infrastructure.org.jcsp.net2 org.jcsp.util.filter This defines filtering channels that can apply transformations to objects as they are read and/or written. -
-
Uses of AltingChannelInputWrapper in org.jcsp.net
Subclasses of AltingChannelInputWrapper in org.jcsp.net Modifier and Type Class Description (package private) class
Net2OneChannel
A channel for network input (RX).class
NetAltingChannelInput
An abstract class that is sub-classed by classes whose instances should be networked channel ends that can be used as an
objects.AltingChannelInput
-
Uses of AltingChannelInputWrapper in org.jcsp.net.dynamic
Subclasses of AltingChannelInputWrapper in org.jcsp.net.dynamic Modifier and Type Class Description class
MigratableAltingChannelInput
A migratable input channel end that can be used as a guard within anAlternative
.(package private) class
MigratableAltingChannelInputImpl
Implements a migratable input channel end that can be used in anAlternative
. -
Uses of AltingChannelInputWrapper in org.jcsp.net2
Subclasses of AltingChannelInputWrapper in org.jcsp.net2 Modifier and Type Class Description (package private) class
Net2OneChannel<T>
A concrete implementation of a NetAltingChannelInput.class
NetAltingChannelInput<T>
A NetChannelInput that may be used as a guard. -
Uses of AltingChannelInputWrapper in org.jcsp.util.filter
Subclasses of AltingChannelInputWrapper in org.jcsp.util.filter Modifier and Type Class Description class
FilteredAltingChannelInput
Implements anAltingChannelInput
channel end that also supports read filters.
-