CVS difference for ais/ai-00171.txt

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

--- ais/ai-00171.txt	1999/08/31 22:53:55	1.4
+++ ais/ai-00171.txt	1999/09/16 20:40:30	1.5
@@ -1,4 +1,4 @@
-!standard 03.08    (18)                               99-08-31  AI95-00171/04
+!standard 03.08    (18)                               99-09-15  AI95-00171/05
 !standard 03.03.01 (18)
 !standard 04.03.01 (19)
 !standard 04.08    (10)
@@ -164,20 +164,20 @@
 @drepl
 Within the definition of a composite type, if a @fa<component_definition> or
 @fa<discrete_subtype_definition> (see 9.5.2) includes a @fa<name> that denotes
-a discriminant of the type, or that is an @fa<attribute_reference> whose prefix
-denotes the current instance of the type, the expression containing the
-@fa<name> is called a @i<per-object expression>, and the constraint being
+a discriminant of the type, or that is an @fa<attribute_reference> whose
+@fa<prefix> denotes the current instance of the type, the expression containing
+the @fa<name> is called a @i<per-object expression>, and the constraint being
 defined is called a @i<per-object constraint>. For the elaboration of a
-@fa<component_definition> of a @fa<component_declaration>, if the constraint
+@fa<component_definition> of a @fa<component_declaration>, if the @fa<constraint>
 of the @fa<subtype_indication> is not a per-object constraint, then the
-@fa<subtype_indication> is elaborated. On the other hand, if the constraint
+@fa<subtype_indication> is elaborated. On the other hand, if the @fa<constraint>
 is a per-object constraint, then the elaboration consists of the evaluation
 of any included expression that is not part of a per-object expression.
 @dby
 Within the definition of a composite type, if a @fa<component_definition> or
 @fa<discrete_subtype_definition> (see 9.5.2) includes a @fa<name> that denotes
-a discriminant of the type, or that is an @fa<attribute_reference> whose prefix
-denotes the current instance of the type, the expression containing the
+a discriminant of the type, or that is an @fa<attribute_reference> whose
+@fa<prefix> denotes the current instance of the type, the expression containing the
 @fa<name> is called a @i<per-object expression>, and the @fa<constraint> or
 @fa<range> being defined is called a @i<per-object constraint>. For the
 elaboration of a @fa<component_definition> of a @fa<component_declaration> or
@@ -205,7 +205,7 @@
 For the elaboration of an @fa<entry_declaration> for an entry family, if the
 @fa<discrete_subtype_definition> contains no per-object expressions (see 3.8),
 then the @fa<discrete_subtype_definition> is elaborated. Otherwise, the
-elaboration of the entry_declaration consists of the evaluation of any
+elaboration of the @fa<entry_declaration> consists of the evaluation of any
 expression of the @fa<discrete_subtype_definition> that is not a per-object
 expression (or part of one). The elaboration of an @fa<entry_declaration> for a
 single entry has no effect.

Questions? Ask the ACAA Technical Agent