CVS difference for ais/ai-10266.txt

Differences between 1.16 and version 1.17
Log of other versions for file ais/ai-10266.txt

--- ais/ai-10266.txt	2005/01/28 02:10:52	1.16
+++ ais/ai-10266.txt	2005/03/22 02:10:37	1.17
@@ -1,4 +1,6 @@
-!standard C.7.3 (01)                                04-11-09  AI95-00266-02/08
+!standard C.7.3 (01)                                05-03-07  AI95-00266-02/09
+!standard C.7 (00)
+!standard C.7 (01)
 !class amendment 01-06-01
 !status Amendment 200Y 04-06-25
 !status WG9 approved 04-11-18
@@ -28,6 +30,15 @@
 
 !wording
 
+Change clause C.7 to
+
+Task Information
+
+This clause describes operations and attributes that can be used to obtain the
+identity of a task. In addition, a package that associates user-defined
+information with a task is defined. Finally, a package that associates
+termination procedures with a task or set of tasks is defined.
+
 Add new section C.7.3
 
 Task Termination Procedures
@@ -44,6 +55,7 @@
 with Ada.Task_Identification;
 with Ada.Exceptions;
 package Ada.Task_Termination is
+
   type Cause_Of_Termination is (Normal, Abnormal, Unhandled_Exception);
 
   type Termination_Handler is access protected procedure(
@@ -51,13 +63,15 @@
       T : in Ada.Task_Identification.Task_Id;
       X : in Ada.Exceptions.Exception_Occurrence);
 
-  procedure Set_Dependents_Fallback_Handler(Handler: in Termination_Handler);
+  procedure Set_Dependents_Fallback_Handler(
+      Handler: in Termination_Handler);
   function Current_Task_Fallback_Handler return Termination_Handler;
 
   procedure Set_Specific_Handler(T : in Ada.Task_Identification.Task_Id;
                         Handler : in Termination_Handler);
   function Specific_Handler(T : Ada.Task_Identification.Task_Id)
       return Termination_Handler;
+
 end Ada.Task_Termination;
 
 Dynamic Semantics
@@ -78,7 +92,7 @@
 
 As part of the finalization of a task_body, after performing the actions
 specified in 7.6 for finalization of a master, the task specific handler,
-if not null, is called. If there is no such specific handler, a fall-back
+if not @b<null>, is called. If there is no such specific handler, a fall-back
 handler is determined by recursively searching for a non-null fall-back
 handler in the tasks upon which it depends. If such a fall-back handler
 is determined it is executed; otherwise no handler is executed.
@@ -205,6 +219,26 @@
   Set_Specific_Handler(Current_Task, Logger.Output'Access);
 end Termination_Logging;
 
+!corrigendum C.7(00)
+
+@drepl
+Task Identification and Attributes
+@dby
+Task Information
+
+!corrigendum C.7(01)
+
+@drepl
+This clause describes operations and attributes that can be used to obtain the
+identity of a task. In addition, a package that associates user-defined
+information with a task is defined.
+@dby
+This clause describes operations and attributes that can be used to obtain the
+identity of a task. In addition, a package that associates user-defined
+information with a task is defined. Finally, a package that associates
+termination procedures with a task or set of tasks is defined.
+
+
 !corrigendum C.7.3(01)
 
 @dinsc
@@ -221,39 +255,42 @@
 @b<with> Ada.Task_Identification;
 @b<with> Ada.Exceptions;
 @b<package> Ada.Task_Termination @b<is>
-  @b<type> Cause_Of_Termination @b<is> (Normal, Abnormal, Unhandled_Exception);
+
+   @b<type> Cause_Of_Termination @b<is> (Normal, Abnormal, Unhandled_Exception);
 
-  @b<type> Termination_Handler @b<is access protected procedure>(
+   @b<type> Termination_Handler @b<is access protected procedure>(
       Cause : @b<in> Cause_Of_Termination;
       T     : @b<in> Ada.Task_Identification.Task_Id;
       X     : @b<in> Ada.Exceptions.Exception_Occurrence);
 
-  @b<procedure> Set_Dependents_Fallback_Handler(Handler: @b<in> Termination_Handler);
-  @b<function> Current_Task_Fallback_Handler return Termination_Handler;
+   @b<procedure> Set_Dependents_Fallback_Handler(
+      Handler: @b<in> Termination_Handler);
+   @b<function> Current_Task_Fallback_Handler return Termination_Handler;
 
-  @b<procedure> Set_Specific_Handler(
+   @b<procedure> Set_Specific_Handler(
       T           : @b<in> Ada.Task_Identification.Task_Id;
       Handler     : @b<in> Termination_Handler);
-  @b<function> Specific_Handler(T : Ada.Task_Identification.Task_Id)
+   @b<function> Specific_Handler(T : Ada.Task_Identification.Task_Id)
       @b<return> Termination_Handler;
+
 @b<end> Ada.Task_Termination;>
 
 @i<@s8<Dynamic Semantics>>
 
-A call of Set_Dependents_Fallback_Handler sets the fall-back handler
+A call of Set_Dependents_Fallback_Handler sets the @i<fall-back handler>
 for all dependent tasks. If a fall-back handler had previously been
 set it is replaced. A call with a null access parameter is
 equivalent to removing the fall-back handler. A call of
 Current_Task_Fallback_Handler returns the fall-back handler that is currently
 in effect for the calling task. If no fall-back handler has been set
-it returns null.
+it returns @b<null>.
 
 A call of Set_Specific_Handler sets a specific handler for the
 task identified by T. If a specific handler had previously been set
 it is replaced. A call with a null access parameter is equivalent
 to removing the specific handler. A call of Specific_Handler returns
 the specific handler if one has been set, otherwise the handler it
-returns null.
+returns @b<null>.
 
 As part of the finalization of a @fa<task_body>, after performing the actions
 specified in 7.6 for finalization of a master, the task specific handler,

Questions? Ask the ACAA Technical Agent