Re: Interfaces

[Robert A Duff <bobduff@shell01.TheWorld.com>]

Florian Weimer <fw@deneb.enyo.de> writes:

> * Robert A. Duff:
> 
> > But the main argument against solving this problem is that it would
> > introduce a huge amount of complexity to solve a fairly rare problem.
> > I was pretty-much convinced by that.
> 
> Maybe it wouldn't be too complicated to add a way to specify the
> interface which you are overriding? Something like "overriding J1
> procedure Foo"?  This would result in an error message if Foo also
> overrode a subprogram inherited from T or J2.

Maybe.  I'm not sure how this would work with multiple inheritance in
general.  For example the diamond inheritance pattern.

> > Ada's interfaces were modeled primarily after Java's interfaces, by the
> > way.
> 
> I wasn't sure, after reading the Java language specification, if Java
> interfaces had the same problem. 8->

I think it's the same, but I'm not entirely sure -- I haven't looked at
the Java specs in a while.

- Bob