Maybe the Ada folks need to design a C/C++ to Ada
"binder", that is able to reliably take a C/C++
include file, and generate a spec and body that
can be used by other Ada programs (in thinish
binding mode).

THIS NEEDS TO BE A STANDARD TOOL, that can be
counted on to work (no tweaking required),
to be consistent, and to be available with
the COMPILER toolset.

About a month and 1/2 ago, I started a project, I Affectionally call
AdaCREATE (C++ Reverse Engineering Ada Translating Engine)  And your first
paragraph here is one of the reasons why.  C++ unline C is so different in
minding than Ada (for object structures, includes, and a lot of other stuff
(biting my tongue here, but among other things, the += family of
operators....no comments please ;-).  That direct translation from C++ to
Ada is quite simple impossible.  Much like C++ to ObjectPascal  It's usually
better to just port it to Pascal (rewrite the logic, instead of the source
code).

The same can be applied here between Ada and C++.

1. Take the C++ code and derive the logic,
2. Translate to perhaps UML or a sub form of scripting language (so I don't
have to worry about UML compatibility per se).
3. Take the Scripting language and Translate that to Ada.

Of course this will be more than a simple translation and therefore will
take longer performance wise (Not sure yet how much longer ;-), but I'm
pretty sure that the output of it, being based on logic instead of the C++
paradigm, will be safer than any direct translation between Ada and C++.

-- 
St�phane Richard
"Ada World" Webmaster
http://www.adaworld.com