Re: Ada 2012, ASIS and AdaControl

["J-P. Rosen" <rosen@adalog.fr>]

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