HP Pascal/iX Reference Manual (31502-90022)

11- 24
The above example creates detected errors.
NOTE The mechanism does not detect a modification of a READONLY
parameter by another reference parameter or an uplevel reference.
The results of such a modification are unpredictable.
Example
PROCEDURE proc1;
VAR
j : integer;
PROCEDURE proc2 ( READONLY j : integer
VAR m : integer );
BEGIN
j := 0; { modification by an uplevel reference }
m := 0; { modification by another reference parameter }
END;
BEGIN
proc2 ( j,j );
END;
The above example creates undetected errors.
Routine Options
The routine options specify additional attributes of a procedure or
function. The routine options follow the parameter list in the
declaration of a procedure or function header. $STANDARD_LEVEL
'EXT_MODCAL'$ must be specified when using routine options.
Syntax
The option-specification for each option is described in the following
pages.