CVS difference for ai12s/cor15con.txt

Differences between 1.3 and version 1.4
Log of other versions for file ai12s/cor15con.txt

--- ai12s/cor15con.txt	2014/07/24 04:20:02	1.3
+++ ai12s/cor15con.txt	2014/11/14 02:30:41	1.4
@@ -274,6 +274,54 @@
 exception is propagated rather than the one denoted by the @i<exception_>@fa<name>
 of the @fa<raise_statement> or @fa<raise_expression>.>>
 
+!corrigendum 13.13.2(38/3)
+!AI-0106-1
+!AI-0121-1
+
+@drepl
+The stream-oriented attributes may be specified for any type via an
+@fa<attribute_definition_clause>. The subprogram name given in such a clause
+shall statically denote a subprogram that is not an abstract subprogram.
+Furthermore, if a stream-oriented attribute is specified for an interface type
+by an @fa<attribute_definition_clause>, the subprogram name given in the
+clause shall statically denote a null procedure.
+@dby
+The stream-oriented attributes may be specified for any type via an
+@fa<attribute_definition_clause>. Alternatively, each of the
+specific stream-oriented attributes may be specified using an
+@fa<aspect_specification> on any @fa<type_declaration>, with the aspect name
+being the corresponding attribute name. Each of the class-wide stream-oriented
+attributes may be specified using an
+@fa<aspect_specification> for a tagged type @i<T> using the name of the
+stream-oriented attribute followed by 'Class; such class-wide aspects do not
+apply to other descendants of @i<T>.
+
+The subprogram name given in such an @fa<attribute_definition_clause> or
+@fa<aspect_specification> shall statically denote a subprogram that is not an
+abstract subprogram. Furthermore, if a specific stream-oriented attribute is
+specified for an interface type, the subprogram name given in the
+@fa<attribute_definition_clause> or @fa<aspect_specification> shall statically
+denote a null procedure.
+
+!corrigendum 13.14(5/3)
+!AI-0103-1
+!AI-0132-1
+
+@dinsa
+@xbullet<The occurrence of a @fa<generic_instantiation> causes freezing, except that
+a @fa<name> which is a generic actual parameter whose corresponding
+generic formal parameter is a formal incomplete type (see 12.5.1)
+does not cause freezing. In addition, if a
+parameter of the instantiation is defaulted, the @fa<default_expression> or
+@fa<default_name> for that parameter causes freezing.>
+@dinss
+@xbullet<At the occurrence of an @fa<expression_function_declaration> that is
+completion, the @fa<expression> of the expression function causes freezing.>
+
+@xbullet<At the occurrence of a renames-as-body whose @i<callable_entity_>@fa<name>
+denotes an expression function, the @fa<expression> of the expression function causes
+freezing.>
+
 !corrigendum A(3)
 !AI-0052-1
 !AI-0114-1

Questions? Ask the ACAA Technical Agent