CVS difference for ais/ai-00305.txt
--- ais/ai-00305.txt 2005/01/07 03:07:39 1.7
+++ ais/ai-00305.txt 2005/01/28 02:10:46 1.8
@@ -1,4 +1,4 @@
-!standard D.7 (10) 04-12-28 AI95-00305/07
+!standard D.7 (10) 05-01-12 AI95-00305/08
!standard D.7 (15)
!standard D.7 (19)
!standard H.5 (01)
@@ -103,14 +103,14 @@
The form of a pragma Detect_Blocking is as follows:
pragma Detect_Blocking;
+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)].
-Post-Compilation Rules
-A pragma Detect_Blocking is a configuration pragma.
-
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
@@ -218,12 +218,12 @@
@dinsc
-The following pragma forces an implementation to detect potentially
+The following @fa<pragma> forces an implementation to detect potentially
blocking operations within a protected operation.
@i<@s8<Syntax>>
-The form of a pragma Detect_Blocking is as follows:
+The form of a @fa<pragma> Detect_Blocking is as follows:
@xindent<@b<pragma> Detect_Blocking;>
@i<@s8<Dynamic Semantics>>
Questions? Ask the ACAA Technical Agent