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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,5b3cb1d740c0b77f X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!postnews2.google.com!not-for-mail From: snarflemike@yahoo.com (Mike Silva) Newsgroups: comp.lang.ada Subject: Re: ANN: New technical paper from Ada Europe 2004 now available Date: 1 Jul 2004 08:04:29 -0700 Organization: http://groups.google.com Message-ID: <20619edc.0407010704.470cc87@posting.google.com> References: <1088612188.693737@master.nyc.kbcfp.com> NNTP-Posting-Host: 67.8.58.78 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1088694270 25109 127.0.0.1 (1 Jul 2004 15:04:30 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Thu, 1 Jul 2004 15:04:30 +0000 (UTC) Xref: g2news1.google.com comp.lang.ada:2028 Date: 2004-07-01T08:04:29-07:00 List-Id: Hyman Rosen wrote in message news:<1088612188.693737@master.nyc.kbcfp.com>... > Rod Chapman wrote: > > "High-Integrity Ada in a UML and C World", Peter Amey and Neil White > > The automatically generated C in this paper contains > > typedef Colour_ADT_RGB_Value Colour_ADT_Colour[3]; > void Colour_ADT_SWAP(Colour_ADT_Colour *A, Colour_ADT_Colour *B) > { > Colour_ADT_Colour Temp; > memmove((void*)Temp,(void*)A,6); > memmove((void*)A,(void*)B,6); > memmove((void*)B,(void*)Temp,6); > } > > Those memmoves exhibit bad C style. Isn't it really straining to complain about the style (not correctness, but style) of automatically generated code? It's just an intermediate step from the source to the binary, which in this case happens to be human-readable in order to use a particular set of tools. BTW, you didn't point out that Colour_ADT_Colour is never defined. That would have been a better criticism! :) Mike