HP Pascal/iX Reference Manual (31502-90022)

12- 10
occur. Refer to the Procedure Calling Conventions Reference
Manual for detailed information on how to use this option.
ASSERT_HALT
ASSERT_HALT is an HP Pascal Option.
The ASSERT_HALT compiler option works with the predefined function
assert . IF an assert fails (that is, if its Boolean expression is
false), and ASSERT_HALT is ON, the program terminates. If ASSERT_HALT is
OFF, the program continues to execute. See the HP Pascal/iX Programmer's
Guide or the HP Pascal/HP-UX Programmer's Guide .
Syntax
$ASSERT_HALT {ON }$
{OFF}
Default OFF
Location Anywhere.
Example
This program stops if i is greater than 10.
$ASSERT_HALT ON$
$OS 'MPE/iX'$
PROGRAM show_asserthalt (input,output);
VAR
i: integer;
BEGIN
write('Please enter an integer: ');
prompt;
read(i);
assert(i<10,99);
writeln('Good show! You didn''t abort the program.');
END.
ASSUME
ASSUME is an HP Pascal Option.
The ASSUME compiler option specifies optimizer assumptions beyond those
implied by the STANDARD_LEVEL compiler option. It determines what the
optimizer does, but it does not determine what the compiler accepts. If
your program violates its optimizer assumptions, you can compile it with
or without optimization; however, the optimized version may fail.
Syntax
{NOTHING }
{PASCAL_FEATURES }
{PASCAL_POINTERS }
{NO_PARM_ADDRESSED }
{PARM_TYPES_MATCH }
{NO_PARMS_OVERLAP }
$ASSUME '{LOCAL_GOTOS_ONLY }'$
{LOCAL_ACCESSES_ONLY}
{NO_SIDE_EFFECTS }
{NO_HEAP_CHANGES }
{NORMAL_RETURN }
{LOCAL_ESCAPES_ONLY }
{FLOAT_TRAPS_ON }
Parameters