Re: S'Write and How To Count Bytes

[Ted Dennison <dennison@telepath.com>]

Randy Brukardt wrote:

> Robert A Duff wrote in message ...
> >Ted Dennison <dennison@telepath.com> writes:
> >
> >> I'm not sure if implementors are required to make 'Write on unbounded
> >> strings (or bounded ones for that matter) do anything sensible. I
> don't
> >> see anything in the LRM about it, so I'd guess not.
> >
> >I think there's an AI on this.
>
> Indeed, it is in the Technical Corrigendum. See 13.13.2(36.1/1) in the
> revised ARM.

OK. I went and checked out the nifty new ARM in PDF form (html doesn't have
page numbers, presumably due to the formatting limitations of html). Here's
what it says:

     {8652/0040} For every subtype S of a language-defined nonlimited
     specific type T, the output generated by S'Output or S'Write shall
     be readable by S'Input or S'Read, respectively. This rule applies
     across partitions if the implementation conforms to the
     Distributed Systems Annex.
     36.1/1

Now just reading this cold, I would have figured that "language-defined
type" meant types defined by the language itself (eg: Integer), rather than
defined in a package (eg: System.Address or
Ada.Strings.Unbounded.Unbounded_String). Thus this passage really wouldn't
have anything to say about the workability of Unbounded_String'Write.

BTW: Good job to everyone involved.

--
T.E.D.

Home - mailto:dennison@telepath.com  Work - mailto:dennison@ssd.fsi.com
WWW  - http://www.telepath.com/dennison/Ted/TED.html  ICQ  - 10545591