From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,2e66fe8b30e3ee2c X-Google-Attributes: gid103376,public From: "Randy Brukardt" Subject: Re: S'Write and How To Count Bytes Date: 2000/10/06 Message-ID: #1/1 X-Deja-AN: 678550748 References: <39D6891A.7DC448B6@acm.org><39D88ACE.92DF8897@acm.org> <8raa11$nmg$1@nnrp1.deja.com> <3A061E9A.B8F76112@telepath.com> X-Mimeole: Produced By Microsoft MimeOLE V4.72.3719.2500 X-Complaints-To: abuse@alpha.net X-Trace: homer.alpha.net 970893869 156.46.62.124 (Fri, 06 Oct 2000 23:44:29 CDT) NNTP-Posting-Date: Fri, 06 Oct 2000 23:44:29 CDT Newsgroups: comp.lang.ada Date: 2000-10-06T00:00:00+00:00 List-Id: 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.