Re: Ada2012 : Expression functions and extended return statements

[Martin Dowie <martin@re.mo.ve.thedowies.com>]

Robert A Duff <bobduff@shell01.TheWorld.com> wrote:
> Martin Dowie <martin@re.mo.ve.thedowies.com> writes:
> 
>> 2012 RM 3.1 6/3 says it is a declaration (but I should have written
>> 'Result' not 'Return').
> 
> Right, and it declares an object.
> 
>> A bit like Pascal(?), didn't use the function's name at the point of
>> return?...so for function 'Foo' you wrote something like,
>> 
>> Foo := 100;
>> 
>> ?
> 
> Yes, that's the Pascal method.  The problem with it is that
> if you say something like "Foo := Foo + 1;" it does something
> very wrong, especially if Foo has no parameters.
> 
> But the general principle that the result should have a
> name is a good one.
> 
> - Bob

Hmmm, I think the function name is the best clue...and thats all you have
with an expression function now. Also, I tend to only use a variable called
 'Result' these days, which works for both ordinary and extended return
statements but does say what the result represents - so thats kind of a
special case, all other variables are named to give, at least, a clue as to
what the value represents!

-- Martin
-- 
-- Sent from my iPad