Contents Index Search Related Documents Previous Next
H.5 Pragma Detect_Blocking
1/2
The following pragma
forces an implementation to detect potentially blocking operations within
a protected operation.
Syntax
2/2
The form of
a pragma Detect_Blocking is as follows:
3/2
Post-Compilation Rules
4/2
A pragma
Detect_Blocking is a configuration pragma.
Dynamic Semantics
5/2
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
6/2
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.
7/2
10 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.
Contents Index Search Related Documents Previous Next Legal