<!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>