CVS difference for ais/ai-00270.txt
--- ais/ai-00270.txt 2003/03/04 04:56:22 1.4
+++ ais/ai-00270.txt 2003/05/24 00:51:37 1.5
@@ -1,4 +1,4 @@
-!standard 13.13.02 (02) 03-02-18 AI95-00270/04
+!standard 13.13.02 (02) 03-05-03 AI95-00270/05
!standard 13.13.02 (09/1)
!standard 13.13.02 (17)
!class amendment 01-05-25
@@ -29,7 +29,7 @@
!proposal
-(See Wording.)
+(See wording.)
!wording
@@ -44,8 +44,8 @@
type T is:
T'Stream_Size / Ada.Streams.Stream_Element'Size.
- The value of this attribute is type universal_integer and a multiple of
- Stream_Element'Size.
+ The value of this attribute is of type universal_integer and is
+ a multiple of Stream_Element'Size.
Stream_Size may be specified for first subtypes via an
attribute_definition_clause; the expression of such a clause shall
@@ -59,18 +59,18 @@
Stream_Size clause should be supported for an elementary type T if the
specified Stream_Size is a multiple of Stream_Element'Size and is no less than
the size of the first subtype of T, and no greater than the size of the largest
-type of the same elementary class (signed integer, modular integer, float,
-ordinary fixed, decimal fixed, or access).
+type of the same elementary class (signed integer, modular integer, floating
+point, ordinary fixed point, decimal fixed point, or access).
Insert after 13.13.2(9/1):
Constraint_Error is raised by the predefined Write attribute if the value of
the elementary item is outside the range of values representable using
-Stream_Size bits. For a signed integer type, an enumeration type, or a
-fixed-point type, the range is unsigned only if the integer code for the first
-subtype low bound is non-negative, and a (symmetric) signed range that covers
-all values of the first subtype would require more than Stream_Size bits;
-otherwise the range is signed.
+Stream_Size bits. For a signed integer type, an enumeration type, or a fixed
+point type, the range is unsigned only if the integer code for the lower bound
+of the first subtype is non-negative, and a (symmetric) signed range that
+covers all values of the first subtype would require more than Stream_Size
+bits; otherwise the range is signed.
Replace the Implementation Advice 13.13.2(17) by:
@@ -109,7 +109,7 @@
different implementations would choose different sizes for stream elements,
but that doesn't seem to happen in practice on typical hardware.)
-The only issue with that approach is that the stream-oriented attributes for
+The only issue with this approach is that the stream-oriented attributes for
scalar types have a second parameter of type T'Base, e.g.:
procedure S'Write (Stream : access Ada.Streams.Root_Stream_Type'Class;
@@ -145,8 +145,8 @@
type T is:>
@xcode< T'Stream_Size / Ada.Streams.Stream_Element'Size>
-@xindent<The value of this attribute is type universal_integer and a multiple of
-Stream_Element'Size.>
+@xindent<The value of this attribute is of type universal_integer and is a
+multiple of Stream_Element'Size.>
@xindent<Stream_Size may be specified for first subtypes via an
attribute_definition_clause; the expression of such a clause shall
@@ -158,8 +158,8 @@
Stream_Size clause should be supported for an elementary type T if the
specified Stream_Size is a multiple of Stream_Element'Size and is no less than
the size of the first subtype of T, and no greater than the size of the largest
-type of the same elementary class (signed integer, modular integer, float,
-ordinary fixed, decimal fixed, or access).
+type of the same elementary class (signed integer, modular integer, floating
+point, ordinary fixed point, decimal fixed point, or access).
!corrigendum 13.13.2(9/1)
@@ -181,10 +181,10 @@
Constraint_Error is raised by the predefined Write attribute if the value of
the elementary item is outside the range of values representable using
Stream_Size bits. For a signed integer type, an enumeration type, or a
-fixed-point type, the range is unsigned only if the integer code for the first
-subtype low bound is non-negative, and a (symmetric) signed range that covers
-all values of the first subtype would require more than Stream_Size bits;
-otherwise the range is signed.
+fixed point type, the range is unsigned only if the integer code for the lower
+bound of the first subtype is non-negative, and a (symmetric) signed range that
+covers all values of the first subtype would require more than Stream_Size
+bits; otherwise the range is signed.
!corrigendum 13.13.2(17)
@@ -202,7 +202,7 @@
!ACATS test
An ACATS C-Test needs to be created to test support of the Stream_Size
-attribute. Include specification of the attribute.
+attribute. The test should include specification of the attribute.
!appendix
Questions? Ask the ACAA Technical Agent