GNAT Extensions with ASIS?

GNAT Extensions with ASIS?

[Stefan Bellon]

Hi,

we are trying to use ASIS for GNAT (the version on SourceForge for GNAT
3.4.4) with .adt files that have been generated from sources using GNAT
Extensions (-gnatX). However, ASIS raises an exception when it
encounters the "with type" extension.

Here's a minimal example that shows the problem:

bellonsn@pslx1$ cat the_type.ads
package The_Type is
   type X is access Integer;
end The_Type;

bellonsn@pslx1$ cat the_unit.ads
with type The_Type.X is access;
package The_Unit is
end The_Unit;   

bellonsn@pslx1$ cat the_wither.adb
with The_Unit;
procedure The_Wither is
begin
   null;
end The_Wither;

bellonsn@pslx1$ gnatmake -gnatX -gnatc -gnatt the_wither.adb 
gcc-3.4 -c -gnatX -gnatc -gnatt the_wither.adb
gcc-3.4 -c -gnatX -gnatc -gnatt the_unit.ads

This produces an .adt file the_wither.adt. When we run this through our
ASIS tool, we get the following:

bellonsn@pslx1$ adt_dump the_wither.adt
oops...
Catched an ASIS exception.
Exception name: ASIS.EXCEPTIONS.ASIS_FAILED
Message: a4g-vcheck.adb:140
Call stack traceback locations:
0x80f2a02 0x8185088 0x81a390e 0x81a39ca 0x81a5842 0x81a380c 0x80e370a
0x80ef1b0 0x400e1728 0x818ecf3 0x80a1d40 0x40e72972

ASIS Status:
INTERNAL_ERROR
ASIS Diagnosis:
Internal implementation error: A4G.CU_Info2.Set_Dependencies

The symbolic stack traceback looks like this:

bellonsn@pslx1$ addr2line -e `which adt_dump` 0x80f2a02 0x8185088
0x81a390e 0x81a39ca 0x81a5842 0x81a380c 0x80e370a 0x80ef1b0 0x400e1728
0x818ecf3 0x80a1d40 0x40e72972
/asis-3_4_4-20041123.i686/include/asis/a4g-vcheck.adb:140
/asis-3_4_4-20041123.i686/include/asis/a4g-cu_info2.adb:461
/asis-3_4_4-20041123.i686/include/asis/a4g-contt-sd.adb:181
/asis-3_4_4-20041123.i686/include/asis/a4g-contt-sd.adb:209
/asis-3_4_4-20041123.i686/include/asis/a4g-contt-sd.adb:622
/asis-3_4_4-20041123.i686/include/asis/a4g-contt-sd.adb:153
/asis-3_4_4-20041123.i686/include/asis/a4g-contt.adb:1234
/asis-3_4_4-20041123.i686/include/asis/asis-ada_environments.adb:361
??:0
/home/bellonsn/bauhaus/Ada-Code/Tools/Cati/adt_dump/src/adt_dump.adb:397
/home/bellonsn/bauhaus/Ada-Code/obj/b~adt_dump.adb:486
??:0

Our tools works with .adt files that have been generated from sources
that do not use GNAT Extensions.

Is there any way to get ASIS for GNAT working for source files
containing GNAT Extensions as well?

Thanks for all hints in advance!

-- 
Stefan Bellon
Bauhaus Software Technologies | TTI GmbH TGZ Softwareanalysen c/o ISTE
Tel.: +49 711 78 16 221       | Universitätsstraße 38
Fax.: +49 711 78 16 380       | 70569 Stuttgart

Re: GNAT Extensions with ASIS?

[Martin Krischik]

Stefan Bellon wrote:

> Hi,
> 
> we are trying to use ASIS for GNAT (the version on SourceForge for GNAT
> 3.4.4) with .adt files that have been generated from sources using GNAT
> Extensions (-gnatX). However, ASIS raises an exception when it
> encounters the "with type" extension.

> 
> Is there any way to get ASIS for GNAT working for source files
> containing GNAT Extensions as well?

No - currently only paying customers have access to the newest ASIS. It's
one of the last sore point - most of the other GNAT tools can be accessed
via cvs (:pserver:anoncvs@libre.act-europe.fr:/anoncvs).

The other missing GNAT tool I know about is florist. 

Martin

-- 
mailto://krischik@users.sourceforge.net
Ada programming at: http://ada.krischik.com

Re: GNAT Extensions with ASIS?

[Stefan Bellon]

Martin Krischik wrote:
> Stefan Bellon wrote:

> > Is there any way to get ASIS for GNAT working for source files
> > containing GNAT Extensions as well?
> 
> No - currently only paying customers have access to the newest ASIS.

And the newest ASIS, available to paying customers only, does include
support for GNAT Extensions within ASIS for GNAT?

-- 
Stefan Bellon
Bauhaus Software Technologies | TTI GmbH TGZ Softwareanalysen c/o ISTE
Tel.: +49 711 78 16 221       | Universitätsstraße 38
Fax.: +49 711 78 16 380       | 70569 Stuttgart

Re: GNAT Extensions with ASIS?

[Martin Krischik]

Stefan Bellon wrote:

> Martin Krischik wrote:
>> Stefan Bellon wrote:
> 
>> > Is there any way to get ASIS for GNAT working for source files
>> > containing GNAT Extensions as well?
>> 
>> No - currently only paying customers have access to the newest ASIS.
> 
> And the newest ASIS, available to paying customers only, does include
> support for GNAT Extensions within ASIS for GNAT?

Well, it will of corse - but if AdaCore has finished with it - I don't know.
If you consider to buy AdaCore support then contact them. 

AdaCore does not sell a product - they sell support and every feature which
a paying customer needs moves to the top the priority list.

Martin
-- 
mailto://krischik@users.sourceforge.net
Ada programming at: http://ada.krischik.com

Re: GNAT Extensions with ASIS?

[Georg Bauhaus]

Martin Krischik wrote:



> AdaCore does not sell a product -

Not true according to Robert Dewar, discussing this with
Tom Moran here some time ago,

> they sell support and every feature which
> a paying customer needs moves to the top the priority list.

Other compiler vendors sell support, too.

It's the permissions and obligations implied by the licenses
that come with various products that differ, for example.

Re: GNAT Extensions with ASIS?

[Ed Falis]

On Sat, 21 May 2005 05:12:55 -0400, Georg Bauhaus <bauhaus@futureapps.de>  
wrote:

> Martin Krischik wrote:
>
>
>
>> AdaCore does not sell a product -
>
> Not true according to Robert Dewar, discussing this with
> Tom Moran here some time ago,
>
>> they sell support and every feature which
>> a paying customer needs moves to the top the priority list.
>
> Other compiler vendors sell support, too.
>
> It's the permissions and obligations implied by the licenses
> that come with various products that differ, for example.

AdaCore sells both a product and support.  There are a number of  
differences between GNAT Pro and academic releases, including in the  
former case, much more extensive QA, guarantee of a clean license for  
development of proprietary software, priority for enhancements and problem  
fixes, access to new features and tools, and consulting support.

- Ed
(AdaCore employee)