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

Differences between 1.6 and version 1.7
Log of other versions for file ai12s/ai12-0086-1.txt

--- ai12s/ai12-0086-1.txt	2016/02/16 03:20:41	1.6
+++ ai12s/ai12-0086-1.txt	2016/04/23 01:27:25	1.7
@@ -106,6 +106,52 @@
 
 (See question.)
 
+!corrigendum 4.3.1(17/3)
+
+@drepl
+The value of a discriminant that governs a @fa<variant_part> @i<P> shall
+be given by a static expression, unless @i<P> is nested within a
+@fa<variant> @i<V> that is not selected by the discriminant value
+governing the @fa<variant_part> enclosing @i<V>.
+@dby
+If a @fa<variant_part> @i<P> is nested within a @fa<variant> @i<V> that is not
+selected by the discriminant value governing the @fa<variant_part> enclosing
+@i<V>, then there is no restriction on the discriminant governing @i<P>.
+Otherwise, the value of the discriminant that governs @i<P> shall be given by
+a static expression, or by a nonstatic expression having a constrained static
+nominal subtype. In this latter case of a nonstatic expression, there shall be
+exactly one @fa<discrete_choice_list> of @i<P> that covers each value that
+belongs to the nominal subtype and satisfies the predicates of the subtype,
+and there shall be at least one such value.
+
+
+!corrigendum 4.3.1(19)
+
+@drepl
+For the evaluation of a @fa<record_component_association_list>, any per-object
+constraints (see 3.8) for components specified in the association list are
+elaborated and any @fa<expression>s are evaluated and converted to the subtype
+of the associated component. Any constraint elaborations and @fa<expression>
+evaluations (and conversions) occur in an arbitrary order, except that the
+@fa<expression> for a discriminant is evaluated (and converted) prior to the
+elaboration of any per-object constraint that depends on it, which in turn
+occurs prior to the evaluation and conversion of the @fa<expression> for the
+component with the per-object constraint.
+@dby
+For the evaluation of a @fa<record_component_association_list>, any per-object
+constraints (see 3.8) for components specified in the association list are
+elaborated and any @fa<expression>s are evaluated and converted to the subtype
+of the associated component. Any constraint elaborations and @fa<expression>
+evaluations (and conversions) occur in an arbitrary order, except that the
+@fa<expression> for a discriminant is evaluated (and converted) prior to the
+elaboration of any per-object constraint that depends on it, which in turn
+occurs prior to the evaluation and conversion of the @fa<expression> for the
+component with the per-object constraint. If the value of a discriminant that
+governs a selected @fa<variant_part>  @i<P> is given by a nonstatic
+@fa<expression>, and the evaluation of that @fa<expression> yields a value
+that does not belong to the nominal subtype of the @fa<expression>, then
+Constraint_Error is raised.
+
 !ASIS
 
 No ASIS effect.

Questions? Ask the ACAA Technical Agent