Re: Callback in Ada

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

"Alex Mentis" <foo@invalid.invalid> wrote in message 
news:ifvp6h$qga$1@news.eternal-september.org...
...
> In other words, from what I read, it looks like once this is supported
> one could have a function Foobar in an .ads file that looks like
>
> function Foobar (A : Integer) return Integer is (if A > 10 then A - 5
> else A);
>
> and not need a corresponding function in the .adb file.

Right.

An alternative way of looking at this feature is that it provides a way to 
give a name to an expression. (This is modeled as a function because it is 
the least disruptive way to do that; the original idea was to call this a 
"renaming" of an expression.) The "body" in this case is just the expression 
being named.

                         Randy.