Re: S'Write and How To Count Bytes

["Randy Brukardt" <randy@rrsoftware.com>]

Ted Dennison wrote in message <3A061E9A.B8F76112@telepath.com>...
>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.

Of course, "language-defined" means anything defined by the standard,
and thus includes the contents of any of the language-defined packages.

This rule is just trying to say that these things will work, even if the
native implementation wouldn't work naturally. But that's hard to say in
Reference Manual terms.

                Randy.