CVS difference for ai12s/ai12-0212-1.txt
--- ai12s/ai12-0212-1.txt 2019/03/08 06:57:48 1.26
+++ ai12s/ai12-0212-1.txt 2019/04/03 06:12:12 1.27
@@ -1,4 +1,4 @@
-!standard 4.3.5(0) 19-03-05 AI12-0212-1/12
+!standard 4.3.5(0) 19-04-02 AI12-0212-1/13
!standard 1.1.4(12)
!standard 1.1.4(13)
!standard 2.1(15)
@@ -525,7 +525,7 @@
Legality Rules
If the container type of an Aggregate aspect is a private type, the full
- type of the container type shall not be an array type. If container type is
+ type of the container type shall not be an array type. If the container type is
limited, the name specified for Empty shall denote a function rather than a
constant object.
@@ -604,7 +604,7 @@
uninitialized, because the compiler can simply omit producing an
Assign_Indexed operation for the given index. For other kinds of
aggregates, there are no operations that add an element without giving
- it a value. Note that to be consistent with array aggregates, we do
+ it a value. Note that, to be consistent with array aggregates, we do
not support specifying <> in an iterated_element_association.
For an iterated_element_association without a /key_/expression, if the
@@ -701,7 +701,7 @@
the value from the key_choice as the second parameter, and the
result of evaluating the expression as the third parameter;
* for a container_element_association with an iterated_element_association,
- the iterated_element_association is elaborated, then an iteration
+ first the iterated_element_association is elaborated, then an iteration
is performed as described in 5.5 or 5.5.2, and for each value of the
loop parameter of the
iteration the Add_Named procedure is invoked with the anonymous
@@ -770,8 +770,8 @@
function New_Vector (First, Last : Positive) return Vector_Type
with Pre => First = Positive'First;
- -- Vectors of are always indexed starting at the
- -- low bound of their index subtype.
+ -- Vectors are always indexed starting at the
+ -- lower bound of their index subtype.
private
@@ -1371,7 +1371,7 @@
@s8<@i<Legality Rules>>
If the container type of an Aggregate aspect is a private type, the full
-type of the container type shall not be an array type. If container type is
+type of the container type shall not be an array type. If the container type is
limited, the name specified for Empty shall denote a function rather than a
constant object.
Questions? Ask the ACAA Technical Agent