CVS difference for ai12s/ai12-0407-1.txt
--- ai12s/ai12-0407-1.txt 2020/12/04 07:59:30 1.3
+++ ai12s/ai12-0407-1.txt 2020/12/11 22:22:26 1.4
@@ -1,4 +1,4 @@
-!standard 3.3(21) 20-12-03 AI12-0407-1/03
+!standard 3.3(21) 20-12-11 AI12-0407-1/04
!standard 12.3(15)
!standard 13.1(8/5)
!standard 13.1(8.1/3)
@@ -20,7 +20,8 @@
!standard H.4.1(5/5)
!class Amendment 20-11-23
!status Amendment 1-2012 20-11-23
-!status work item 20-11-23
+!status ARG Approved 15-0-0 20-12-09
+!!status work item 20-11-23
!status received 20-11-23
!priority Low
!difficulty Easy
@@ -33,7 +34,7 @@
(2) Language-defined aspects cannot be specified on renamings or generic
formal parameters unless they explicitly allow those uses.
-(3) Aspect No_Controlled_Parts is a representation aspect that looks through
+(3) Aspect No_Controlled_Parts is an operational aspect that looks through
privacy.
(4) Aspect_definitions are frozen at the freezing point of the entity if
@@ -80,7 +81,7 @@
after something is used.
(5) There is no definition of "type-related aspect" and "subtype-related
-aspect" in the RM. There is To Be Honest note that claims to do that, but
+aspect" in the RM. There is a To Be Honest note that claims to do that, but
it depends on a definition for representation items (and later, operational
items). Aspects that do not have a representation item or an operation item
are not normatively classified at all. Given that we have included
@@ -88,8 +89,9 @@
(6) 12.3(15) says that the properties of a generic formal parameter in an
instance are exactly the same as those of the actual. We allow adding
-additional Pre and Post assertions to generic formal subprograms, but there
-is no allowance for this difference in 12.3(15).
+Pre and Post assertions to generic formal subprograms (which are then added
+to those of the actual), but there is no allowance for this difference
+in 12.3(15).
(7) The list of variable objects in 3.3 (created by AI12-0392-1 as the inverse
of the previous list) does not mention the current instance of a type. That
@@ -147,10 +149,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.]
-
Replace the deleted 3.3(21) with:
* the current instance of a type other than a protected type@Redundant[,
@@ -167,7 +165,7 @@
In an instance, a generic_formal_parameter_declaration declares a view
whose properties are identical to those of the actual, except {when}[as]
specified {otherwise (in particular, see 6.1.1, "Preconditions and Postconditions",}
-[in] 12.4, "Formal Objects"{,} and 12.6, "Formal Subprograms". Similarly, for a
+[in] 12.4, "Formal Objects"{,} and 12.6, "Formal Subprograms"). Similarly, for a
declaration within a generic_formal_parameter_declaration, the
corresponding declaration in an instance declares a view whose properties
are identical to the corresponding declaration within the declaration of
Questions? Ask the ACAA Technical Agent