Plasma GitLab Archive
Projects Blog Knowledge

Class Pxp_document.data_impl

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

let exemplar = new data_impl ext_obj

which creates an empty data node which already contains a reference to the extension ext_obj, but is otherwise empty. Use the method Pxp_document.node.create_data 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