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

--- ai05s/ai05-0169-1.txt	2010/04/29 06:27:42	1.4
+++ ai05s/ai05-0169-1.txt	2010/08/13 01:25:02	1.5
@@ -1,7 +1,8 @@
-!standard  D.14.2(3-4/2)                             10-04-20    AI05-0169-1/03
+!standard  D.14.2(3-4/2)                             10-08-12    AI05-0169-1/05
 !standard  D.14.2(21/2)
 !reference AI05-0171-1
 !class Amendment 09-10-22
+!status Amendment 2012 10-08-12
 !status ARG Approved 9-0-2  10-02-26
 !status work item 09-10-22
 !status received 09-10-22
@@ -26,32 +27,14 @@
 default processor will mean that single processor programs
 will be unchanged.
 
-In D.14.2(4/2) change:
-
-with System;
-package Ada.Execution_Time.Group_Budgets is
-  type Group_Budget is tagged limited private;
-  ...
-
-to
-
-with System;
-with System.Multiprocessors;
-package Ada.Execution_Time.Group_Budgets is
-  type Group_Budget(P : System.Multiprocessors.CPU :=
-                              System.Multiprocessors.CPU'First)
-       is tagged limited private;
-
-Note that this definition depends on the definition of CPU from
-AI05-0171-1.
-
-Other parts of the package remain unchanged.
-
 A task will only consume the budget of a Group Budget if it is
 executing on the defined processor for that Group Budget. This
 applies to tasks assigned to specific processors, or those that
 are globally scheduling within a dispatching domain.
 
+Note that the proposed change depends on the definition of
+type CPU from AI05-0171-1.
+
 !wording
 
 Change D.14.2(3-4/2) to:
@@ -95,8 +78,44 @@
 not a major concern.
 
 !example
+
+!corrigendum D.14.2(3/2)
+
+@drepl
+@xcode<@b<with> System;
+@b<package> Ada.Execution_Time.Group_Budgets @b<is>>
+@dby
+@xcode<@b<with> System;
+@b<with> System.Multiprocessors;
+@b<package> Ada.Execution_Time.Group_Budgets @b<is>>
+
+!corrigendum D.14.2(4/2)
+
+@drepl
+@xcode<   @b<type> Group_Budget @b<is tagged limited private>;>
+@dby
+@xcode<   @b<type> Group_Budget(P : System.Multiprocessors.CPU :=
+                              System.Multiprocessors.CPU'First)
+    @b<is tagged limited private>;>
+
+!corrigendum D.14.2(21/2)
 
---!corrigendum D.14.2(4/2)
+@drepl
+The procedure Replenish loads the group budget GB with To as the Time_Span
+value. The exception Group_Budget_Error is raised if the Time_Span value To
+is non-positive. Any execution of any member of the group of tasks results
+in the budget counting down, unless exhausted. When the budget becomes
+exhausted (reaches Time_Span_Zero), the associated handler is executed if
+the handler of group budget GB is set. Nevertheless, the tasks continue to
+execute.
+@dby
+The procedure Replenish loads the group budget GB with To as the Time_Span
+value. The exception Group_Budget_Error is raised if the Time_Span value To
+is non-positive. Any execution on processor P of any member of the group of
+tasks results in the budget counting down, unless exhausted. When the budget
+becomes exhausted (reaches Time_Span_Zero), the associated handler is executed
+if the handler of group budget GB is set. Nevertheless, the tasks continue to
+execute.
 
 
 !ACATS test