Re: ANN: New technical paper from Ada Europe 2004 now available

[snarflemike@yahoo.com (Mike Silva)]

Hyman Rosen <hyrosen@mail.com> 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