|
CSP for Java (JCSP) 1.0-rc4 |
||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
Sequence
.java.awt.Graphics.setPaintMode
.
CSTimer.setAlarm(long)
- this name caused confusion with
the idea of setting the current time (a concept that is not supported).
set
,
extend
and change
commands.
Paintable
object that will be used by the paint
and update
methods of this canvas.
Guard
that is always ready.Skip
.stopStart
channel
on second and subsequent browser invocations of start -
see the user-defined stop/start response.
stopStart
channel
when the browser invokes a stop -
see the user-defined stop/start response.
ProcessManager.suspend()
, ProcessManager.resume()
and
ProcessManager.stop()
are supported.
|
CSP for Java (JCSP) 1.0-rc4 |
||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |