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!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: GNAT ASIS & pragmas
Date: Fri, 08 Jun 2018 15:58:21 +0100
Organization: A noiseless patient Spider
Message-ID: <ly8t7p72b6.fsf@pushface.org>
References: <lyh8md7khh.fsf@pushface.org>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org;
 posting-host="72250231412fd0a952cdfbf610f943a2";
	logging-data="29712"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19dDsPrGt/Hau0EkRn9N2jH17op6pnGdtQ="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (darwin)
Cancel-Lock: sha1:H+iozlSgUeM+pfazXlpKslhi8NI=
	sha1:eern+3uc37HX5ue7DGTKYJKVIuE=
Xref: reader02.eternal-september.org comp.lang.ada:52990
Date: 2018-06-08T15:58:21+01:00
List-Id: <comp.lang.ada>

Simon Wright <simon@pushface.org> writes:

> In ASIS2XML[1] and gnat2xml, I see that the repreentation of pragmas
> in GNAT ASIS doesn't follow the ARM syntax (2.8(2))[2],
>
>    pragma ::= 
>       pragma identifier [(pragma_argument_association
>                           {, pragma_argument_association})];
>
> Instead, I see for example
>
> ASIS2XML:
>       <restrictions_pragma>Restrictions
>       <pragma_argument_association>
>         <identifier>No_Exception_Propagation</identifier>
>       </pragma_argument_association></restrictions_pragma>

I should add, I can quite see the reason for ASIS to distinguish all the
different kinds of pragma, but the thinking behind ASIS2XML is to make
it possible to use XML tools to analyse source code without knowing the
fine details of ASIS, and retaining distinctions like this necessary for
(at any rate, made in) ASIS won't help.

Current thoughts on a suitable output:

      <pragma kind="restrictions">
        <identifier>RestriCtions</identifier>
        <pragma_argument_association>
          <identifier>No_Exception_Propagation</identifier>
        </pragma_argument_association>
      </pragma>

(note the weird casing in the pragma identifier, from the source).