Status of Diana?

Status of Diana?

[Christopher Warack]

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

Re: Status of Diana?

[Jim Showalter]

>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."

Re: Status of Diana?

[ryer]

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