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

Differences between 1.8 and version 1.9
Log of other versions for file ai05s/ai05-0189-1.txt

--- ai05s/ai05-0189-1.txt	2010/12/15 00:10:59	1.8
+++ ai05s/ai05-0189-1.txt	2011/01/25 08:00:08	1.9
@@ -99,6 +99,83 @@
 
 ** TBD **
 
+!corrigendum C.7.1(3/1)
+
+@drepl
+@xcode<   @b<function>  Image        (T : Task_Id) @b<return> String;
+   @b<function>  Current_Task @b<return> Task_Id;
+   @b<procedure> Abort_Task   (T : @b<in> Task_Id);>
+@dby
+@xcode<   @b<function>  Image                  (T : Task_Id) @b<return> String;
+   @b<function>  Current_Task     @b<return> Task_Id;
+   @b<function>  Environment_Task @b<return> Task_Id;
+   @b<procedure> Abort_Task             (T : @b<in> Task_Id);>
+
+!corrigendum C.7.1(4)
+
+@drepl
+@xcode<   @b<function>  Is_Terminated(T : Task_Id) @b<return> Boolean;
+   @b<function>  Is_Callable  (T : Task_Id) @b<return> Boolean;
+@b<private>
+   ... -- @I<not specified by the language>
+@b<end> Ada.Task_Identification;>
+@dby
+@xcode<   @b<function>  Is_Terminated          (T : Task_Id) @b<return> Boolean;
+   @b<function>  Is_Callable            (T : Task_Id) @b<return> Boolean;
+   @b<function>  Activation_Is_Complete (T : Task_Id) @b<return> Boolean;
+@b<private>
+   ... -- @I<not specified by the language>
+@b<end> Ada.Task_Identification;>
+
+!corrigendum C.7.1(8)
+
+@dinsa
+The function Current_Task returns a value that identifies the calling task.
+@dinst
+The function Environment_Task returns a value that identifies the
+environment task.
+
+!corrigendum C.7.1(10)
+
+@dinsa
+The functions Is_Terminated and Is_Callable return the value of the
+corresponding attribute of the task identified by T.
+@dinst
+The function Activation_Is_Complete returns True if the task
+identified by T has completed its activation (whether successfully
+or not). It returns False otherwise. If T identifies the
+environment task, Activation_Is_Complete returns True after the
+elaboration of the @fa<library_item>s of the partition has completed.
+
+!corrigendum D.7(19.1/2)
+
+@dinsa
+@xhang<@xterm<Max_Entry_Queue_Length>
+Max_Entry_Queue_Length defines the maximum number of calls
+that are queued on an entry. Violation of this restriction
+results in the raising of Program_Error at the point of the call or requeue.>
+@dinss
+@xhang<@xterm<No_Standard_Storage_Pools_After_Elaboration>>
+Specifies that an allocator using a standard storage pool (see
+13.11) shall not occur within a parameterless library subprogram,
+nor within the @fa<handled_sequence_of_statements> of a task body. For
+the purposes of this rule, an allocator of a type derived from a
+formal access type does not use a standard storage pool.
+
+@xindent<At run-time, Storage_Error is raised if an allocator using a
+standard storage pool is evaluated after the elaboration of the
+@fa<library_item>s of the partition has completed.>
+
+!corrigendum H.4(23.3/2)
+
+@drepl
+@xbullet<the following restrictions defined in D.7: No_Task_Hierarchy,
+No_Abort_Statement, No_Implicit_Heap_Allocation; and>
+@dby
+@xbullet<the following restrictions defined in D.7: No_Task_Hierarchy,
+No_Abort_Statement, No_Implicit_Heap_Allocation,
+No_Standard_Storage_Pools_After_Elaboration; and>
+
 !ACATS test
 
 ACATS B and C tests are needed.

Questions? Ask the ACAA Technical Agent