warack@dip.eecs.umich.edu (Christopher Warack) (03/25/91)
I'm curious about how Diana fares in the Ada world. Please answer any or all of the following questions: Who uses Diana as an intermediate language in their compilers? Does Rational use it for storing files? What is the latest version? Where can you get the documentation for that version? Is anybody using it for tools other than compilers? Has anyone added object code attributes or somehow represented optimizations? Is the AJPO still involved with it? E-Mail or post... I'll summarize anything that doesn't come across the net. Thanks, Chris -- Christopher A. Warack warack@eecs.umich.edu Graduate Dept, EECS (313) 665-4789 University of Michigan
jls@rutabaga.Rational.COM (Jim Showalter) (03/26/91)
>Who uses Diana as an intermediate language in their compilers? We (Rational) do. >Does Rational use it for storing files? You mean text files? No. If you mean Ada units, we store Ada units _as_ DIANA trees. That's what gives the Environment its power. >What is the latest version? >Where can you get the documentation for that version? Hard to say. I believe the draft standard was never formally adopted by a standards body, and has sort of sat around for several years. We adhered quite closely to the standard, but there are areas where we diverged: so much for the dream of a common APSE core, huh? >Is anybody using it for tools other than compilers? We use it for code analysis tools, PDL, hyper-code traversal, and a number of other things. >Has anyone added object code attributes or somehow represented optimizations? We decorate the tree with code segments and other compiler information not specified in the original standard. -- ***** DISCLAIMER: The opinions expressed herein are my own. Duh. Like you'd ever be able to find a company (or, for that matter, very many people) with opinions like mine. -- "When I want your opinion, I'll read it in your entrails."
ryer@inmet.inmet.com (03/30/91)
Intermetrics compilers use DIANA. Our DIANA has some locally defined extensions and representation tricks. The interface is open. We have provided it to other developers. Currently, General Research Corp's "Ada Test and Verification System (ATVS)" is the only commercially available product from another company that is based on our DIANA. GRC has also developed an "Expert Avionics Code Modification" system that uses our DIANA as a database. Intermetrics uses DIANA as the IL for code generation, for our AdaView symbolic debugger, and our Byron PDL tool. Mike Ryer