class<ID:class-namespace-element-impl> <TYPE:class> <CALL> 'ext['a node #extension as 'a]
namespace_element_impl :'a ->
['a]
node
namespace_element_impl
<SIG> AUTO
<DESCR> This class is an implementation of node
which
realizes element nodes. In contrast to element_impl
, this class
also implements the namespace methods.
You can create a new object by
let exemplar = new namespace_element_impl ext_obj
which creates a special form of empty element which already contains a
reference to the ext_obj
, but is otherwise empty. This special form
is called an element exemplar. In order to get a working element
that can be used in a node tree it is required to apply the method
create_element
on the exemplar object.
</ID>