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


Pragma Detect_Blocking

Syntax:

     pragma Detect_Blocking;

This is a configuration pragma that forces the detection of potentially blocking operations within a protected operation, and to raise Program_Error if that happens.