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 12:10:30 +0000
Organization: A noiseless patient Spider
Message-ID: <ly61n93wax.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>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx05.eternal-september.org;
 posting-host="22d720de31fa36ffc68ccbe08d1f0c55";
	logging-data="18768"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18g3o8PN35RIWc0sAV9F1oENK8M/MA4NMs="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (darwin)
Cancel-Lock: sha1:vJlKD/aZkr0v5lBst7+WA4oKmfU=
	sha1:MZgx3G6jKhj/KefQEHE6d/yhJpw=
Xref: news.eternal-september.org comp.lang.ada:18867
Date: 2014-03-20T12:10:30+00:00
List-Id: <comp.lang.ada>

Luke A. Guest <laguest@archeia.com> writes:

> Peter Chapin <PChapin@vtc.vsc.edu> wrote:
>
>> IDE interact with existing compilers? Ada, in particular, does have
>> an ASIS standard that can guide, to some extent, the design of
>> abstract program representations.
>
> ASIS doesn't have Ada 2012 support, yet. Unless there are unofficial
> extensions, do you have links?

GCC 4.8 supports ASIS to the extent that this

   package Ada2012 is
      subtype Even is Natural with Dynamic_Predicate => Even mod 2 = 0;
   end Ada2012;

translates (using ASIS GPL 2012 and my ASIS2XML) to

    <unit_declaration>
      <package_declaration>
        <defining_identifier>Ada2012</defining_identifier>
        <subtype_declaration>
          <defining_identifier>Even</defining_identifier>
          <subtype_indication>
            <identifier>Natural</identifier>
          </subtype_indication>
          <aspect_specification>
            <identifier>Dynamic_Predicate</identifier>
            <function_call prefixed="false">
              <parameter_association>
                <function_call prefixed="false">
                  <parameter_association>
                    <identifier>Even</identifier>
                  </parameter_association>
                  <operator_symbol>"mod"</operator_symbol>
                  <parameter_association>
                    <integer_literal>2</integer_literal>
                  </parameter_association>
                </function_call>
              </parameter_association>
              <operator_symbol>"="</operator_symbol>
              <parameter_association>
                <integer_literal>0</integer_literal>
              </parameter_association>
            </function_call>
          </aspect_specification>
        </subtype_declaration>
      </package_declaration>
    </unit_declaration>