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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,463c5796782db6d8 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-04-09 08:13:13 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!headwall.stanford.edu!fu-berlin.de!uni-berlin.de!firewall.mdc-dayton.COM!not-for-mail From: Vinzent Hoefler Newsgroups: comp.lang.ada Subject: Re: [Spark] Arrays of Strings Date: Wed, 09 Apr 2003 11:13:10 -0400 Organization: JeLlyFish software Message-ID: References: <1049891888.75004@master.nyc.kbcfp.com> <1049898448.806548@master.nyc.kbcfp.com> NNTP-Posting-Host: firewall.mdc-dayton.com (12.161.103.180) Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable X-Trace: fu-berlin.de 1049901191 10750160 12.161.103.180 (16 [175126]) X-Newsreader: Forte Agent 1.8/32.548 Xref: archiver1.google.com comp.lang.ada:36023 Date: 2003-04-09T11:13:10-04:00 List-Id: Hyman Rosen wrote: >Vinzent Hoefler wrote: >> The reliability is not in the subset like in MISRA-C, it is in the >> static analysis. I think, it is called *proof*. > >I'll accept that, but the code *looks* hideous. Perhaps. I'd guess |Buffer'("Error ") *might* work too, but then this makes it a little bit harder to count the lengths correct again. So, as far as I can see, both would have slight drawbacks. Depends. Vinzent. --=20 Parents strongly cautioned -- this posting is intended for mature audiences over 18. It may contain some material that many parents would not find suitable for children and may include intense violence, sexual situations, coarse language and suggestive dialogue.