CVS difference for ais/ai-00279.txt

Differences between 1.13 and version 1.14
Log of other versions for file ais/ai-00279.txt

--- ais/ai-00279.txt	2005/06/16 23:47:21	1.13
+++ ais/ai-00279.txt	2005/08/21 06:00:22	1.14
@@ -1,8 +1,7 @@
-!standard  13.13.02 (34)                              05-02-03  AI95-00279/08
+!standard  13.13.02 (34)                              05-08-08  AI95-00279/09
 !standard  3.09 (12)
 !standard  3.09 (26)
 !standard  13.13.02 (36/1)
-!standard  13.13.02 (38)
 !standard  13.14 (19/1)
 !class binding interpretation 01-12-21
 !status Amendment 200Y 04-09-24
@@ -71,8 +70,8 @@
 Erroneous Execution
 
 If the internal tag returned by Internal_Tag to T'Class'Input identifies a
-specific type whose tag has not been created, or does not exist in the
-partition at the time of the call, execution is erroneous.
+type that is not library-level and whose tag has not been created, or does not
+exist in the partition at the time of the call, execution is erroneous.
 
 AARM Note
 
@@ -80,13 +79,6 @@
 T'Class'Input if T is a library-level type. However, this is needed for nested
 tagged types.
 
-Add after 13.13.2(38):
-
-33 If the prefix subtype S of function S'Class'Input is a library-level
-subtype, then reading a value of a type which has not yet been frozen with the
-S'Class'Input function will always raise Tag_Error; execution cannot be
-erroneous.
-
 Add after 13.14(19/1):
 
 Dynamic Semantics
@@ -252,7 +244,7 @@
 Tags.Internal_Tag(String'Input(@i<Stream>)) @emdash see 3.9) and then dispatches to
 the subprogram denoted by the Input attribute of the specific type identified
 by the internal tag; returns that result. If the specific type identified by
-the internal tag is not covered by T'Class or is abstract, Constraint_Error is
+the internal tag is not covered by @i<T>'Class or is abstract, Constraint_Error is
 raised.>
 
 !corrigendum 13.13.02(36/1)
@@ -272,19 +264,8 @@
 @i<@s8<Erroneous Execution>>
 
 If the internal tag returned by Internal_Tag to T'Class'Input identifies a
-specific type whose tag has not been created, or does not exist in the
-partition at the time of the call, execution is erroneous.
-
-!corrigendum 13.13.2(38)
-
-@dinsa
-@xindent<@s9<32  User-specified attributes of S'Class are not inherited by other
-class-wide types descended from S.>>
-@dinst
-@xindent<@s9<33  If the prefix subtype S of function S'Class'Input is a library-level
-subtype, then reading a value of a type which has not yet been frozen with the
-S'Class'Input function will always raise Tag_Error; execution cannot be
-erroneous.>>
+type that is not library-level and whose tag has not been created, or does not
+exist in the partition at the time of the call, execution is erroneous.
 
 !corrigendum 13.14(19/1)
 

Questions? Ask the ACAA Technical Agent