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

Differences between 1.2 and version 1.3
Log of other versions for file ai12s/ai12-0244-1.txt

--- ai12s/ai12-0244-1.txt	2018/01/27 04:54:51	1.2
+++ ai12s/ai12-0244-1.txt	2018/01/30 05:07:24	1.3
@@ -1,14 +1,16 @@
-!standard 3.5(39.4/3)                                     18-01-11  AI12-0244-1/01
+!standard 3.5(39.4/3)                                     18-01-29  AI12-0244-1/02
 !standard 3.5(39.5/3)
 !standard 3.5(39.12/3)
 !standard 11.5(17)
 !class binding interpretation 18-01-11
+!status Amendment 1-2012 18-01-29
+!status ARG Approved 11-0-0  18-01-29
 !status work item 18-01-11
 !status received 17-04-28
 !priority Low
 !difficulty Easy
 !qualifier Omission
-!subject Check names for Value attributes
+!subject Check name for Value attributes
 !summary
 
 Add the Value, Wide_Value, and Wide_Wide_Value attributes to the description of
@@ -40,11 +42,33 @@
 check that when the result of an operation yields an array, the value of each
 component belongs to the component subtype.{ Also, for the attributes Value,
 Wide_Value, and Wide_Wide_Value, check that the given string has the appropriate
-syntax and value for the base type of the attribute.}
+syntax and value for the base subtype of the prefix of the attribute_reference.}
 
 
 The redundant markers should be removed from 11.5(11/2-23), except for the
 lead-in text.
+
+!corrigendum 11.5(17)
+
+@drepl
+@xhang<@xterm<Range_Check>
+Check that a scalar value satisfies a range constraint. Also, for the
+elaboration of a @fa<subtype_indication>, check that the @fa<constraint> (if
+present) is compatible with the subtype denoted by the @fa<subtype_mark>. Also,
+for an @fa<aggregate>, check that an index or discriminant value belongs to the
+corresponding subtype. Also, check that when the result of an operation yields
+an array, the value of each component belongs to the component subtype.>
+@dby
+@xhang<@xterm<Range_Check>
+Check that a scalar value satisfies a range constraint. Also, for the
+elaboration of a @fa<subtype_indication>, check that the @fa<constraint> (if
+present) is compatible with the subtype denoted by the @fa<subtype_mark>. Also,
+for an @fa<aggregate>, check that an index or discriminant value belongs to the
+corresponding subtype. Also, check that when the result of an operation yields
+an array, the value of each component belongs to the component subtype. Also,
+for the attributes Value, Wide_Value, and Wide_Wide_Value, check that the given
+string has the appropriate syntax and value for the base subtype of the
+@fa<prefix> of the @fa<attribute_reference>.>
 
 !discussion
 

Questions? Ask the ACAA Technical Agent