[jdom-interest] Document.getRootElement()

Ernst de Haan ernst at jollem.com
Tue Jun 13 11:16:25 PDT 2000


Hi,


The Javadoc for org.jdom.Document says:

   public Element getRootElement() throws NoSuchElementException

   This will return the root Element for this Document, or null if there
   is none.

   Returns:
         Element - the document's root element
   Throws:
         NoSuchElementException - - when no root element exists.


There is a contradiction here: Does the method return null or does it
throw a NoSuchElementException?


Ernst



More information about the jdom-interest mailing list