Skip to main content

XML_Document.from_file

XML_Document.from_filefile

Group: Input

Documentation​

Read an XML document from a file. If there is an error reading the file, File_Error is thrown. If there is a parsing error, XML_Error.Parse_Error is thrown.

Arguments​

  • file: the File to read the XML document from.

Examples​

Read an XML document in 'doc.xml'.​

      file = enso_project.data / "doc.xml"
      doc = XML_Document.from_file test_file