Next: Pragma Debug_Policy, Previous: Pragma CPP_Vtable, Up: Implementation Defined Pragmas
pragma Debug (PROCEDURE_CALL_WITHOUT_SEMICOLON);
PROCEDURE_CALL_WITHOUT_SEMICOLON ::=
PROCEDURE_NAME
| PROCEDURE_PREFIX ACTUAL_PARAMETER_PART
The argument has the syntactic form of an expression, meeting the syntactic requirements for pragmas.
If debug pragmas are not enabled, this pragma has no
effect. If debug pragmas are enabled, the semantics of the pragma is exactly
equivalent to the procedure call statement corresponding to the argument
with a terminating semicolon. Pragmas are permitted in sequences of
declarations, so you can use pragma Debug to intersperse calls to
debug procedures in the middle of declarations. Debug pragmas can be
enabled either by use of the command line switch -gnata or by use
of the configuration pragma Debug_Policy.