Name: tb29552 Date: 06/22/98


http://java.sun.com/products/jdk/1.2/docs/api/java.awt.swing.text.Element.html#isLeaf()

The documentation of Element.isLeaf is ambiguous.
It says simply:
    Is this element a leaf element?

What is the exact definition of a "leaf element"?

Specifically, is it:
- an element that currently appears as a leaf node
   (has no children) in the tree of elements, or
- an element that can appear only as a leaf
   element?

For example, if paragraph elements can have
children (e.g., content elements), then if a
paragraph element instance has no children,
can isLeaf() return false (since it isn't always
a leaf node in the tree), or must isLeaf() return
true (because it's currently a leaf in the tree)?


The documentation for isLeaf or Element should
either define what it means to be a leaf element
or should refer to something whose documentation
does (e.g., Document).
(Review ID: 34078)
======================================================================