|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
| PREV LETTER NEXT LETTER | FRAMES NO FRAMES | ||||||||
preCondition
index is true.
ServiceManager is created by the Node when
it is initialized.CSTimer.setAlarm(long) - this name caused confusion with
the idea of setting the current time (a concept that is not supported).
java.awt.Graphics.setPaintMode.
ConnectionServer implementations are likely to be
implemented over channels.
ConnectionServer implementations are likely to be
implemented over channels.
set,
extend and change commands.
Paintable object that will be used by the paint
and update methods of this canvas.
ProcessManager object's
process' priority.
ChannelInput except that it is guaranteed
safe to pass on to more than one internal process for parallel reading.ChannelInputInt except that it is guaranteed
safe to pass on to more than one internal process for parallel reading.ChannelOutput except that it is guaranteed
safe to pass on to more than one internal process for parallel writing.ChannelOutputInt except that it is guaranteed
safe to pass on to more than one internal process for parallel writing.Guard that is always ready.RemoteProcess proxies to start up child JVMs running the
actual processes.SpawnerService as an NT service.NetConnectionFactory.stopStart channel
on second and subsequent browser invocations of start -
see the user-defined stop/start response.
ClassManager and JFTP
processes.
LinkServer on a
specified NodeAddressID.
SpawnerService.main.
TCPIPCNSServer.main.
stopStart channel
when the browser invokes a stop -
see the user-defined stop/start response.
LinkServer that is listening on the specified address.
SpuriousLog.report()),
indicating the class and operation that suffered.
AltingBarrier without having to set up an Alternative.
|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
| PREV LETTER NEXT LETTER | FRAMES NO FRAMES | ||||||||