H.5 Pragma Detect_Blocking
The following pragma
forces an implementation to detect potentially blocking operations within
a protected operation.
An implementation is required to detect a potentially blocking operation
within a protected operation, and to raise Program_Error (see 9.5.1
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.
Extensions to Ada 95
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe