From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Ada 2012, ASIS and AdaControl
Date: Fri, 17 Feb 2012 14:17:50 +0100
Date: 2012-02-17T14:17:50+01:00 [thread overview]
Message-ID: <op.v9tq701eule2fv@douda-yannick> (raw)
Hi people out there,
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? How do you, people, deal with this? The above Assert statement act
as much as documentation as an opportunity for a real check. I could
comment it out, but would lose any relevance. Comments are nice, but
checked self‑explained expressions are far better. That's obviously not
critical, but that's a lot of frustrations, and I get it every time.
I am also wondering if this is due to ASIS‑for‑GNAT implementation or to
the actual status of the ASIS standard (a long time I did use it, so I'm
aware of how it currently go). This may be the most relevant question here.
--
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University
next reply other threads:[~2012-02-17 13:17 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-02-17 13:17 Yannick Duchêne (Hibou57) [this message]
2012-02-17 13:19 ` Ada 2012, ASIS and AdaControl Yannick Duchêne (Hibou57)
2012-02-17 22:03 ` J-P. Rosen
2012-02-17 22:18 ` Yannick Duchêne (Hibou57)
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox