[jdom-interest] getChildren() vs getElements()

[Peter V. Gadjokov]

> Defensively: getChildAttributes() was not part of my proposal.  I said
> *IF* we go with getChildElements(), *THEN* we must go with
> getChildAttributes() for consistency.  I meant this as a
> contrapositive subjunctive. 

Yes, it was not your actual proposal, I should have been clearer after the
whole quoting confusion. Nevertheless, if we did go with getChildElements,
getChildAttributes would still be quite questionable. An attribute is not a
child (at least, not in the infoset terminology, if we view the whole thing
as a tree structure, attributes are  definitely nodes and nodes tend to be
children of other nodes in trees, of course) so there is no immediate reason
to have such a method.


-pvg