[jdom-interest] Re: Suggestion : make Element.getParent() final ?
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