[jdom-interest] isRootElement issue

bob bob at accurev.com
Tue Oct 24 07:12:38 PDT 2000


> I think isRootElement() is correct just as it is. Since the "Root" element is
> always the element held by a Document.   A more reasonable method would be
> isParent() for any node that has children.

<hair-splitting>

Actually, according to specs, there is a root-node which holds
the document-element, and comments/processing-instructions which
are peers to the document element.

Though, in JDOM's case, Document itself is the root-node,
since it holds the comments/PIs and document element.

</hair-splitting>

	-bob




More information about the jdom-interest mailing list