Re: [abc] test run results

Ondrej Lhotak wrote:

>On Fri, Sep 24, 2004 at 10:39:20AM -0400, Prof. Laurie HENDREN wrote:
>
>
>>>Surely if we're aiming for ajc's "'implements' and 'extends' are
>>>interchangeable in 'declare parents'", the thing to do would be to
>>>change <class> implements <class> into <class> extends <class> internally?
>>>
>>>Or does that have an associated set of pitfalls?
>>>
>>>- P
>>>
>>>
>>>
>>That's a good point .... can we do that?
>>
>>
>
>I think we can quite easily. The issue is not whether we can, but
>whether we want to. Do we want to cave in and allow people to say
>implements when they mean extends, or do we want to put our foot down
>and say that saying <class> implements <class> when you really mean
>extends is just stupid, and we won't allow it.
>
>Ondrej
>
>
I think the issue is when you have <pattern> implements <other_pattern>,
and both patterns happen to select a class. Then you haven't explicitly
written the stupid <class> implements <class>, but arguably interpreting
the 'implements' as 'extends' gives the most sensible meaning in this
case, does it not?

We can have a warning for it, if you want. "<class_foo> is declared to
implement <class_bar>, assuming 'extends'".

- P

>
>
>>Laurie
>>
>>
>>
>>
>>
>
>
>
>
>
Received on Fri Sep 24 16:12:00 2004