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


2.43 Pragma Debug_Policy

Syntax:

    pragma Debug_Policy (CHECK | DISABLE | IGNORE | ON | OFF);

This pragma is equivalent to a corresponding Check_Policy pragma with a first argument of Debug. It is retained for historical compatibility reasons.