pTAL Reference Manual (H06.03+)

Syntax Summary
HP pTAL Reference Manual—523746-005
A-89
ASSERTION
ASSERTION
More information: ASSERTION on page 17-18
Default: None
Placement:
•
Anywhere in the source file (not in the compilation command)
•
Must be the last directive on the directive line
Scope: Applies until another ASSERTION overrides it
Dependencies: Has no effect without the ASSERT statement
References: ASSERT
on page A-40
=
,ASSERTION assertion-level
procedure-name
VST123.vsd