--- 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