Pragma Detect_Blocking

Next: Pragma Disable_Atomic_Synchronization, Previous: Pragma Depends, Up: Implementation Defined Pragmas

Syntax:

     pragma Detect_Blocking;

This is a standard pragma in Ada 2005, that is available in all earlier versions of Ada as an implementation-defined pragma.

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.