CVS difference for ais/ai-00305.txt

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

--- ais/ai-00305.txt	2005/05/15 23:43:32	1.10
+++ ais/ai-00305.txt	2005/06/16 23:47:27	1.11
@@ -2,6 +2,7 @@
 !standard D.7 (15)
 !standard D.7 (19)
 !standard H.5 (01)
+!standard 9.5.1 (22)
 !class amendment 02-07-17
 !status Amendment 200Y 02-10-23
 !status WG9 Approved 02-12-13
@@ -148,6 +149,11 @@
 bodies so that libraries which contain potentially blocking operations (such
 as a lock) which cannot be executed do not cause the program to be rejected.
 
+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.
+
 !ACATS test
 
 ACATS tests should be constructed for these features.
@@ -247,6 +253,16 @@
 @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