CVS difference for ais/ai-00118.txt

Differences between 1.4 and version 1.5
Log of other versions for file ais/ai-00118.txt

--- ais/ai-00118.txt	1999/09/16 20:40:29	1.4
+++ ais/ai-00118.txt	1999/10/08 23:41:05	1.5
@@ -61,6 +61,11 @@
 any locally-cached variables, or the querying task failed to see those
 updates.
 
+The wording is written so that Ada.Task_Identificiation.Is_Terminated(<expr>)
+(where <expr> evaluates to T'Identity) works the same as T'Terminated. It would
+be very surprising if this function, defined to be the same as 'Terminated,
+had a different signalling behavior.
+
 Note that we do not say anything about the Callable attribute; if the
 Callable attribute becomes False, the task might still have a local
 cache that is out of sync with global variables.
@@ -71,12 +76,13 @@
 @xbullet<If A1 is part of the execution of a task, and A2 is the action of
 waiting for the termination of the task;>
 @dinst
-@xbullet<An action A1 signals an action A2 if A1 is the termination of a task T, and A2
-is the evaluation of the expression T'Terminated;>
+@xbullet<If A1 is the termination of a task T, and A2
+is the evaluation of the expression T'Terminated or a call to
+Ada.Task_Identification.Is_Terminated where the parameter identifies T;>
 
 !ACATS test
 
-It is possible to write a test for the example given here, but it probablt
+It is possible to write a test for the example given here, but it probably
 would work even for an incorrect implementation.
 
 !appendix
@@ -206,5 +212,13 @@
 answer is that there are circumstances where I cannot expect that updates
 to shared variables have happened by the time the task has terminated.
 
+
+****************************************************************
+
+!from Randy Brukardt  99-10-07
+
+At the recent ARG meeting, it was decided to expand this AI so that
+Ada.Task_Identification.Is_Terminated(T'Identity) acts the same as
+T'Terminated.
 
 ****************************************************************

Questions? Ask the ACAA Technical Agent