CVS difference for ais/ai-00230.txt

--- ais/ai-00230.txt	2003/11/27 02:01:12	1.13
+++ ais/ai-00230.txt	2004/01/23 04:59:23	1.14
@@ -1,4 +1,4 @@
-!standard 03.04.01(06)                               03-11-19  AI95-00230/09
+!standard 03.04.01(06)                               04-01-09  AI95-00230/10
 !standard 03.06(07)
 !standard 03.06(22/1)
 !standard 03.07(10)
@@ -21,6 +21,8 @@
 !standard 08.06(25)
 !standard 13.11(25)
 !class amendment 00-04-13
+!status Amendment 200Y 04-01-09
+!status ARG Approved 8-0-4  03-12-12
 !status work item 00-10-27
 !status ARG Approved 10-0-0  03-10-03
 !status work item 00-04-13
@@ -166,15 +168,6 @@
 
 !wording
 
-Change 3.4.1(3) as follows:
-
-   Every type is either a specific type, a class-wide type, or a universal
-   type. A specific type is one defined by a type_declaration, a
-   formal_type_declaration, an access_definition, or a full type definition
-   embedded in a declaration for an object. Class-wide and universal types are
-   implicitly defined, to act as representatives for an entire class of types,
-   as follows:
-
 Change 3.4.1(6) as follows:
 
    Universal Types
@@ -486,22 +479,6 @@
 as there is no limit to the types that could be constructed (T'Access'Access,
 T'Access'Access'Access, etc.)
 
-!corrigendum 3.4.1(3)
-
-@drepl
-Every type is either a @i<specific> type, a @i<class-wide> type, or a
-@i<universal> type. A specific type is one defined by a @fa<type_declaration>, a
-@fa<formal_type_declaration>, or a full type definition embedded in a declaration
-for an object. Class-wide and universal types are implicitly defined, to act as
-representatives for an entire class of types, as follows:
-@dby
-Every type is either a @i<specific> type, a @i<class-wide> type, or a
-@i<universal> type. A specific type is one defined by a @fa<type_declaration>,
-a @fa<formal_type_declaration>, an @fa<access_definition>, or a full type
-definition embedded in a declaration for an object. Class-wide and universal
-types are implicitly defined, to act as representatives for an entire class of
-types, as follows:
-
 !corrigendum 3.4.1(6)
 
 @drepl
@@ -676,7 +653,7 @@
 !corrigendum 4.2(7)
 
 @drepl
-A literal @fa<null> shall not be of a specific anonymous access type, since
+A literal @fa<null> shall not be of an anonymous access type, since
 such types do not have a null value (see 3.10).
 @dby
 A literal @b<null> shall not be of a specific anonymous access type, since such
@@ -747,11 +724,11 @@
 !corrigendum 4.6(49)
 
 @drepl
-@xbullet<If the target type is an anonymous access type, a check is made that
+@xinbull<If the target type is an anonymous access type, a check is made that
 the value of the operand is not null; if the target is not an anonymous access
 type, then the result is null if the operand value is null.>
 @dby
-@xbullet<If the target type is a specific anonymous access type, a check is made
+@xinbull<If the target type is a specific anonymous access type, a check is made
 that the value of the operand is not null; if the target is not a specific
 anonymous access type, then the result is null if the operand value is null.>
 
@@ -798,9 +775,13 @@
 !corrigendum 8.6(25)
 
 @drepl
-@xbullet<when @i<T> is an anonymous access type (see 3.10) with designated type
+@xinbull<when @i<T> is an anonymous access type (see 3.10) with designated type
 @i<D>, to an access-to-variable type whose designated type is @i<D>'Class or is
 covered by @i<D>.>
+@dby
+@xinbull<when @i<T> is a specific anonymous access type (see 3.10) with
+designated type @i<D>, to an access-to-variable type whose designated type is
+@i<D>'Class or is covered by @i<D>.>
 
 !corrigendum 13.11(25)
 
@@ -818,7 +799,7 @@
 initializing the access discriminant;>
 @xbullet<Otherwise, the storage pool should be created at the point of the
 @fa<allocator>, and be reclaimed when the allocated object becomes
-inaccessible.
+inaccessible.>
 
 !ACATS test