CVS difference for ais/ai-00354.txt

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

--- ais/ai-00354.txt	2005/06/16 23:47:34	1.11
+++ ais/ai-00354.txt	2005/10/31 05:18:35	1.12
@@ -1,4 +1,4 @@
-!standard D.14.2 (01)                                 05-05-05  AI95-00354/09
+!standard D.14.2 (01)                                 05-10-01  AI95-00354/10
 !class amendment 03-09-27
 !status Amendment 200Y 04-06-25
 !status ARG Approved 7-0-1  04-06-13
@@ -75,6 +75,7 @@
                             Cancelled : out Boolean);
 
   Group_Budget_Error : exception;
+
 private
     --  not specified by the language
 end Ada.Execution_Time.Group_Budgets;
@@ -122,12 +123,12 @@
 Task_Identification.Task_Id identifying the members of the group GB. The
 order of the components of the array is unspecified.
 
-The procedure Replenish loads the group budget GB with the Time_Span value To.
-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. When the budget becomes exhausted (reaches Time_Span_Zero), the
-associated handler is executed if the handler of group budget GB is set; the
-tasks continue to execute.
+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. When the budget becomes exhausted (reaches
+Time_Span_Zero), the associated handler is executed if the handler of group
+budget GB is set; the tasks continue to execute.
 
 The procedure Add modifies the budget of the group GB. A positive value for
 Interval increases the budget. A negative value for Interval reduces the budget,
@@ -159,8 +160,9 @@
 set. Cancelled is assigned True if the handler for the group budget was set
 prior to it being cleared; otherwise it is assigned False.
 
-The constant Min_Handler_Ceiling is the priority value that ensures
-that no ceiling violation would occur, were a handler to be executed.
+The constant Min_Handler_Ceiling is the minimum ceiling priority
+required for a protected object with a handler to ensure that no
+ceiling violation will occur when that handler is invoked.
 
 The precision of the accounting of task execution time to a Group_Budget
 is the same as that defined for execution-time clocks from the parent
@@ -381,6 +383,7 @@
                             Cancelled : @b<out> Boolean);
 
   Group_Budget_Error : @b<exception>;
+
 @b<private>
     --  not specified by the language
 @b<end> Ada.Execution_Time.Group_Budgets;>
@@ -389,18 +392,8 @@
 of tasks. The type Group_Budget needs finalization (see 7.6). A task can belong to at most
 one group. Tasks of any priority can be added to a group.
 
-The type Group_Budget_Handler identifies a protected procedure to be
-executed by the implementation when the budget is @i<exhausted>, that is,
-reaches zero. Such a protected procedure is called a @i<handler>.
-
 An object of type Group_Budget has an associated non-negative value of
 type Time_Span known as its @i<budget>, which is initially Time_Span_Zero.
-It also has a value of type Group_Budget_Handler, known as its handler.
-The handler is said to be @i<set> if it is not null and @i<cleared> otherwise.
-The handler of all Group_Budget objects is initially cleared.
-
-An object of type Group_Budget has an associated non-negative value of
-type Time_Span known as its @i<budget>, which is initially Time_Span_Zero.
 The type Group_Budget_Handler identifies a protected procedure to be executed
 by the implementation when the budget is @i<exhausted>, that is, reaches
 zero. Such a protected procedure is called a @i<handler>.
@@ -431,8 +424,9 @@
 Task_Identification.Task_Id identifying the members of the group GB. The
 order of the components of the array is unspecified.
 
-The procedure Replenish loads the group budget GB with the Time_Span value To.
-Group_Budget_Error is raised if the Time_Span value To is non-positive. Any
+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. When the budget becomes exhausted (reaches Time_Span_Zero), the
 associated handler is executed if the handler of group budget GB is set; the
@@ -468,8 +462,9 @@
 set. Cancelled is assigned True if the handler for the group budget was set
 prior to it being cleared; otherwise it is assigned False.
 
-The constant Min_Handler_Ceiling is the priority value that ensures
-that no ceiling violation would occur, were a handler to be executed.
+The constant Min_Handler_Ceiling is the minimum ceiling priority
+required for a protected object with a handler to ensure that no
+ceiling violation will occur when that handler is invoked.
 
 The precision of the accounting of task execution time to a Group_Budget
 is the same as that defined for execution-time clocks from the parent
@@ -502,11 +497,11 @@
 respect to the execution of the handler.
 
 @xindent<@s9<NOTES@hr
-Clearing or setting of the handler of a group budget does not change the
+47  Clearing or setting of the handler of a group budget does not change the
 current value of the budget. Exhaustion or loading of a budget does not change
 whether the handler of the group budget is set or cleared.>>
 
-@xindent<@s9<A Group_Budget_Handler can be associated with several
+@xindent<@s9<48  A Group_Budget_Handler can be associated with several
 Group_Budget objects.>>
 
 

Questions? Ask the ACAA Technical Agent