<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="index.html">
<link rel="next" href="Pxp_document.node.html">
<link rel="Up" href="Pxp_document.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
<link title="Index of values" rel=Appendix href="index_values.html">
<link title="Index of class methods" rel=Appendix href="index_methods.html">
<link title="Index of classes" rel=Appendix href="index_classes.html">
<link title="Index of class types" rel=Appendix href="index_class_types.html">
<link title="Index of modules" rel=Appendix href="index_modules.html">
<link title="Index of module types" rel=Appendix href="index_module_types.html">
<link title="Pxp_types" rel="Chapter" href="Pxp_types.html">
<link title="Pxp_document" rel="Chapter" href="Pxp_document.html">
<link title="Pxp_dtd" rel="Chapter" href="Pxp_dtd.html">
<link title="Pxp_tree_parser" rel="Chapter" href="Pxp_tree_parser.html">
<link title="Pxp_core_types" rel="Chapter" href="Pxp_core_types.html">
<link title="Pxp_ev_parser" rel="Chapter" href="Pxp_ev_parser.html">
<link title="Pxp_event" rel="Chapter" href="Pxp_event.html">
<link title="Pxp_dtd_parser" rel="Chapter" href="Pxp_dtd_parser.html">
<link title="Pxp_codewriter" rel="Chapter" href="Pxp_codewriter.html">
<link title="Pxp_marshal" rel="Chapter" href="Pxp_marshal.html">
<link title="Pxp_yacc" rel="Chapter" href="Pxp_yacc.html">
<link title="Pxp_reader" rel="Chapter" href="Pxp_reader.html">
<link title="Intro_trees" rel="Chapter" href="Intro_trees.html">
<link title="Intro_extensions" rel="Chapter" href="Intro_extensions.html">
<link title="Intro_namespaces" rel="Chapter" href="Intro_namespaces.html">
<link title="Intro_events" rel="Chapter" href="Intro_events.html">
<link title="Intro_resolution" rel="Chapter" href="Intro_resolution.html">
<link title="Intro_getting_started" rel="Chapter" href="Intro_getting_started.html">
<link title="Intro_advanced" rel="Chapter" href="Intro_advanced.html">
<link title="Intro_preprocessor" rel="Chapter" href="Intro_preprocessor.html">
<link title="Example_readme" rel="Chapter" href="Example_readme.html"><title>PXP Reference : Pxp_document.extension</title>
</head>
<body>
<div class="navbar"> <a href="Pxp_document.html">Up</a>
<a href="Pxp_document.node.html">Next</a>
</div>
<center><h1>Class type <a href="type_Pxp_document.extension.html">Pxp_document.extension</a></h1></center>
<br>
<pre><span class="keyword">class type</span> <a name="TYPEextension"></a><code class="type">['a]</code> extension = <code class="code"><span class="keyword">object</span></code> <a href="Pxp_document.extension.html">..</a> <code class="code"><span class="keyword">end</span></code></pre>The <code class="code">extension</code> is, as the name says, the extensible part of the
nodes. See <a href="Intro_extensions.html"><code class="code"><span class="constructor">Intro_extensions</span></code></a> for an introduction into extensions.<br>
<hr width="100%">
<pre><span class="keyword">method</span> <a name="METHODclone"></a>clone : <code class="type">< clone : 'b; node : 'a; set_node : 'a -> unit; .. > as 'b</code></pre><div class="info">
<code class="code">clone</code> is called when the node is to be duplicated, and as a
followup action, also the extension must be cloned. This method
must return a deep copy of the extension. By convention, the
caller of this method must also invoke <code class="code">set_node</code> on the copied
extension to establish a new link to a main node.<br>
</div>
<pre><span class="keyword">method</span> <a name="METHODnode"></a>node : <code class="type">'a</code></pre><div class="info">
<code class="code">node</code> is the link from the extension to the main node.
Conventionally, this link is set by the node via <code class="code">set_node</code>
below after the extension has been created or cloned.<br>
</div>
<pre><span class="keyword">method</span> <a name="METHODset_node"></a>set_node : <code class="type">'a -> unit</code></pre><div class="info">
<code class="code">set_node n</code> sets the link to the main node to <code class="code">n</code>. The link is
returned by <code class="code">node</code> after that.<br>
</div>
</body></html>
