|
Class Summary |
| Alternative |
This enables a process to wait passively for and choose
between a number of Guard events. |
| AltingChannelInput |
This extends Guard and ChannelInput
to enable a process to choose between many object input (and other) events. |
| AltingChannelInputInt |
This extends Guard and ChannelInputInt
to enable a process
to choose between many integer input (and other) events. |
| Barrier |
This enables barrier synchronisation between a set of processes. |
| CSTimer |
This is a Guard for setting timeouts in an Alternative. |
| Guard |
This is the super-class for all Alternative events selectable by a process. |
| One2OneChannelImpl |
This implements a one-to-one object channel. |
| One2OneChannelIntImpl |
This implements a one-to-one integer channel. |
| Parallel |
This process constructor taks an array of CSProcesses
and returns a CSProcess that is the parallel composition of
its process arguments. |
| ParThread |
This is the Thread class used by Parallel to run all but
one of its given processes. |
| Skip |
This is a process that immediately terminates and
a Guard that is always ready. |