|Code generation tool firstname.lastname@example.org (Doru-Catalin Togea) (2005-10-05)|
|Re: Code generation tool email@example.com (Scott Nicol) (2005-10-05)|
|Re: Code generation tool firstname.lastname@example.org (Jatin Bhateja) (2005-10-06)|
|Re: Code generation tool email@example.com (2005-10-13)|
|Re: Code generation tool firstname.lastname@example.org (Eric Eide) (2005-10-13)|
|From:||Eric Eide <email@example.com>|
|Date:||13 Oct 2005 20:40:30 -0400|
|Organization:||University of Utah School of Computing|
|Posted-Date:||13 Oct 2005 20:40:30 EDT|
"Doru-Catalin" == Doru-Catalin Togea <firstname.lastname@example.org> writes:
Doru-Catalin> I wonder what tools do the CORBA, ICE and the like
Doru-Catalin> compilers use to translate from their respective IDLs to
Doru-Catalin> other languages, like C++, Java, Python, and so forth.
Since you asked about IDL compilers specifically, you might be interested in
"Flick," the Flexible IDL Compiler Kit from the University of Utah:
Its intermediate representations are exposed and well documented. The
different phases of the compiler are strongly separated --- into separate
programs, in fact! The phases of the compiler communicate through files.
Caveats and disclaimers: I don't claim that Flick is typical of IDL compilers
in general. In many ways, Flick is atypical. Flick hasn't been updated in a
long time. It has back ends for C and C++ only. I was one of the primary
authors of Flick.
Doru-Catalin> I need a formalized description of what the output
Doru-Catalin> (translation) of parsing a structured text (not XML)
Doru-Catalin> should be.
I'm not sure what you're asking for.
Most translation tools aren't derived from formal models, at least not
end-to-end. Compilers have intermediate representations (IRs), certainly, but
the actual translation from one IR to another is ususally "specified" in an ad
hoc manner. More plainly, the model of the translation --- such as it is ---
is the code, period.
There are counter-examples, of course, and I'm sure that other readers of this
forum will mention some of them :-). But at least, I'm not aware of any
counter-examples that are IDL compilers.
Maybe I'm over-analyzing your question --- maybe you just want to see some
example IRs? If so, check out Flick.
Eric Eide <email@example.com> . University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX
Return to the
Search the comp.compilers archives again.