CVS difference for ai05s/ai05-0003-1.txt

--- ai05s/ai05-0003-1.txt	2007/12/13 04:39:33	1.5
+++ ai05s/ai05-0003-1.txt	2008/11/15 05:50:27	1.6
@@ -1,4 +1,4 @@
-!standard  3.3(11)                                   07-10-29    AI05-0003-1/02
+!standard  3.3(11)                                   08-11-14    AI05-0003-1/03
 !standard  3.3(21)
 !standard  4.1(2)
 !standard  4.4(7)
@@ -145,9 +145,87 @@
     
     L := Arr_Ptr'(Overloaded_Function_Returning_Arr_Ptr)'Length;
     
+
+!corrigendum 3.3(11)
+
+@dinsa
+@xbullet<the result of evaluating an @fa<aggregate>;>
+@dinst
+@xbullet<a @fa<qualified_expression> whose operand denotes an object;>
+
+!corrigendum 3.3(21)
+
+@dinsta
+@xbullet<the result of evaluating a @fa<function_call> or an @fa<aggregate>;>
+@dinstt
+@xbullet<the result of evaluating a @fa<qualified_expression>;>
+    
+!corrigendum 4.1(2)
+
+@drepl
+@xcode<@fa<name> ::= 
+     @fa<direct_name> | @fa<explicit_dereference>
+   | @fa<indexed_component> | @fa<slice>
+   | @fa<selected_component> | @fa<attribute_reference>
+   | @fa<type_conversion> | @fa<function_call>
+   | @fa<character_literal>>
+@dby
+@xcode<@fa<name> ::= 
+     @fa<direct_name> | @fa<explicit_dereference>
+   | @fa<indexed_component> | @fa<slice>
+   | @fa<selected_component> | @fa<attribute_reference>
+   | @fa<type_conversion> | @fa<function_call>
+   | @fa<character_literal> | @fa<qualified_expression>>
+
+!corrigendum 4.4(7)
+
+@drepl
+@xcode<@fa<primary> ::= 
+   @fa<numeric_literal> | @b<null> | @fa<string_literal> | @fa<aggregate>
+ | @fa<name> | @fa<qualified_expression> | @fa<allocator> | (@fa<expression>)>
+@dby
+@xcode<@fa<primary> ::= 
+   @fa<numeric_literal> | @b<null> | @fa<string_literal> | @fa<aggregate>
+ | @fa<name> | @fa<allocator> | (@fa<expression>)>
+
+!corrigendum 4.7(3)
+
+@dinsa
+The @i<operand> (the @fa<expression> or @fa<aggregate>)
+shall resolve to be of the type determined by the @fa<subtype_mark>,
+or a universal type that covers it.
+@dinsa
+@s8<@b<Static Semantics>>
+      
+If the operand of a @fa<qualified_expression> denotes an object, the
+@fa<qualified_expression> denotes a constant view of that object. The
+nominal subtype of a @fa<qualified_expression> is the subtype denoted by
+the @fa<subtype_mark>.
+   
+!corrigendum 5.4(7)
+
+@drepl
+@Xbullet<If the @fa<expression> is a @fa<name> (including a
+@fa<type_conversion> or a @fa<function_call>)
+having a static and constrained nominal subtype, or is a
+@fa<qualified_expression> whose @fa<subtype_mark> denotes a static and
+constrained scalar subtype, then each non-others @fa<discrete_choice>
+shall cover only values in that subtype, and each value of that
+subtype shall be covered by some @fa<discrete_choice> 
+(either explicitly or by others).>
+@dby
+@Xbullet<If the @fa<expression> is a @fa<name> (including a
+@fa<type_conversion>, a @fa<qualified_expression>, or a @fa<function_call>)
+having a static and constrained nominal subtype, then each non-others
+@fa<discrete_choice> shall cover only values in that subtype, and each
+value of that subtype shall be covered by some @fa<discrete_choice> 
+(either explicitly or by others).>
+
     
 !ACATS test
 
+Add ACATS tests using qualified expressions as names, including cases like those in the examples,
+and function results renamed as objects.
 
 !appendix