CVS difference for ai12s/ai12-0330-1.txt

Differences between 1.8 and version 1.9
Log of other versions for file ai12s/ai12-0330-1.txt

--- ai12s/ai12-0330-1.txt	2020/12/04 07:59:30	1.8
+++ ai12s/ai12-0330-1.txt	2020/12/11 22:22:25	1.9
@@ -1,6 +1,7 @@
-!standard N(0)                                      20-11-20  AI12-0330-1/04
+!standard N(0)                                      20-12-09  AI12-0330-1/05
 !class Amendment 19-04-05
 !status Amendment 1-2012 19-05-09
+!status ARG Approved 14-0-1  20-12-09
 !status work item 20-11-20
 !status ARG Approved 11-0-0  19-05-09
 !status work item 19-04-05
@@ -25,10 +26,6 @@
 
 !wording
 
-[Editor's note: These changes were applied to Draft 27 of the Ada 202x RM, 
-even though they have not yet been approved, in order that that draft be as
-accurate as possible.]
-
 Modify 9(1/5) to italicize "logical thread of control":
 
 The execution of an Ada program consists of the execution of one or more 
@@ -41,6 +38,16 @@
 
 Add the following Glossary entries:
 
+Accessibility level
+An accessibility level is a representation of the lifetime of an entity in
+terms of the level of dynamic nesting within which the entity is known to exist.
+Given an access value that designates some object, the dynamic accessibility
+checks prevent a dangling reference by ensuring that the accessibility level 
+of the designated object is no deeper than that of the type of the access value.
+Based on static nesting, there are corresponding legality rules that require
+that the accessibility level of the designated object not be statically deeper
+than that of the access type.
+
 Aggregate
 An aggregate is a construct used to define a value of a composite type by 
 specifying the values of the components of the type.
@@ -68,7 +75,7 @@
 to True.
 
 Logical Thread of Control
-A logicial thread of control is an activity within the execution of a program 
+A logical thread of control is an activity within the execution of a program 
 that can proceed in parallel with other activities of the same task, or of 
 separate tasks.
 
@@ -109,8 +116,10 @@
 enclosing program unit.
 
 Suppress
-To suppress a check is to give a request to the implementation to disable a 
-run-time check for a portion of the text of a program.
+To suppress a check is to assert that the check cannot fail, and to request 
+that the compiler optimize by disabling the check. The compiler is not 
+required to honor this request. Suppressing checks that can fail can cause 
+program to behave in arbitrary ways.
 
 !discussion
 

Questions? Ask the ACAA Technical Agent