Version 1.2 of ai12s/ai12-0231-1.txt
!standard C.7.1(15) 17-06-05 AI12-0231-1/01
!class binding interpretation 17-06-05
!status Amendment 1-2012 17-07-21
!status ARG Approved 6-0-3 17-06-16
!status work item 17-06-04
!status received 17-05-13
!priority Low
!difficulty Easy
!qualifier Omission
!subject Null_Task_Id and Activation_Is_Complete
!summary
Activation_Is_Complete raises Program_Error if passed Null_Task_Id.
!question
What happens if Ada.Task_Identification.Activation_Is_Complete is passed
Null_Task_Id? (Program_Error is raised.) Other routines like Is_Terminated
raise Program_Error by rule (C.7.1.(15)), but nothing is said about
Activation_Is_Complete.
!recommendation
(See Summary.)
!wording
Modify C.7.1(15):
Program_Error is raised if a value of Null_Task_Id is passed as a parameter
to Abort_Task, {Activation_Is_Complete, }Is_Terminated, and Is_Callable.
!discussion
This looks like a straightforward omission; like the other existing functions,
there is no other sensible answer for Activation_Is_Complete.
!corrigendum C.7.1(15)
Replace the paragraph:
Program_Error is raised if a value of Null_Task_Id is passed as a parameter
to Abort_Task, Is_Terminated, and Is_Callable.
by:
Program_Error is raised if a value of Null_Task_Id is passed as a parameter
to Abort_Task, Activation_Is_Complete, Is_Terminated, and Is_Callable.
!ASIS
No ASIS effect.
!ACATS test
An ACATS C-Test should check this, preferably as part of a test for
Activation_Is_Complete.
!appendix
From: Tucker Taft
Sent: Saturday, May 13, 2017 3:29 PM
When we added Activation_Is_Complete to Ada.Task_Identification, we forgot to
say what happens when the Task_Id is Null_Task_Id. We need to update paragraph
C.7.1(15) to say that Program_Error is raised when Null_Task_Id is passed to
Activation_Is_Complete.
****************************************************************
Questions? Ask the ACAA Technical Agent