Re: C question (was: Ada & C)

[Charles Hixson <charleshixsn@earthlink.net>]

"Ira D. Baxter" wrote:

> If you have the right parser technology, parsing C is not hard and you
> don't need the symbol table immediately.   GLR parsing handles problems
> like typedef names by proposing multiple parses: in this case, one
> assuming its a typedef name, and the other assuming its a conventional
> identifier.
> Which can be resolved later, of course, with the symbol table.
>
> We offer reengineering tools that not only parse C, but C++, Ada95,
> Fortran95,
> you name it using this technology.   See
> http://www.semdesigns.com/Products/DMS/DMSToolkit.html.
>
> I would expect C2ADA to not be very easy.   Pointer casts and arithmetic
> are a bitch to translate.
>

Actually, I tend to feel that pointer casts *SHOULD NOT* be translated.  Some
things ought to be with a semantic level of understanding rather than merely a
syntactic level.