Plasma GitLab Archive
Projects Blog Knowledge

Class Pxp_document.pinstr_impl


class ['a node #extension as 'a] pinstr_impl : 'a -> ['a] node
This class is an implementation of node which realizes processing instruction nodes. You can create a new exemplar by

let exemplar = new pinstr_impl ext_obj

which creates an empty node which already contains a reference to the extension ext_obj, but is otherwise empty. Use the method Pxp_document.node.create_other on the exemplar to get a filled copy of the examplar (i.e. we need two steps to create nodes).


This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml