Re: Ada 2012: In-out parameters for functions

["Randy Brukardt" <randy@rrsoftware.com>]

"Niklas Holsti" <niklas.holsti@tidorum.invalid> wrote in message 
news:aunb0nFir95U1@mid.individual.net...
...
> However, the use of parameter mode notations in Ada calls is not likely
> to become a nuisance. If the profile of the subprogram being called is
> changed so that some parameter modes change, it seems to me highly
> likely that all call sites must at least be inspected to see if they
> still have the intended effects, and most call sites must probably be
> modified to take the new parameter modes into account. Without parameter
> modes in calls, the compiler can point out only some kinds of mode
> conflicts, such as an uninitialized variable as the actual parameter for
> an "in" or "in out", or a constant object as the actual parameter for an
> "out" or "in out". If the calls specify parameter modes, the compiler
> can point out all mode conflicts.

Right. But the flip side to this is that it would be impossible to 
compatibly change a subprogram specification. Today, we can change "in out" 
to "in" and "in out" to "out" without breaking any calls -- and I've had to 
do both. Having the modes everywhere would definitely make the code more 
fragile.

OTOH, there clearly are cases where having the mode explicitly mentioned 
would help readability (i.e. "in out" in functions).

I don't think it is clear-cut either way. But I would like to see some nice 
syntax, none of which seems possible for Ada.

                                           Randy.