Next: Pragma Elaboration_Checks, Previous: Pragma Debug, Up: Implementation Defined Pragmas
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.