Components of xml-front
- aterm2xml -- convert an ATerm to an XML document.
- xml2aterm -- convert an XML document to an ATerm.
- parse-xml-doc? -- parses an XML document to xml-doc
- pp-xml-doc? -- pretty-prints xml-doc to an XML document
- parse-xml-info -- parses an XML document to xml-info
- pp-xml-info -- pretty-prints xml-info to an XML document
- data2xml-doc? -- transforms an ATerm to a comparable XML document represented in xml-doc.
- xml-info2data? -- transforms xml-info to a somewhat comparable ATerm
Download and installation
From
version 0.11 xml-front is part of StrategoXT.