|
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 |