Uses of Interface
org.jcsp.lang.Poisonable
-
Packages that use Poisonable Package Description org.jcsp.lang This provides classes and interfaces corresponding to the fundamental primitives of CSP.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.net2.mobile org.jcsp.util.filter This defines filtering channels that can apply transformations to objects as they are read and/or written. -
-
Uses of Poisonable in org.jcsp.lang
Subinterfaces of Poisonable in org.jcsp.lang Modifier and Type Interface Description interface
ChannelInput<T>
This defines the interface for reading from an Object channel.interface
ChannelInputInt
This defines the interface for reading from object channels.interface
ChannelOutput<T>
This defines the interface for writing to object channels.interface
ChannelOutputInt
This defines the interface for writing to integer channels.interface
RejectableChannelInput
Deprecated.This channel is superceded by the poison mechanisms, please seePoisonException
.interface
RejectableChannelOutput
Deprecated.This channel is superceded by the poison mechanisms, please seePoisonException
.interface
SharedChannelInput<T>
This is the same asChannelInput
except that it is guaranteed safe to pass on to more than one internal process for parallel reading.interface
SharedChannelInputInt
This is the same asChannelInputInt
except that it is guaranteed safe to pass on to more than one internal process for parallel reading.interface
SharedChannelOutput<T>
This is the same asChannelOutput
except that it is guaranteed safe to pass on to more than one internal process for parallel writing.interface
SharedChannelOutputInt
This is the same asChannelOutputInt
except that it is guaranteed safe to pass on to more than one internal process for parallel writing.Classes in org.jcsp.lang that implement Poisonable Modifier and Type Class Description class
AltingChannelInput<T>
This extendsGuard
andChannelInput
to enable a process to choose between many object input (and other) events.class
AltingChannelInputInt
This extendsGuard
andChannelInputInt
to enable a process to choose between many integer input (and other) events.class
AltingChannelInputWrapper<T>
Deprecated.There is no longer any need to use this class, after the 1.1 class reorganisation.class
AltingChannelOutput<T>
This extendsGuard
andChannelOutput
to enable a process to choose between many integer output (and other) events.class
AltingChannelOutputInt
This extendsGuard
andChannelOutputInt
to enable a process to choose between many integer output (and other) events.class
BlackHoleChannel
This implementsChannelOutput
with black hole semantics.class
BlackHoleChannelInt
This implementsChannelOutputInt
with black hole semantics.class
ChannelInputWrapper
Deprecated.There is no longer any need to use this class, after the 1.1 class reorganisation.class
ChannelOutputWrapper
Deprecated.There is no longer any need to use this class, after the 1.1 class reorganisation.class
RejectableAltingChannelInput
Deprecated.This channel is superceded by the poison mechanisms, please seePoisonException
-
Uses of Poisonable in org.jcsp.net
Subinterfaces of Poisonable in org.jcsp.net Modifier and Type Interface Description interface
NetChannelInput
An interface implemented by classes wishing to be NetworkedChannelInput
objects.interface
NetChannelOutput
An interface that should be implemented byChannelOutput
objects which are used for transmitting over the network.interface
NetSharedChannelInput
This interface should be implemented by classes that wish to act asNetChannelInput
objects which can be used by muliple concurrent processes.interface
NetSharedChannelOutput
This interface should be implemented by classes that wish to act asNetChannelOutput
objects which can be used by muliple concurrent processes.Classes in org.jcsp.net that implement Poisonable Modifier and Type Class Description 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 Poisonable in org.jcsp.net.dynamic
Subinterfaces of Poisonable in org.jcsp.net.dynamic Modifier and Type Interface Description interface
MigratableChannelInput
A migratable networked input channel end.interface
MigratableChannelOutput
A migratable networked channel output end.Classes in org.jcsp.net.dynamic that implement Poisonable Modifier and Type Class Description class
MigratableAltingChannelInput
A migratable input channel end that can be used as a guard within anAlternative
. -
Uses of Poisonable in org.jcsp.net2
Subinterfaces of Poisonable in org.jcsp.net2 Modifier and Type Interface Description interface
NetChannelInput<T>
This interface defines a ChannelInput that is also networked.interface
NetChannelOutput<T>
An interface defining a ChannelOutput that is networked.interface
NetSharedChannelInput<T>
Defines a networked ChannelInput that is safe to be used by multiple concurrent processes.interface
NetSharedChannelOutput<T>
Defines a networked ChannelOutput that is safe to be used by multiple concurrent processes.Classes in org.jcsp.net2 that implement Poisonable Modifier and Type Class Description class
NetAltingChannelInput<T>
A NetChannelInput that may be used as a guard. -
Uses of Poisonable in org.jcsp.net2.mobile
Classes in org.jcsp.net2.mobile that implement Poisonable Modifier and Type Class Description class
MobileChannelInput
class
MobileChannelOutput
-
Uses of Poisonable in org.jcsp.util.filter
Subinterfaces of Poisonable in org.jcsp.util.filter Modifier and Type Interface Description interface
FilteredChannelInput
Interface for a channel input end that supports filtering operations.interface
FilteredChannelOutput
Interface for a channel output end that supports write filtering operations.interface
FilteredSharedChannelInput
Interface for a channel input end that supports filtering and can be shared by multiple processes.interface
FilteredSharedChannelOutput
Interface for an output channel end that supports filtering operations and can be shared by multiple concurrent processes.Classes in org.jcsp.util.filter that implement Poisonable Modifier and Type Class Description class
FilteredAltingChannelInput
Implements anAltingChannelInput
channel end that also supports read filters.class
FilteredSharedChannelInputWrapper
This is wrapper for aSharedChannelInput
that adds read filtering.class
FilteredSharedChannelOutputWrapper
This is wrapper for aSharedChannelOutput
that adds write filtering.
-