class<ID:class-pinstr-impl> <TYPE:class> <CALL> 'ext['a node #extension as 'a]
pinstr_impl :'a ->
['a]
node
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>