CVS difference for ais/ai-00252.txt

Differences between 1.14 and version 1.15
Log of other versions for file ais/ai-00252.txt

--- ais/ai-00252.txt	2005/02/08 07:12:26	1.14
+++ ais/ai-00252.txt	2005/04/13 05:37:02	1.15
@@ -312,21 +312,21 @@
 view of a subprogram whose first parameter is an access parameter, the
 @fa<prefix> shall denote an aliased view of an object.
 
-!corrigendum 4.1.3(15)
-
-@dinsa
-For a @fa<selected_component> that denotes a component of a @fa<variant>, a
-check is made that the values of the discriminants are such that the value or
-object denoted by the @fa<prefix> has this component. The exception
-Constraint_Error is raised if this check fails.
-@dinst
-For a @fa<selected_component> with a tagged @fa<prefix> and a @fa<selector_name>
-that denotes a view of a subprogram, a call on the view denoted by the
-@fa<selected_component> is equivalent to a call on the subprogram
-with the first actual parameter being provided by the object or value denoted
-by the @fa<prefix> (or the Access attribute of this object or value if the
-first formal parameter is an access parameter), and the remaining actual
-parameters given by the @fa<actual_parameter_part>, if any.
+!comment corrigendum 4.1.3(15) - These changes were removed by AI-00407.
+!comment
+!comment @dinsa
+!comment For a @fa<selected_component> that denotes a component of a @fa<variant>, a
+!comment check is made that the values of the discriminants are such that the value or
+!comment object denoted by the @fa<prefix> has this component. The exception
+!comment Constraint_Error is raised if this check fails.
+!comment @dinst
+!comment For a @fa<selected_component> with a tagged @fa<prefix> and a @fa<selector_name>
+!comment that denotes a view of a subprogram, a call on the view denoted by the
+!comment @fa<selected_component> is equivalent to a call on the subprogram
+!comment with the first actual parameter being provided by the object or value denoted
+!comment by the @fa<prefix> (or the Access attribute of this object or value if the
+!comment first formal parameter is an access parameter), and the remaining actual
+!comment parameters given by the @fa<actual_parameter_part>, if any.
 
 !corrigendum 4.1.3(17)
 

Questions? Ask the ACAA Technical Agent