<!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="Up" href="Pxp_tree_parser.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_tree_parser.index</title> </head> <body> <div class="navbar"> <a href="Pxp_tree_parser.html">Up</a> </div> <center><h1>Class type <a href="type_Pxp_tree_parser.index.html">Pxp_tree_parser.index</a></h1></center> <br> <pre><span class="keyword">class type</span> <a name="TYPEindex"></a><code class="type">['a <a href="Pxp_document.node.html">Pxp_document.node</a> #<a href="Pxp_document.extension.html">Pxp_document.extension</a> as 'a]</code> index = <code class="code"><span class="keyword">object</span></code> <a href="Pxp_tree_parser.index.html">..</a> <code class="code"><span class="keyword">end</span></code></pre>The type of indexes over the ID attributes of the elements. This type is the minimum requirement needed by the parser to create such an index.<br> <hr width="100%"> <pre><span class="keyword">method</span> <a name="METHODadd"></a>add : <code class="type">string -> 'a <a href="Pxp_document.node.html">Pxp_document.node</a> -> unit</code></pre><div class="info"> Add the passed node to the index. If there is already an ID with the passed string value, the exception <a href="Pxp_tree_parser.html#EXCEPTIONID_not_unique"><code class="code"><span class="constructor">Pxp_tree_parser</span>.<span class="constructor">ID_not_unique</span></code></a> can be raised. However, index implementations are free to also accept several identical IDs, although this does not comply to the standard.<br> </div> <pre><span class="keyword">method</span> <a name="METHODfind"></a>find : <code class="type">string -> 'a <a href="Pxp_document.node.html">Pxp_document.node</a></code></pre><div class="info"> Finds the node with the passed ID value, or raises <code class="code"><span class="constructor">Not_found</span></code><br> </div> </body></html>