CVS difference for ai05s/ai05-0211-1.txt

Differences between 1.1 and version 1.2
Log of other versions for file ai05s/ai05-0211-1.txt

--- ai05s/ai05-0211-1.txt	2010/04/24 06:14:57	1.1
+++ ai05s/ai05-0211-1.txt	2010/08/13 05:32:36	1.2
@@ -1,5 +1,10 @@
-!standard  D.7(10.4/2)                             10-04-24    AI05-0211-1/01
+!standard  D.7(5)                                   10-08-12    AI05-0211-1/02
+!standard  D.7(10/2)
+!standard  D.7(10.4/2)
+!standard  D.7(10.7/2)
 !class binding interpretation 10-04-24
+!status Amendment 2012 10-08-12
+!status ARG Approved 10-0-0  10-06-19
 !status work item 10-04-24
 !status received 10-03-25
 !priority Low
@@ -24,22 +29,61 @@
 
 Modify D.7(10.4/2) to:
 
-  There are no delay_relative_statements{, and there are no calls
-  to the Set_Handler subprogram with the Time_Span parameter in
-  Timing_Events}.
+  There are no delay_relative_statements{, and there is no use of a
+  name that denotes the Timing_Events.Set_Handler subprogram that has
+  a Time_Span parameter}.
 
+In D.7(5), D.7(10/2), and D.7(10.7/2), replace "are no calls" with
+"is no use of a name denoting".
+
 !discussion
 
 For consistency the restriction should be added.
 
+During review of this AI's wording, it was noted that the "no calls"
+wording does not handle uses that occur through renaming or as the
+prefix of an attribute (such as 'Access or 'Address). These all should
+be rejected as well (to prevent "hidden" calls). We adjusted the wording
+of three other restrictions (D.7(5), D.7(10/2), and D.7(10.7/2) to
+eliminate this problem there as well.
+
+!corrigendum D.7(5)
+
+@drepl
+@xindent<There are no @fa<abort_statements>, and there are no calls on
+Task_Identification.Abort_Task.>
+@dby
+@xindent<There are no @fa<abort_statements>, and there is no use of a
+@fa<name> denoting Task_Identification.Abort_Task.>
+
+!corrigendum D.7(10/2)
+
+@drepl
+@xindent<There is no call to any of the operations defined in package
+Interrupts (Is_Reserved, Is_Attached, Current_Handler, Attach_Handler,
+Exchange_Handler, Detach_Handler, and Reference).>
+@dby
+@xindent<There is no use of a @fa<name> denoting any of the operations
+defined in package Interrupts (Is_Reserved, Is_Attached, Current_Handler,
+Attach_Handler, Exchange_Handler, Detach_Handler, and Reference).>
+
 !corrigendum D.7(10.4/2)
 
 @drepl
 @xindent<There are no @fa<delay_relative_statements>.>
+@dby
+@xindent<There are no @fa<delay_relative_statements>, and there is no
+use of a @fa<name> that denotes the Timing_Events.Set_Handler
+subprogram that has a Time_Span parameter.>
+
+!corrigendum D.7(10.7/2)
+
+@drepl
+@xindent<There are no calls to the Set_Specific_Handler and Specific_Handler
+subprograms in Task_Termination.>
 @dby
-@xindent<There are no @fa<delay_relative_statements>, and there are
-no calls   to the Set_Handler subprogram with the Time_Span parameter
-in Timing_Events.>
+@xindent<There is no use of a @fa<name> that denotes the Set_Specific_Handler
+and Specific_Handler subprograms in Task_Termination.>
 
 
 !ACATS Test

Questions? Ask the ACAA Technical Agent