CVS difference for ais/ai-00216.txt

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

--- ais/ai-00216.txt	2003/05/24 00:51:34	1.13
+++ ais/ai-00216.txt	2003/06/06 19:34:50	1.14
@@ -1,4 +1,4 @@
-!standard B.03.03      (00)                         03-05-03  AI95-00216/12
+!standard B.03.03      (00)                         03-06-06  AI95-00216/13
 !standard B.03         (60.2)
 !class amendment 99-03-23
 !status Amendment 200Y 03-02-17
@@ -47,11 +47,14 @@
 The Ada type may, but need not, have defaults for all discriminants. All
 objects of the type, even if limited or allocated in the heap (and hence
 effectively constrained by the initial discriminant values), must be allocated
-the size C would allocate for the corresponding struct/union, which will be at
-least the maximum size required for any discriminant value.  This is because
-any whole-object assignments performed to or from such an object by the C code
-will generally involve this maximum size, even if the assignments preserve the
-(conceptual) discriminant value.
+the same size, which will be at least the maximum size required for any
+discriminant value. As with any type with a specified Convention, this should
+be the same as the corresponding construct in the specified language
+implementation. For C, this should be the size C would allocate for the
+corresponding struct/union. This is needed for the intended use of interfacing
+to C, because any whole-object assignments performed to or from such an object
+by the C code will generally involve this maximum size, even if they preserve
+the (conceptual) discriminant value.
 
 Each discriminant of an object of an unchecked union type must be specified
 (explicitly or implicitly) when the object is created, even though its value is

Questions? Ask the ACAA Technical Agent