Returns the document element
Returns the document element
Returns the optional document URI, wrapped in an Option
Returns the optional document URI, wrapped in an Option
Creates a copy, but with the new documentElement passed as parameter newRoot
Creates a copy, but with the new uriOption passed as parameter newUriOption
Document, containing an "indexed" document element.Note that class
Documentdoes not have any query methods forEleminstances. In particular, theParentElemApidoes not apply to documents. Therefore, given a document, querying for elements (other than the document element itself) always goes via the document element.