This wiki is out of date, use the continuation of this wiki instead

ProcessTypeID

From FenixWiki

Revision as of 11:03, 20 April 2007 by Sandman (Talk | contribs)
(diff) ←Older revision | Current revision (diff) | Newer revision→ (diff)
Jump to: navigation, search


[edit] Definition

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

[edit] 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.

Personal tools