CVS difference for ais/ai-00131.txt
--- ais/ai-00131.txt 1999/09/16 20:40:29 1.13
+++ ais/ai-00131.txt 2000/04/14 01:45:07 1.14
@@ -1,4 +1,4 @@
-!standard B.1 (01) 99-09-15 AI95-00131/10
+!standard B.1 (01) 00-04-11 AI95-00131/11
!standard B.1 (13-18)
!standard B.1 (60-61)
!standard B.1 (68-69)
@@ -138,13 +138,13 @@
subprograms that convert between String and char_array, except that
wide_nul is used instead of nul.>
@dinss
-A Convention pragma with @fa<@i<convention>_identifier> C_Pass_By_Copy may
+A Convention pragma with @fa<@i<convention>_identifier> C_Pass_By_Copy shall
only be applied to a type.
-A type T is eligible for convention C_Pass_By_Copy if T is a record type that
-has no discriminants and that only has components with statically constrained
-subtypes, and each component is C-compatible. (The eligibility rules
-in B.1 do not apply to convention C_Pass_By_Copy.)
+The eligibility rules in B.1 do not apply to convention C_Pass_By_Copy.
+Instead, a type T is eligible for convention C_Pass_By_Copy if T is a record
+type that has no discriminants and that only has components with statically
+constrained subtypes, and each component is C-compatible.
If a type is C_Pass_By_Copy-compatible then it is also C-compatible.
@@ -170,7 +170,7 @@
temporary copy is used to preserve by-copy semantics.>
@dinst
@xbullet<An Ada parameter of a C_Pass_By_Copy-compatible (record) type T,
-of mode @b<in>, should be passed as a t argument to a C function, where t is the
+of mode @b<in>, is passed as a t argument to a C function, where t is the
C struct corresponding to the Ada type T.>
!corrigendum B.03(69)
Questions? Ask the ACAA Technical Agent