|
CSP for Java (JCSP) 1.1-rc1 |
||||||||
| 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.
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-rc1 |
||||||||
| PREV LETTER NEXT LETTER | FRAMES NO FRAMES | ||||||||