use of DIANA in current compilers

use of DIANA in current compilers

[Chuck Howell]

Any information that I can get on the  status  of  DIANA  use  in
currently  validated  (or "to be validated Real Soon Now" :-) Ada
compilers will be appreciated.  If you know of  a  compiler  that
uses  a  DIANA-based  IL, does it retain DIANA (DIANA-like) files
around?  Are there Ada bindings  for  interfaces  to  access  and
manipulate these files?  If the compiler does NOT use DIANA, what
does it use?

Also,  any  pointers  to  tools  that  make  use  of  the   DIANA
representation of Ada code will be appreciated.

Thanks,
    Chuck Howell
    ARPANet: howell@mitre

Re: use of DIANA in current compilers

[Dennis Doubleday]

In article <8601272057.AA08866@mitre.ARPA> info-ada@ucbvax.UUCP writes:
>Any information that I can get on the  status  of  DIANA  use  in
>currently  validated  (or "to be validated Real Soon Now" :-) Ada
>compilers will be appreciated.  If you know of  a  compiler  that
>uses  a  DIANA-based  IL, does it retain DIANA (DIANA-like) files
>around?  Are there Ada bindings  for  interfaces  to  access  and
>manipulate these files?  If the compiler does NOT use DIANA, what
>does it use?
>
>Also,  any  pointers  to  tools  that  make  use  of  the   DIANA
>representation of Ada code will be appreciated.
 
I'd also like to have this information. Please help!



-- 

UUCP:	seismo!umcp-cs!dday                      Dennis Doubleday
CSNet:	dday@umcp-cs				 University of Maryland
ARPA:	dday@gymble.umd.edu			 College Park, MD 20742
Fan of: Chicago Cubs, Chicago Bears, OU Sooners	 (301) 454-6154

Re: use of DIANA in current compilers

[Geoff Leach]

In article <478@gymble.UUCP> dday@gymble.UUCP (Dennis Doubleday) writes:
>In article <8601272057.AA08866@mitre.ARPA> info-ada@ucbvax.UUCP writes:
>>Any information that I can get on the  status  of  DIANA  use  in
>>currently  validated  (or "to be validated Real Soon Now" :-) Ada
>>compilers will be appreciated.  If you know of  a  compiler  that
>>uses  a  DIANA-based  IL, does it retain DIANA (DIANA-like) files
>>around?  Are there Ada bindings  for  interfaces  to  access  and
>>manipulate these files?  If the compiler does NOT use DIANA, what
>>does it use?
>>
>I'd also like to have this information. Please help!

The compiler produced by Verdix, Inc. (Chantilly (sp?) VA) uses a 
modified DIANA IL and does (I believe) save it.  The compiler
has been validated for ACVS 1.6 on VAX and NSC 32000, both under
UNIX.


-- 
Geoffrey Leach
Yet Another Software Company
(415)856-2535
{nsc,ucbvax}!tolerant!leach
Net access through the courtsey of Tolerant Systems

Re: Re: use of DIANA in current compiler

[stt]

The Intermetrics Byron(tm)/Ada compiler has been prevalidated,
and finished the validation process (though still waiting for
the certificate).  We use a variant of Diana (no one uses
"pure" Diana as far as I know), with an IDL class structure
which is better partitioned so it can be mapped onto Ada
variant record types (IDL is the notation used to define the
Diana abstraction).

Our access package contains a procedure and function per
attribute for setting and getting attribute values,
given a "locator" for the appropriate class of Diana node.
It also includes generators and other primitives for
iterating and building sequences of Diana nodes.

General purpose Diana tree-walking packages are built
by a separate IDL-based tool called "Bonsai."

S. Tucker Taft   (617) 661-1840
Intermetrics, Inc.
Ada Systems Division
733 Concord Avenue
Cambridge, MA  02138