H.5 Pragma Detect_Blocking
The following
pragma
forces an implementation to detect potentially blocking operations within
a protected operation.
Syntax
The form of a
pragma
Detect_Blocking is as follows:
Post-Compilation Rules
A
pragma
Detect_Blocking is a configuration pragma.
Dynamic Semantics
An implementation is required to detect a potentially
blocking operation within a protected operation, and to raise Program_Error
(see
9.5.1).
Implementation Permissions
An implementation is allowed to reject a
compilation_unit
if a potentially blocking operation is present directly within an
entry_body
or the body of a protected subprogram.
11 An operation that causes a task to be
blocked within a foreign language domain is not defined to be potentially
blocking, and need not be detected.
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe
