CVS difference for ais/ai-00305.txt

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

--- ais/ai-00305.txt	2005/07/12 03:34:55	1.12
+++ ais/ai-00305.txt	2005/08/05 04:34:54	1.13
@@ -1,4 +1,4 @@
-!standard D.7 (10)                                   05-06-05  AI95-00305/11
+!standard D.7 (10)                                   05-07-11  AI95-00305/12
 !standard D.7 (15)
 !standard D.7 (19)
 !standard H.5 (01)
@@ -152,12 +152,24 @@
 Add a new note after 9.5.1(22):
 
 22  The pragma Detect_Blocking may be used to ensure that all
-executions of potentially blocking operations raise Program_Error. See H.5.
+executions of potentially blocking operations during a protected action
+raise Program_Error. See H.5.
 
 !ACATS test
 
 ACATS tests should be constructed for these features.
 
+!corrigendum 9.5.1(22)
+
+@dinsa
+@xindent<@s9<21  From within a protected action, an internal call on a
+protected subprogram, or an external call on a protected subprogram with a
+different target object is not considered a potentially blocking operation.>>
+@dinst
+@xindent<@s9<22  The @nt{pragma} Detect_Blocking may be used to ensure that all
+executions of potentially blocking operations during a protected action
+raise Program_Error. See H.5.>>
+
 !corrigendum D.7(10)
 
 @dinsa
@@ -253,16 +265,6 @@
 @xindent<@s9<NOTES@hr
 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.>>
-
-!corrigendum 9.5.1(22)
-
-@dinsa
-@xindent<@s9<21  From within a protected action, an internal call on a
-protected subprogram, or an external call on a protected subprogram with a
-different target object is not considered a potentially blocking operation.>>
-@dinst
-@xindent<@s9<22  The @nt{pragma} Detect_Blocking may be used to ensure that all
-executions of potentially blocking operations raise Program_Error. See H.5.>>
 
 !appendix
 

Questions? Ask the ACAA Technical Agent