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=0.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,9cab22a6da953999
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
Received: by 10.68.226.10 with SMTP id ro10mr7700313pbc.6.1329516177419;
        Fri, 17 Feb 2012 14:02:57 -0800 (PST)
Path: 
 wr5ni37194pbc.0!nntp.google.com!news2.google.com!news.glorb.com!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail
From: "J-P. Rosen" <rosen@adalog.fr>
Newsgroups: comp.lang.ada
Subject: Re: Ada 2012, ASIS and AdaControl
Date: Fri, 17 Feb 2012 23:03:00 +0100
Organization: A noiseless patient Spider
Message-ID: <jhmiqg$7p0$1@dont-email.me>
References: <op.v9tq701eule2fv@douda-yannick>
Mime-Version: 1.0
Injection-Date: Fri, 17 Feb 2012 22:02:56 +0000 (UTC)
Injection-Info: mx04.eternal-september.org;
 posting-host="cJo7kSTQUrCFv2/D8KKtqw";
	logging-data="7968"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18VyGPsZsUR7rMcmXf8nB6/"
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64;
 rv:9.0) Gecko/20111222 Thunderbird/9.0.1
In-Reply-To: <op.v9tq701eule2fv@douda-yannick>
Cancel-Lock: sha1:WUBPdTQ2TBb+CA4GExpuOhYq/i0=
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Date: 2012-02-17T23:03:00+01:00
List-Id: <comp.lang.ada>

Le 17/02/2012 14:17, Yannick Duchêne (Hibou57) a écrit :
> I get into troubles with AdaControl many times I use an Ada 2012
> construct, like this one (just a short real example):
> 
>    pragma Assert (for all D in Digit_Type => Digit (Digit_Image (D)) = D);
> 
> Running AdaControl on the package body containing the above, ends with
> this:
> 
>    AdaCtl version: 1.13r8 with ASIS 2.0.R for GNAT 4.7.0 20111119
> (experimental)
>    ASIS error: ASIS.EXCEPTIONS.ASIS_FAILED
>    In rule  : STYLE
>    For unit : IPV4.BYTES.IMAGES
>    Status   : NOT_IMPLEMENTED_ERROR
>    Diagnosis: Not Implemented Query:
> 
> That's frustrating, do I have to forget about AdaControl (which I like a
> lot) or about the Ada 2012 construct (which I like as much) which make
> it failed?
I'd just say: be patient. Features get implemented in the compiler, then
there is support in ASIS, and then these can be used by AdaControl.
Moreover, you are apparently using the FSF version of Gnat, which is
lagging behind Adacore's one.

If you send me the complete error context (with options -dx), I can tell
you which function is not yet implemented, and whether it is available
with the latest version of GnatPro (a lot of  Ada 2012 was implemented
recently).
-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr