CVS difference for ais/ai-00270.txt

Differences between 1.4 and version 1.5
Log of other versions for file 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