Uses of Class
org.jcsp.lang.Alternative
Packages that use Alternative
Package
Description
This provides CSP extensions for all AWT
Component
components:
GUI events and widget configurations map to channel communications.This provides classes and interfaces corresponding to the fundamental
primitives of CSP.
This is main package for JCSP.NET.
-
Uses of Alternative in org.jcsp.awt
Fields in org.jcsp.awt declared as Alternative -
Uses of Alternative in org.jcsp.lang
Fields in org.jcsp.lang declared as AlternativeModifier and TypeFieldDescriptionprivate Alternative
AltingBarrier.alt
The process offering this barrier (protected by the base monitor).private Alternative
BufferedOne2OneChannel.alt
private Alternative
BufferedOne2OneChannelIntImpl.alt
The Alternative class that controls the selectionprivate Alternative
InlineAlternative.alt
If used as a top level ALT, the work will be delegated to thisprivate Alternative
One2OneChannelImpl.alt
The Alternative class that controls the selectionprivate Alternative
One2OneChannelIntImpl.alt
The Alternative class that controls the selectionprivate Alternative
PoisonableBufferedOne2OneChannel.alt
private Alternative
PoisonableBufferedOne2OneChannelInt.alt
private Alternative
PoisonableOne2OneChannelImpl.alt
The Alternative class that controls the selectionprivate Alternative
PoisonableOne2OneChannelIntImpl.alt
The Alternative class that controls the selectionprivate Alternative
AltingBarrier.pollAlt
Used to support theinvalid reference
sync
private Alternative
AltingBarrier.singleAlt
Used to support the
method.sync
Methods in org.jcsp.lang with parameters of type AlternativeModifier and TypeMethodDescription(package private) boolean
AltingBarrier.enable
(Alternative a) (package private) boolean
AltingChannelInputImpl.enable
(Alternative alt) (package private) boolean
AltingChannelInputIntImpl.enable
(Alternative alt) (package private) boolean
AltingChannelInputIntSymmetricImpl.enable
(Alternative alt) (package private) boolean
AltingChannelInputSymmetricImpl.enable
(Alternative alt) (package private) boolean
AltingChannelInputWrapper.enable
(Alternative alt) Deprecated.Returns true if the event is ready.(package private) boolean
AltingChannelOutputIntSymmetricImpl.enable
(Alternative alt) (package private) boolean
AltingChannelOutputSymmetricImpl.enable
(Alternative alt) (package private) boolean
AltingConnectionClient.enable
(Alternative alt) Returns true if the event is ready.(package private) boolean
AltingConnectionServer.enable
(Alternative alt) Returns true if the event is ready.(package private) boolean
Any2OneCallChannel.enable
(Alternative alt) This is one of theGuard
methods needed by theAlternative
class.(package private) boolean
CSTimer.enable
(Alternative alt) Enables this guard.(package private) abstract boolean
Guard.enable
(Alternative alt) Returns true if the event is ready.(package private) boolean
InlineAlternative.enable
(Alternative alt) Enable this ALT as a guard within its parent ALT.(package private) boolean
One2OneCallChannel.enable
(Alternative alt) This is one of theGuard
methods needed by theAlternative
class.(package private) boolean
RejectableAltingChannelInputImpl.enable
(Alternative alt) (package private) boolean
Skip.enable
(Alternative alt) Enables this guard.(package private) boolean
Stop.enable
(Alternative alt) Enables this guard.boolean
Any2AnyImpl.readerEnable
(Alternative alt) boolean
Any2AnyIntImpl.readerEnable
(Alternative alt) boolean
Any2OneImpl.readerEnable
(Alternative alt) boolean
Any2OneIntImpl.readerEnable
(Alternative alt) boolean
BufferedOne2OneChannel.readerEnable
(Alternative alt) turns on Alternative selection for the channel.boolean
BufferedOne2OneChannelIntImpl.readerEnable
(Alternative alt) turns on Alternative selection for the channel.boolean
ChannelInternals.readerEnable
(Alternative alt) boolean
ChannelInternalsInt.readerEnable
(Alternative alt) boolean
One2AnyImpl.readerEnable
(Alternative alt) boolean
One2AnyIntImpl.readerEnable
(Alternative alt) boolean
One2OneChannelImpl.readerEnable
(Alternative alt) turns on Alternative selection for the channel.boolean
One2OneChannelIntImpl.readerEnable
(Alternative alt) turns on Alternative selection for the channel.boolean
PoisonableBufferedOne2OneChannel.readerEnable
(Alternative alt) turns on Alternative selection for the channel.boolean
PoisonableBufferedOne2OneChannelInt.readerEnable
(Alternative alt) turns on Alternative selection for the channel.boolean
PoisonableOne2OneChannelImpl.readerEnable
(Alternative alt) turns on Alternative selection for the channel.boolean
PoisonableOne2OneChannelIntImpl.readerEnable
(Alternative alt) turns on Alternative selection for the channel.protected void
Guard.schedule
(Alternative alt) Schedules the process performing the given Alternative to run again. -
Uses of Alternative in org.jcsp.net
Fields in org.jcsp.net declared as Alternative