From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Kickstarter for beginning work on a new open-source Compiler
Date: Thu, 20 Mar 2014 21:06:03 +0000
Organization: A noiseless patient Spider
Message-ID: <lywqfo37ic.fsf@pushface.org>
References: <5151491a-14c3-4138-bcb5-f29108aeefb9@googlegroups.com>
	<b750be91-adb8-4630-90a2-ae700a3e9e67@googlegroups.com>
	<fKSdnQj47oHXCLTO4p2dnAA@giganews.com>
	<801079196416966973.679877laguest-archeia.com@nntp.aioe.org>
	<ly61n93wax.fsf@pushface.org> <wcc7g7oubyn.fsf@shell01.TheWorld.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx05.eternal-september.org;
 posting-host="22d720de31fa36ffc68ccbe08d1f0c55";
	logging-data="9460"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/nteL5fcCXNLrnh/sXXH5J5YoHaw2NOU8="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (darwin)
Cancel-Lock: sha1:HhQFCUpe3Yre1E/sZXE8MmneIaM=
	sha1:CbG2EIW6MnF4z7k8DPLPXNzUii4=
Xref: news.eternal-september.org comp.lang.ada:18884
Date: 2014-03-20T21:06:03+00:00
List-Id: <comp.lang.ada>

Robert A Duff <bobduff@shell01.TheWorld.com> writes:

> Simon Wright <simon@pushface.org> writes:
>
>> Luke A. Guest <laguest@archeia.com> writes:
>>> ASIS doesn't have Ada 2012 support, yet. Unless there are unofficial
>>> extensions, do you have links?
>
> The latest GNAT Pro ASIS fully supports Ada 2012.  I don't know if
> that has made it into the GPL version yet.

GNAT & ASIS GPL 2013 seem to do a pretty good job.

>> translates (using ASIS GPL 2012 and my ASIS2XML) to
>
> I didn't know about your ASIS2XML project until now.
>
> Do you know about gnat2xml?  It is a similar tool produced by AdaCore.
> (I wrote it.)  It is based on ASIS, and supports Ada 2012.

Yes, I saw it in ASIS GPL 2013. I was specially interested in the
ability to re-generate code from (possibly-modified) XML; but perhaps
this is only for testing purposes?

I was somewhat put off by what seemed to be unneeded verbosity: the code
fragment above starts

<compilation_unit 
  unit_kind="A_Package"
  unit_class="A_Public_Declaration"
  unit_origin="An_Application_Unit"
  unit_full_name="Ada2012"
  def_name="Ada2012"
  source_file="ada2012.ads">
   <sloc line="1" col="1" endline="5" endcol="12"/>
   <context_clause_elements_ql>
   </context_clause_elements_ql>
   <unit_declaration_q>
      <package_declaration>
         <sloc line="1" col="1" endline="5" endcol="12"/>
         <names_ql>
            <defining_identifier 
              def_name="Ada2012" def="ada://package/Ada2012-1:9" type="null">
               <sloc line="1" col="9" endline="1" endcol="15"/>
            </defining_identifier>
         </names_ql>
         <aspect_specifications_ql>
         </aspect_specifications_ql>

vs

<asis>
  <compilation_unit
    file="/Users/simon/sf/gnat-asis/tools/asis2xml/testing/ada2012.ads"
    unit="Ada2012">
    <context_clauses></context_clauses>
    <unit_declaration>
      <package_declaration>
        <defining_identifier>Ada2012</defining_identifier>

I guess you use the _ql in <context_clause_elements_ql/> because that's
the result of a Query called Context_Clause_Elements that returns a
List; I didn't think the user needed to know that, so used just
<context_clauses/> (and I wonder whether it'd have been better to omit
an empty context clause list altogether).

This exercise has revealed a bug: I've left out all mention of private
parts! That's going to take some fixing ...

> Looking at:
>
> http://gnat-asis.sourceforge.net/pmwiki.php/Main/ASIS2XML
>
> I see some differences:
>
> gnat2xml has cross-links.  E.g. each name points to the declaration
> it denotes, and each expression points to its type.

That wasn't necessary for the original motivations for ASIS2XML (one of
which you could now do using AdaControl, I'm sure).

> There is an XML schema, automatically generated by an ASIS-based tool
> called gnat2xsd.

Haven't seen that.

> Each XML element has a "source location", which tells you the starting
> and ending line and column numbers for the corresponding source text.

I can see where that would be useful! but not needed for my use case.