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
Document
does not have any query methods forElem
instances. In particular, theElemApi
does not apply to documents. Therefore, given a document, querying for elements (other than the document element itself) always goes via the document element.