H.5 Pragma Detect_Blocking
{
AI95-00305-01}
The following
pragma
forces an implementation to detect potentially blocking operations within
a protected operation.
Syntax
Post-Compilation Rules
{
AI95-00305-01}
{configuration pragma (Detect_Blocking)
[partial]} {pragma,
configuration (Detect_Blocking) [partial]} A
pragma Detect_Blocking
is a configuration pragma.
Dynamic Semantics
{
AI95-00305-01}
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
11 {
AI95-00305-01}
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
{
AI95-00305-01}
{
extensions to Ada 95}
Pragma Detect_Blocking
is new.
Sponsored by Ada-Europe