Class Pxp_document.attribute_impl


class ['a node #extension as 'a] attribute_impl : element:string -> name:string -> Pxp_types.att_value -> Pxp_dtd.dtd -> ['a] node
This class is an implementation of node which realizes attribute nodes. Create a new node by

new attribute_impl element_name attribute_name attribute_value dtd

Note that attribute nodes do intentionally not have extensions.

Attribute nodes are created on demand by the first invocation of attributes_as_nodes of the element node. Attribute nodes are created directly and not by copying exemplar nodes, so you never need to create them yourself.

Attribute nodes have the following properties:

Attribute nodes are designed to be members of XPath node sets, and are only useful if you need such sets.