Re: Ada wikibook help needed (O-O)

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

"G.B." <bauhaus@notmyhomepage.invalid> wrote in message 
news:odhv2v$9vi$1@dont-email.me...
...
>   "A conversion to the class-wide type makes [components] visible again."
>
> Is "visible" correct?

I believe so (without actually reading the entire section). The components 
always exist, after all, but you can't reference them. Visibility is the way 
that's described in Ada, at least for the most part.

> Is it correct to say "static call" at all, other than when waving hands,
> (not helpfully IMHO) in
>
>   "within Op1, the first call to Op2 is therefore also a static call "

No. A "static call" is defined in 4.9. The author meant "statically tagged 
call" as described in 3.9.2 (3-6/2, 14-19), or even more formally, a "call 
with a statically determined controlling tag value". Usually, that's 
informally described as a "statically bound call".

>    "In other OO languages, a method is either dispatching or not.
>     In Ada, a routine is either _available_ for dispatching or not. "

I think this is fine; an operation is either a dispatching operation or it 
isn't. (See 3.9.2(1/2)). If it isn't, then it never dispatches; otherwise, 
whether it dispatches depends on whether the call is statically or 
dynamically bound.

                             Randy.