CVS difference for ais/ai-00354.txt

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

--- ais/ai-00354.txt	2005/10/31 05:18:35	1.12
+++ ais/ai-00354.txt	2005/12/15 02:44:12	1.13
@@ -1,4 +1,4 @@
-!standard D.14.2 (01)                                 05-10-01  AI95-00354/10
+!standard D.14.2 (01)                                 05-12-05  AI95-00354/11
 !class amendment 03-09-27
 !status Amendment 200Y 04-06-25
 !status ARG Approved 7-0-1  04-06-13
@@ -84,7 +84,7 @@
 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.
 
-An object of type Group_Budget has an associated non-negative value of
+An object of type Group_Budget has an associated nonnegative value of
 type Time_Span known as its *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 *exhausted*, that is, reaches
@@ -126,9 +126,9 @@
 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.
+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.
 
 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,
@@ -392,7 +392,7 @@
 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.
 
-An object of type Group_Budget has an associated non-negative value of
+An object of type Group_Budget has an associated nonnegative 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
@@ -426,11 +426,10 @@
 
 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.
+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.
 
 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,

Questions? Ask the ACAA Technical Agent