Package | Description |
---|---|
org.jcsp.awt |
This provides CSP extensions for all AWT
Component components:
GUI events and widget configurations map to channel communications. |
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.
|
Modifier and Type | Field and Description |
---|---|
private Alternative |
ActiveApplet.destroyAlt |
Modifier and Type | Field and Description |
---|---|
private Alternative |
AltingBarrier.alt
The process offering this barrier (protected by the base monitor).
|
private Alternative |
InlineAlternative.alt
If used as a top level ALT, the work will be delegated to this
|
private Alternative |
One2OneChannelIntImpl.alt
The Alternative class that controls the selection
|
private Alternative |
BufferedOne2OneChannelIntImpl.alt
The Alternative class that controls the selection
|
private Alternative |
PoisonableOne2OneChannelIntImpl.alt
The Alternative class that controls the selection
|
private Alternative |
PoisonableBufferedOne2OneChannelInt.alt |
private Alternative |
One2OneChannelImpl.alt
The Alternative class that controls the selection
|
private Alternative |
PoisonableBufferedOne2OneChannel.alt |
private Alternative |
PoisonableOne2OneChannelImpl.alt
The Alternative class that controls the selection
|
private Alternative |
BufferedOne2OneChannel.alt |
private Alternative |
AltingBarrier.pollAlt
Used to support the
method. |
private Alternative |
AltingBarrier.singleAlt
Used to support the
method. |
Modifier and Type | Method and Description |
---|---|
(package private) boolean |
Any2OneCallChannel.enable(Alternative alt)
This is one of the
Guard methods needed by the Alternative class. |
(package private) boolean |
Stop.enable(Alternative alt)
Enables this guard.
|
(package private) boolean |
AltingConnectionClient.enable(Alternative alt)
Returns true if the event is ready.
|
(package private) boolean |
AltingBarrier.enable(Alternative a) |
(package private) boolean |
AltingChannelInputIntSymmetricImpl.enable(Alternative alt) |
(package private) boolean |
InlineAlternative.enable(Alternative alt)
Enable this ALT as a guard within its parent ALT.
|
(package private) boolean |
AltingChannelOutputSymmetricImpl.enable(Alternative alt) |
(package private) boolean |
AltingChannelInputSymmetricImpl.enable(Alternative alt) |
(package private) boolean |
Skip.enable(Alternative alt)
Enables this guard.
|
(package private) boolean |
AltingChannelInputWrapper.enable(Alternative alt)
Deprecated.
Returns true if the event is ready.
|
(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 |
One2OneCallChannel.enable(Alternative alt)
This is one of the
Guard methods needed by the Alternative class. |
(package private) boolean |
AltingChannelOutputIntSymmetricImpl.enable(Alternative alt) |
(package private) boolean |
AltingChannelInputIntImpl.enable(Alternative alt) |
(package private) boolean |
AltingConnectionServer.enable(Alternative alt)
Returns true if the event is ready.
|
(package private) boolean |
RejectableAltingChannelInputImpl.enable(Alternative alt) |
(package private) boolean |
AltingChannelInputImpl.enable(Alternative alt) |
boolean |
Any2AnyImpl.readerEnable(Alternative alt) |
boolean |
One2AnyImpl.readerEnable(Alternative alt) |
boolean |
Any2AnyIntImpl.readerEnable(Alternative alt) |
boolean |
ChannelInternalsInt.readerEnable(Alternative alt) |
boolean |
Any2OneIntImpl.readerEnable(Alternative alt) |
boolean |
One2OneChannelIntImpl.readerEnable(Alternative alt)
turns on Alternative selection for the channel.
|
boolean |
BufferedOne2OneChannelIntImpl.readerEnable(Alternative alt)
turns on Alternative selection for the channel.
|
boolean |
PoisonableOne2OneChannelIntImpl.readerEnable(Alternative alt)
turns on Alternative selection for the channel.
|
boolean |
Any2OneImpl.readerEnable(Alternative alt) |
boolean |
PoisonableBufferedOne2OneChannelInt.readerEnable(Alternative alt)
turns on Alternative selection for the channel.
|
boolean |
One2OneChannelImpl.readerEnable(Alternative alt)
turns on Alternative selection for the channel.
|
boolean |
PoisonableBufferedOne2OneChannel.readerEnable(Alternative alt)
turns on Alternative selection for the channel.
|
boolean |
PoisonableOne2OneChannelImpl.readerEnable(Alternative alt)
turns on Alternative selection for the channel.
|
boolean |
One2AnyIntImpl.readerEnable(Alternative alt) |
boolean |
BufferedOne2OneChannel.readerEnable(Alternative alt)
turns on Alternative selection for the channel.
|
boolean |
ChannelInternals.readerEnable(Alternative alt) |
protected void |
Guard.schedule(Alternative alt)
Schedules the process performing the given Alternative to run again.
|
Modifier and Type | Field and Description |
---|---|
private Alternative |
NetChannelInputProcess.alt |