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: GNAT ASIS & pragmas
Date: Fri, 08 Jun 2018 09:25:46 +0100
Organization: A noiseless patient Spider
Message-ID: <lyh8md7khh.fsf@pushface.org>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org;
 posting-host="72250231412fd0a952cdfbf610f943a2";
	logging-data="10157"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/EyGzYsitgna0n1i3c0VaBBRbSwiEGhck="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (darwin)
Cancel-Lock: sha1:046FD+YSv814I0qIqUFLurQrng0=
	sha1:WnkRRbRF7YGWZZbkZTW89uhCl5I=
Xref: reader02.eternal-september.org comp.lang.ada:52984
Date: 2018-06-08T09:25:46+01:00
List-Id: <comp.lang.ada>

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>

gnat2xml:
      <restrictions_pragma pragma_name="Restrictions">
         <sloc line="1" col="1" endline="1" endcol="47"/>
         <pragma_argument_associations_ql>
            <pragma_argument_association>
               <sloc line="1" col="22" endline="1" endcol="45"/>
               <formal_parameter_q>
                  <not_an_element>
                     <sloc line="1" col="1" endline="0" endcol="0"/>
                  </not_an_element>
               </formal_parameter_q>
               <actual_parameter_q>
                  <identifier ref_name="No_Exception_Propagation" ref="null" type="null">
                     <sloc line="1" col="22" endline="1" endcol="45"/>
                  </identifier>
               </actual_parameter_q>
            </pragma_argument_association>
         </pragma_argument_associations_ql>
      </restrictions_pragma>

(gosh!)

I'd like to change this (well, the one I have control over, ASIS2XML) to
something more natural and that corresponds better to the ARM, e.g.

   <pragma kind='restrictions' name='Restrictions'>
      <pragma_argument_association>
        <identifier>No_Exception_Propagation</identifier>
      </pragma_argument_association>
   </pragma>

(the difference between kind & name being that name is as in the source,
whereas kind is lower-cased).

[1] https://sourceforge.net/projects/asis2xml
[2] http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-2-8.html#p2