Download HELIX Environment

The identifier object given must be of type semaphore. A
function semaphore-p which checks the type and colours objects if desired.
<SIGNED_IDENT> ===>
The <IDENT> object must be a constant, i.e. it must
respond to the message :ct,lpe and it must of type INTEGER or REAL.
<SIGNED.TERM> ===>
The :type response of the subobject <term> must be
INTEGER or REAL if the :vaiue of the <sign> is not NIL, Le. if the
optional sign is used.
<SUBP _LABELLED..8TAT> ==>
See <LABELLED..8TAT>.
<SYNC> ====>
The clock-type-p-function is used to check if the used
identifier is a clock. The expression is checked by means of the
integer-p function.
<TIME. UNIT_STAT> ==>
The phil integer representation is converted to a Lisp value
by using the lisp function read-from-string. This value must be within
the range 0-15.
<TRANSMIT_TO> ==>
The :type of the expression is compared to the
:pintype of the variable. A :pintype defined for the variable
checks if the variable is a PIN. The function nettype-info looks up a
type-specifier and checks if it is a nettype specification.
<UPON_DO> ==>
The function boolean-p is used to check and colour the
expression.
<VAR.IDENT_LIST __IDENT> ==>
The function type-p is used to check if the identifier
is a type-specifier.
<WAITFOR..8TAT> ==>
The function boolean-p is used to check and colour the
expression.
<WAIT_STAT> ==>
The function semaphore-p is defined to check if an
object is of type SEMAPHORE. Its argument will be coloured if this is not
the case.
<WHILE_DO..8TAT> ==>
99