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

ProcessTypeID

From FenixWiki

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