[jdom-interest] Re: Suggestion : make Element.getParent() final ?

Madjid Ghazi storm at storm.demon.co.uk
Tue Jun 22 07:50:18 PDT 2004


> I suspect you're using an older version of JDOM. In the latest beta
> 10 version getParent() returns a Parent object rather than an Object,
> and therefore I doubt you could have gotten away with what you did.

No I am using version beta10. The reason it compiled was that I USED to
have a class called Parent that was a subclass of Element. (Now I know
how stupid that was).

But the basic suggestion I think is still valid for the same reasons
that equals() is final in some JDOM classes.

Madjid / Storm




More information about the jdom-interest mailing list