CVS difference for ais/ai-00305.txt

Differences between 1.4 and version 1.5
Log of other versions for file ais/ai-00305.txt

--- ais/ai-00305.txt	2002/12/04 23:43:39	1.4
+++ ais/ai-00305.txt	2003/01/03 00:01:36	1.5
@@ -1,9 +1,10 @@
-!standard D.7 (10)                                   02-12-03  AI95-00305/04
+!standard D.7 (10)                                   02-12-06  AI95-00305/05
 !standard D.7 (15)
 !standard D.7 (19)
 !standard H.5 (01)
 !class amendment 02-07-17
 !status Amendment 200Y 02-10-23
+!status WG9 Approved 02-12-13
 !status ARG Approved 10-0-1  02-10-11
 !status work item 02-07-17
 !status received 02-07-17
@@ -102,14 +103,14 @@
 The form of a pragma Detect_Blocking is as follows:
 pragma Detect_Blocking;
 
-Static Semantics
-The pragma 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
@@ -225,16 +226,16 @@
 The form of a pragma Detect_Blocking is as follows:
 @xindent<@b<pragma> Detect_Blocking;>
 
-@i<@s8<Static Semantics>>
-
-The pragma is a configuration pragma.
-
 @i<@s8<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).
 
+@i<@s8<Post-Compilation Rules>>
+
+A pragma Detect_Blocking is a configuration pragma.
+
 @i<@s8<Implementation Permissions>>
 
 An implementation is allowed to reject a @fa<compilation_unit> if a potentially
@@ -248,5 +249,13 @@
 !appendix
 
 Editor's Note: This AI was split out of the Ravenscar AI, AI-249.
+
+****************************************************************
+
+Editor's Note (December 6, 2002):
+
+The rule that pragma Detect_Blocking is a configuration pragma was moved
+to Post-Compilation Rules and rewritten to be consistent with other
+configuration pragmas, including pragma Profile.
 
 ****************************************************************

Questions? Ask the ACAA Technical Agent