Re: advice on package design

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

"Robert A Duff" <bobduff@shell01.TheWorld.com> wrote in message
news:wccpsxy1i8l.fsf@shell01.TheWorld.com...
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
>
> > Presently it is not explicit. Syntactically overriding is
undistinguishable
> > from declaring a new operation. This is IMO bad. It should be sort of:
> >
> > procedure Override (X : Object) is ????;
> >    -- Overriding intended, fails if base types have no primitive
Override
> > procedure Override (X : Object);
> >    -- Overloading intended, fails if it hides any other Override
>
> I think Ada 2005 has something like that.

Yes.

overriding
procedure Override (X : Object);
    -- Overriding intended, fails if base types have no primitive Override

not overriding
procedure Override (X : Object);
    -- Overloading intended, fails if it hides any other Override

Note the suggested indentation. If you have neither, you revert to the Ada
95 rules. That turns out to be necessary in some cases for private types and
for generics.

This would have saved us a lot of headaches constructing Claw.

                      Randy.