pTAL Reference Manual (H06.08+)

Syntax Summary
HP pTAL Reference Manual—523746-006
A-89
Directive Line
Directive Line
More information: Directive Line on page 17-2
ASSERTION
More information: ASSERTION on page 17-19
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
?
,
VST120.vsd
directive
=
,ASSERTION assertion-level
procedure-name
VST123.vsd