Re: Ada 2012: In-out parameters for functions

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Sat, 04 May 2013 08:58:37 +0200, J-P. Rosen <rosen@adalog.fr> a écrit:

> Le 04/05/2013 01:54, Randy Brukardt a écrit :
>> (And of course, nothing requires any user of Ada 2012 to use a "in out"
>> parameter to a function nor a conditional expression. Put it into your  
>> style
>> guide to avoid them if you like - and if you don't have an enforced  
>> style
>> guide, you've got much larger [management] problems than anything a new
>> language version could dish out.
> Checking "in out" in functions will be in the next release of
> AdaControl, of course :-).

Is it OK with Ada 2012? The last time I tried, I encountered multiple  
issues with constructs like Pre/Post being not supported (was raising an  
error). I looked at ASIS source package on Debian repository, but it seems  
to be dated of 2008 or 2010.

> And I fully agree that you need an *enforced* style guide. You can't
> imagine how many violations are left by manual reviews (as I often say:
> my clients hate me - when I run AdaControl on their carefully manually
> reviewed code).

Not in the same area, profile pragmas also help too. That's not about  
style, but kind‑of.


-- 
“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