Pragma Debug_Policy

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

Syntax:

     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.