Class Pxp_document.pinstr_impl


class ['a node #extension as 'a] pinstr_impl : 'a -> ['a] node
<ID:class-pinstr-impl> <TYPE:class> <CALL> 'ext pinstr_impl <SIG> AUTO <DESCR> This class is an implementation of node which realizes processing instruction nodes. You can create a new object by

let exemplar = new pinstr_impl ext_obj

which creates a special form of empty node which already contains a reference to the ext_obj, but is otherwise empty. This special form is called a processing instruction exemplar. In order to get a working node that can be used in a node tree it is required to apply the method create_other on the exemplar object, e.g.

let pi = exemplar # create_other dtd </ID>