Re: GNAT ASIS & pragmas

[Simon Wright <simon@pushface.org>]

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).