XACT operations

Basic operations:

• static XML constant(String xml) (also available in sugared version: [[ ... ]])
• XML plug(String gap, XML x)
• XML plug(String gap, String s)
• XML plug(String gap, XML[] xs)
• XML plug(String gap, String[] ss)
• XML[] select(String xpath)
• XML[] gapify(String xpath, String g)

Utility operations:

• XML close()
• String text()
• XML cast(String dtd_url, String dtd_xmlns)
• XML analyze(String dtd_url, String dtd_xmlns)
• static XML smash(XML[] xs)
• static XML get(String xml_url, String dtd_url, String dtd_xmlns)

(See the API for the complete list.)