Re: Ada 2012: In-out parameters for functions

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

Le Sun, 05 May 2013 17:09:11 +0200, Niklas Holsti  
<niklas.holsti@tidorum.invalid> a écrit:
> I believe I have made some Ada coding errors that would have been
> revealed by mode notations in calls. I don't remember the exact
> examples, but I think one concerned a procedure in which an "in"
> parameter was changed to an "in out" parameter, because some new uses of
> the subprogram required it -- but then some old uses no longer worked,
> because they assumed that the actual for this parameter would not be
> changed. And the actual was a non-constant object, so the compiler saw
> nothing wrong in its use for an in-out parameter.

That's an argument for Randy's idea to make constant the default mode for  
local variable and constant declarations.


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