CVS difference for ai12s/ai12-0330-1.txt
--- ai12s/ai12-0330-1.txt 2019/05/08 23:44:49 1.4
+++ ai12s/ai12-0330-1.txt 2019/05/14 07:05:19 1.5
@@ -1,5 +1,7 @@
-!standard N(0) 19-05-07 AI12-0330-1/01
+!standard N(0) 19-05-10 AI12-0330-1/02
!class Amendment 19-04-05
+!status Amendment 1-2012 19-05-09
+!status ARG Approved 11-0-0 19-05-09
!status work item 19-04-05
!status received 19-03-08
@@ -7,7 +9,7 @@
!subject Add items to the Glossary
-Various new and pre-existing terms are added to the glossary.
+Various new and preexisting terms are added to the glossary.
@@ -22,12 +24,24 @@
+Modify 9(1/5) to italicize "logical thread of control":
+The execution of an Ada program consists of the execution of one or more
+*tasks*. Each task represents a separable activity that proceeds independently
+and concurrently between the points where it *interacts* with other tasks. A
+single task, when within the context of a parallel construct, can represent
+multiple *logical threads of control* which can proceed in parallel; in other
+contexts, each task represents one logical thread of control.
+Add the following Glossary entries:
A characteristic or property of an entity that can be queried, and in some
-A construct used to define the value for a type that represents a collection
+A construct used to define a value of a type that represents a collection
of elements, by explicitly specifying the elements in the collection.
@@ -35,8 +49,7 @@
Default Initial Condition
-A property that should hold for every default-initialized object of a given
+A property that holds for every default-initialized object of a given type.
A construct that is used to restrict the elements produced by an iteration
@@ -78,7 +91,8 @@
-To turn off a run-time check for a portion of the text of a program.
+A request to the implementation to disable a run-time check for a portion of
+the text of a program.
@@ -90,14 +104,11 @@
-[Not sure. It seems like some new capabilities might be needed,
-but I didn't check - Editor.]
+No ASIS effect.
-ACATS B- and C-Tests are needed to check that the new capabilities are
+No ACATS tests needed.
Questions? Ask the ACAA Technical Agent