Next: , Previous: Pragma Debug, Up: Implementation Defined Pragmas

Pragma Debug_Policy


     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.