Next: Pragma Detect_Blocking, Previous: Pragma Debug, Up: Implementation Defined Pragmas
pragma Debug_Policy (CHECK | IGNORE);
If the argument is CHECK
, then pragma DEBUG
is enabled.
If the argument is IGNORE
, then pragma DEBUG
is ignored.
This pragma overrides the effect of the -gnata
switch on the
command line.
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
.