CVS difference for ai05s/ai05-0277-1.txt
--- ai05s/ai05-0277-1.txt 2012/03/27 01:55:21 1.3
+++ ai05s/ai05-0277-1.txt 2012/11/08 03:40:39 1.4
@@ -1,4 +1,4 @@
-!standard 3.1(6/2) 11-11-12 AI05-0277-1/01
+!standard 3.1(6/2) 12-11-07 AI05-0277-1/02
!standard 3.10(9/2)
!standard 6.5(2.1/2)
!standard 6.5(5.6/2)
@@ -36,10 +36,16 @@
!wording
-Modify 3.1(6/3):
+Replace 3.1(6/3) with:
+Each of the following is defined to be a declaration: any basic_declaration;
+an enumeration_literal_specification; a discriminant_specification;
+a component_declaration; a loop_parameter_specification;
+an iterator_specification; a parameter_specification;
+a subprogram_body; an extended_return_object_declaration;
+an entry_declaration; an entry_index_specification;
+a choice_parameter_specification; a generic_formal_parameter_declaration.
-
Modify 3.10(9/3):
A view of an object is defined to be *aliased* if it is defined by an
@@ -55,6 +61,11 @@
an access value.
Replace 6.5(2.1/3) with:
+
+extended_return_statement ::=
+ return extended_return_object_declaration [do
+ handled_sequence_of_statements
+ end return];
Add after 6.5(5.8/3):
Questions? Ask the ACAA Technical Agent