|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Poisonable | |
---|---|
org.jcsp.lang | This provides classes and interfaces corresponding to the fundamental primitives of CSP. |
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 | |
---|---|
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 see PoisonException . It remains only because it is used by some of the networking features. |
interface |
RejectableChannelOutput
Deprecated. This channel is superceded by the poison mechanisms, please see PoisonException . It remains only because it is used by some of the networking features. |
interface |
SharedChannelInput<T>
This is the same as ChannelInput except that it is guaranteed
safe to pass on to more than one internal process for parallel reading. |
interface |
SharedChannelInputInt
This is the same as ChannelInputInt 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 as ChannelOutput except that it is guaranteed
safe to pass on to more than one internal process for parallel writing. |
interface |
SharedChannelOutputInt
This is the same as ChannelOutputInt 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 | |
---|---|
class |
AltingChannelInput<T>
This extends Guard and ChannelInput
to enable a process to choose between many object input (and other) events. |
class |
AltingChannelInputInt
This extends Guard and ChannelInputInt
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. Note that usually you do not need the absolute guarantee that this class provides - you can usually just cast the channel to an AltingChannelInput, which prevents you from accidentally writing to the channel. This class mainly exists for use by some of the org.jcsp.net classes, where the absolute guarantee that you cannot write to it is important. |
class |
AltingChannelOutput<T>
This extends Guard and ChannelOutput
to enable a process
to choose between many integer output (and other) events. |
class |
AltingChannelOutputInt
This extends Guard and ChannelOutputInt
to enable a process
to choose between many integer output (and other) events. |
class |
BlackHoleChannel
This implements ChannelOutput with black hole semantics. |
class |
BlackHoleChannelInt
This implements ChannelOutputInt 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 see PoisonException |
Uses of Poisonable in org.jcsp.net.dynamic |
---|
Subinterfaces of Poisonable in org.jcsp.net.dynamic | |
---|---|
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 | |
---|---|
class |
MigratableAltingChannelInput
A migratable input channel end that can be used as a guard within an Alternative . |
Uses of Poisonable in org.jcsp.net2 |
---|
Subinterfaces of Poisonable in org.jcsp.net2 | |
---|---|
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 | |
---|---|
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 | |
---|---|
class |
MobileChannelInput
|
class |
MobileChannelOutput
|
Uses of Poisonable in org.jcsp.util.filter |
---|
Subinterfaces of Poisonable in org.jcsp.util.filter | |
---|---|
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 | |
---|---|
class |
FilteredAltingChannelInput
Implements an AltingChannelInput channel end that also supports read filters. |
class |
FilteredSharedChannelInputWrapper
This is wrapper for a SharedChannelInput that adds
read filtering. |
class |
FilteredSharedChannelOutputWrapper
This is wrapper for a SharedChannelOutput that adds
write filtering. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |