Re: overriding in private part

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

"Maxim Reznik" <reznikmm@gmail.com> wrote in message 
news:45b4a4cc-13f5-4175-9061-9c962e32d762@64g2000hsm.googlegroups.com...
...
> Every type in class A1.Base'Class has P2 primitive subprogram, but any
> child of A2.Child can't override it, because P2 is hidden by A2.P2. It
> seems unnatural to me.
>
> Errors of such kind are very difficult to find.
>
> Is there any way to prevent such errors? (Besides keyword
> *overriding*)

This happened to us frequently when we were building Claw. That's the reason 
I pushed so hard to add what became the keywords to the language. It's an 
error that cannot be avoided or detected in Ada 95 (short of avoiding any 
declarations in private parts, which is nasty). It is very hard to predict 
what really is going to happen, so the keywords allow telling the compiler 
what you meant (and then it will complain if it disagrees).

If you can't use new Ada features, you are SOL. Sorry.

                                               Randy.