CVS difference for ai12s/cor15con.txt

Differences between 1.6 and version 1.7
Log of other versions for file ai12s/cor15con.txt

--- ai12s/cor15con.txt	2014/11/19 20:58:28	1.6
+++ ai12s/cor15con.txt	2015/01/30 05:23:10	1.7
@@ -237,6 +237,23 @@
 illegal.
 
 
+!corrigendum 7.3.2(3/3)
+!AI-0041-1
+!AI-0150-1
+
+@drepl
+@xhang<@xterm<Type_Invariant'Class>
+This aspect shall be specified by an @fa<expression>, called an
+@i<invariant expression>. Type_Invariant'Class may be specified on a
+@fa<private_type_declaration> or a @fa<private_extension_declaration>.>
+@dby
+@xhang<@xterm<Type_Invariant'Class>
+This aspect shall be specified by an @fa<expression>, called an
+@i<invariant expression>. Type_Invariant'Class may be specified on a
+@fa<private_type_declaration>, a @fa<private_extension_declaration>, or
+a @fa<full_type_declaration> for an interface type. Type_Invariant'Class
+determines a @i<class-wide type invariant> for a tagged type.>
+
 !corrigendum 7.3.2(10/3)
 !AI-0049-1
 !AI-0133-1
@@ -259,6 +276,7 @@
 !corrigendum 7.3.2(19/3)
 !AI-0042-1
 !AI-0044-1
+!AI-0149-1
 
 @drepl
 @xinbull<has a result with a part of type @i<T>, or one or more
@@ -272,7 +290,7 @@
 @xi2bull<has one or more @b<out> or @b<in out> parameters with a part of type
 @i<T>, or>
 
-@xi2bull<has an access-to-object parameter whose designated type has a part
+@xi2bull<has an access-to-object parameter or result whose designated type has a part
 of type @i<T>, or>
 
 @xi2bull<is a procedure or entry that has an @b<in> parameter with a part of
@@ -317,6 +335,38 @@
 1  If the evaluation of a @i<string_>@fa<expression> raises an exception, that
 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.11.3(5/3)
+!AI-0003-1
+!AI-0136-1
+
+@drepl
+The language-defined aspect Default_Storage_Pool may be specified for a generic
+instance; it defines the
+default pool for access types within an instance. The expected type for the
+Default_Storage_Pool aspect is Root_Storage_Pool'Class. The @fa<aspect_definition>
+must be a name that denotes a variable. This aspect overrides any
+Default_Storage_Pool pragma that might apply to the generic unit; if the aspect
+is not specified, the default pool of the instance is that defined for the generic
+unit.
+@dby
+The language-defined aspect Default_Storage_Pool may be specified for a
+generic instance; it defines the default pool for access types within an
+instance. The Default_Storage_Pool aspect may be specified as Standard,
+which is an identifier specific to an aspect (see 13.1.1) and
+defines the default pool to be Standard. When the Default_Storage_Pool aspect
+is specified as Standard, then there shall not be a declaration with defining
+identifier Standard that is immediately visible at the point of the aspect,
+other than package Standard itself.
+
+Otherwise, the expected type for the Default_Storage_Pool aspect is
+Root_Storage_Pool'Class and the @fa<aspect_definition> shall be a
+@fa<name> that denotes a variable. This aspect overrides any Default_Storage_Pool
+pragma that might apply to the generic unit; if the aspect is not specified,
+the default pool of the instance is that defined for the generic unit.
+
+The effect of specifying the aspect Default_Storage_Pool on an instance of a
+language-defined generic unit is implementation-defined.
 
 !corrigendum 13.13.2(38/3)
 !AI-0106-1

Questions? Ask the ACAA Technical Agent