ProcessTypeID

From Bennu Wiki
Revision as of 03:03, 20 April 2007 by Sandman (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


Definition

A ProcessTypeID is a unique identification code, for a processType. A ProcessTypeID is smaller than 65536 (2^16).

Example

Kill all SpaceShip()s (see process):

Begin
    signal(type SpaceShip,s_kill);
End

signal() signals all processes of processType SpaceShip the signal to die. This is done by using the constant s_kill as the signal.