CVS difference for ais/ai-00171.txt

Differences between 1.6 and version 1.7
Log of other versions for file ais/ai-00171.txt

--- ais/ai-00171.txt	1999/10/08 23:41:05	1.6
+++ ais/ai-00171.txt	2000/04/14 01:45:08	1.7
@@ -1,4 +1,4 @@
-!standard 03.08    (18)                               99-10-06  AI95-00171/06
+!standard 03.08    (18)                               00-04-12  AI95-00171/07
 !standard 03.03.01 (18)
 !standard 03.06    (22)
 !standard 04.03.01 (19)
@@ -175,7 +175,7 @@
 any per-object expressions creates the discrete
 subtype, and consists of the elaboration of the @fa<subtype_indication> or the
 evaluation of the @fa<range>. The elaboration of a
-@fa<discrete_subtype_definition> that does contain one or more per-object
+@fa<discrete_subtype_definition> that contains one or more per-object
 expressions is defined in 3.8. The elaboration of a @fa<component_definition>
 in an @fa<array_type_definition> consists of the elaboration of the
 @fa<subtype_indication>. The elaboration of any
@@ -216,8 +216,8 @@
 discriminant.
 
 When a per-object constraint is elaborated (as part of creating an object),
-per-object expressions are evaluated. Only per-object expressions are evaluated.
-For other expressions, then values determined during the elaboration of the
+each per-object expression of the constraint are evaluated.
+For other expressions, the values determined during the elaboration of the
 @fa<component_definition> or @fa<entry_declaration> are used. Any checks
 associated with the enclosing @fa<subtype_indication> or
 @fa<discrete_subtype_definition> are performed, including the subtype
@@ -235,7 +235,7 @@
 single entry has no effect.
 @dby
 The elaboration of an @fa<entry_declaration> for an entry family consists of
-the elaboration of the @fa<discrete_subtype_definition> as described in 3.8.
+the elaboration of the @fa<discrete_subtype_definition>, as described in 3.8.
 The elaboration of an @fa<entry_declaration> for a single entry has no effect.
 
 !ACATS test

Questions? Ask the ACAA Technical Agent