class XML_TREE
Summary
Overview
creation features
exported features
root: XML_NODE
writable attribute
The root of the tree
attribute_at (a_attribute_name: STRING): STRING
effective function
Usually to recover the "version" or "encoding" attributes
set_processing_instruction (target: STRING, processor: PROCEDURE[TUPLE 1[STRING]])
effective procedure