<!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="previous" href="Pxp_marshal.html"> <link rel="next" href="Pxp_reader.html"> <link rel="Up" href="index.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_yacc</title> </head> <body> <div class="navbar"><a href="Pxp_marshal.html">Previous</a> <a href="index.html">Up</a> <a href="Pxp_reader.html">Next</a> </div> <center><h1>Module <a href="type_Pxp_yacc.html">Pxp_yacc</a></h1></center> <br> <pre><span class="keyword">module</span> Pxp_yacc: <code class="code"><span class="keyword">sig</span></code> <a href="Pxp_yacc.html">..</a> <code class="code"><span class="keyword">end</span></code></pre>Calling the parser (deprecated)<br> <hr width="100%"> <pre><span class="keyword">type</span> <a name="TYPEconfig"></a><code class="type"></code>config = <code class="type"><a href="Pxp_types.html#TYPEconfig">Pxp_types.config</a></code> = {</pre><table class="typetable"> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>warner : <code class="type"><a href="Pxp_types.html#TYPEcollect_warnings">Pxp_types.collect_warnings</a></code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>swarner : <code class="type"><a href="Pxp_types.html#TYPEsymbolic_warnings">Pxp_types.symbolic_warnings</a> option</code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>enable_pinstr_nodes : <code class="type">bool</code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>enable_comment_nodes : <code class="type">bool</code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>enable_super_root_node : <code class="type">bool</code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>drop_ignorable_whitespace : <code class="type">bool</code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>encoding : <code class="type"><a href="Pxp_types.html#TYPErep_encoding">Pxp_types.rep_encoding</a></code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>recognize_standalone_declaration : <code class="type">bool</code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>store_element_positions : <code class="type">bool</code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>idref_pass : <code class="type">bool</code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>validate_by_dfa : <code class="type">bool</code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>accept_only_deterministic_models : <code class="type">bool</code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>disable_content_validation : <code class="type">bool</code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>name_pool : <code class="type">Pxp_core_types.I.pool</code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>enable_name_pool_for_element_types : <code class="type">bool</code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>enable_name_pool_for_attribute_names : <code class="type">bool</code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>enable_name_pool_for_attribute_values : <code class="type">bool</code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>enable_name_pool_for_pinstr_targets : <code class="type">bool</code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>enable_namespace_processing : <code class="type"><a href="Pxp_dtd.namespace_manager.html">Pxp_dtd.namespace_manager</a> option</code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>escape_contents : <code class="type">(Pxp_lexer_types.token -> Pxp_entity_manager.entity_manager -> string) option</code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>escape_attributes : <code class="type">(Pxp_lexer_types.token -> int -> Pxp_entity_manager.entity_manager -> string)<br> option</code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>debugging_mode : <code class="type">bool</code>;</code></td> </tr></table> } <div class="info"> Same as <a href="Pxp_types.html#TYPEconfig"><code class="code"><span class="constructor">Pxp_types</span>.config</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALdefault_config"></a>default_config : <code class="type"><a href="Pxp_yacc.html#TYPEconfig">config</a></code></pre><div class="info"> Same as <a href="Pxp_types.html#VALdefault_config"><code class="code"><span class="constructor">Pxp_types</span>.default_config</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALdefault_namespace_config"></a>default_namespace_config : <code class="type"><a href="Pxp_yacc.html#TYPEconfig">config</a></code></pre><div class="info"> Same as <a href="Pxp_types.html#VALdefault_namespace_config"><code class="code"><span class="constructor">Pxp_types</span>.default_namespace_config</code></a><br> </div> <pre><span class="keyword">type</span> <a name="TYPEsource"></a><code class="type"></code>source = <code class="type"><a href="Pxp_types.html#TYPEsource">Pxp_types.source</a></code> = </pre><table class="typetable"> <tr> <td align="left" valign="top" > <code><span class="keyword">|</span></code></td> <td align="left" valign="top" > <code><span class="constructor">Entity</span> <span class="keyword">of</span> <code class="type">((<a href="Pxp_dtd.dtd.html">Pxp_dtd.dtd</a> -> Pxp_entity.entity) * <a href="Pxp_reader.resolver.html">Pxp_reader.resolver</a>)</code></code></td> </tr> <tr> <td align="left" valign="top" > <code><span class="keyword">|</span></code></td> <td align="left" valign="top" > <code><span class="constructor">ExtID</span> <span class="keyword">of</span> <code class="type">(<a href="Pxp_types.html#TYPEext_id">Pxp_types.ext_id</a> * <a href="Pxp_reader.resolver.html">Pxp_reader.resolver</a>)</code></code></td> </tr> <tr> <td align="left" valign="top" > <code><span class="keyword">|</span></code></td> <td align="left" valign="top" > <code><span class="constructor">XExtID</span> <span class="keyword">of</span> <code class="type">(<a href="Pxp_types.html#TYPEext_id">Pxp_types.ext_id</a> * string option * <a href="Pxp_reader.resolver.html">Pxp_reader.resolver</a>)</code></code></td> </tr></table> <div class="info"> Same as <a href="Pxp_types.html#TYPEsource"><code class="code"><span class="constructor">Pxp_types</span>.source</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALfrom_channel"></a>from_channel : <code class="type">?alt:<a href="Pxp_reader.resolver.html">Pxp_reader.resolver</a> list -><br> ?system_id:string -><br> ?fixenc:<a href="Pxp_types.html#TYPEencoding">Pxp_types.encoding</a> -><br> ?id:<a href="Pxp_types.html#TYPEext_id">Pxp_types.ext_id</a> -><br> ?system_encoding:<a href="Pxp_types.html#TYPEencoding">Pxp_types.encoding</a> -><br> Pervasives.in_channel -> <a href="Pxp_yacc.html#TYPEsource">source</a></code></pre><div class="info"> Same as <a href="Pxp_types.html#VALfrom_channel"><code class="code"><span class="constructor">Pxp_types</span>.from_channel</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALfrom_string"></a>from_string : <code class="type">?alt:<a href="Pxp_reader.resolver.html">Pxp_reader.resolver</a> list -><br> ?system_id:string -> ?fixenc:<a href="Pxp_types.html#TYPEencoding">Pxp_types.encoding</a> -> string -> <a href="Pxp_yacc.html#TYPEsource">source</a></code></pre><div class="info"> Same as <a href="Pxp_types.html#VALfrom_string"><code class="code"><span class="constructor">Pxp_types</span>.from_string</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALfrom_obj_channel"></a>from_obj_channel : <code class="type">?alt:<a href="Pxp_reader.resolver.html">Pxp_reader.resolver</a> list -><br> ?system_id:string -><br> ?fixenc:<a href="Pxp_types.html#TYPEencoding">Pxp_types.encoding</a> -><br> ?id:<a href="Pxp_types.html#TYPEext_id">Pxp_types.ext_id</a> -><br> ?system_encoding:<a href="Pxp_types.html#TYPEencoding">Pxp_types.encoding</a> -><br> Netchannels.in_obj_channel -> <a href="Pxp_yacc.html#TYPEsource">source</a></code></pre><div class="info"> Same as <a href="Pxp_types.html#VALfrom_obj_channel"><code class="code"><span class="constructor">Pxp_types</span>.from_obj_channel</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALfrom_file"></a>from_file : <code class="type">?alt:<a href="Pxp_reader.resolver.html">Pxp_reader.resolver</a> list -><br> ?system_encoding:<a href="Pxp_types.html#TYPEencoding">Pxp_types.encoding</a> -><br> ?enc:<a href="Pxp_types.html#TYPEencoding">Pxp_types.encoding</a> -> string -> <a href="Pxp_yacc.html#TYPEsource">source</a></code></pre><div class="info"> Same as <a href="Pxp_types.html#VALfrom_file"><code class="code"><span class="constructor">Pxp_types</span>.from_file</code></a><br> </div> <pre><span class="keyword">exception</span> <a name="EXCEPTIONID_not_unique"></a>ID_not_unique</pre> <div class="info"> Same as <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><br> </div> <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> <a href="Pxp_yacc.index.html">index</a> = <code class="type">['a]</code> <code class="type"><a href="Pxp_tree_parser.index.html">Pxp_tree_parser.index</a></code></pre><div class="info"> Same as <a href="Pxp_tree_parser.index.html"><code class="code"><span class="constructor">Pxp_tree_parser</span>.index</code></a> </div> <pre><span class="keyword">class</span> <a name="TYPEhash_index"></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> <a href="Pxp_yacc.hash_index.html">hash_index</a> : <code class="type"></code><code class="type">['a]</code> <code class="type"><a href="Pxp_tree_parser.hash_index.html">Pxp_tree_parser.hash_index</a></code></pre><div class="info"> Same as <a href="Pxp_tree_parser.hash_index.html"><code class="code"><span class="constructor">Pxp_tree_parser</span>.hash_index</code></a> </div> <pre><span class="keyword">val</span> <a name="VALdefault_extension"></a>default_extension : <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></pre><div class="info"> Same as <a href="Pxp_tree_parser.html#VALdefault_extension"><code class="code"><span class="constructor">Pxp_tree_parser</span>.default_extension</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALdefault_spec"></a>default_spec : <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) <a href="Pxp_document.html#TYPEspec">Pxp_document.spec</a></code></pre><div class="info"> Same as <a href="Pxp_tree_parser.html#VALdefault_spec"><code class="code"><span class="constructor">Pxp_tree_parser</span>.default_spec</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALdefault_namespace_spec"></a>default_namespace_spec : <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) <a href="Pxp_document.html#TYPEspec">Pxp_document.spec</a></code></pre><div class="info"> Same as <a href="Pxp_tree_parser.html#VALdefault_namespace_spec"><code class="code"><span class="constructor">Pxp_tree_parser</span>.default_namespace_spec</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALparse_document_entity"></a>parse_document_entity : <code class="type">?transform_dtd:(<a href="Pxp_dtd.dtd.html">Pxp_dtd.dtd</a> -> <a href="Pxp_dtd.dtd.html">Pxp_dtd.dtd</a>) -><br> ?id_index:('a <a href="Pxp_document.node.html">Pxp_document.node</a> #<a href="Pxp_document.extension.html">Pxp_document.extension</a> as 'a) <a href="Pxp_yacc.index.html">index</a> -><br> <a href="Pxp_yacc.html#TYPEconfig">config</a> -><br> <a href="Pxp_yacc.html#TYPEsource">source</a> -> 'a <a href="Pxp_document.html#TYPEspec">Pxp_document.spec</a> -> 'a <a href="Pxp_document.document.html">Pxp_document.document</a></code></pre><div class="info"> Same as <a href="Pxp_tree_parser.html#VALparse_document_entity"><code class="code"><span class="constructor">Pxp_tree_parser</span>.parse_document_entity</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALparse_wfdocument_entity"></a>parse_wfdocument_entity : <code class="type">?transform_dtd:(<a href="Pxp_dtd.dtd.html">Pxp_dtd.dtd</a> -> <a href="Pxp_dtd.dtd.html">Pxp_dtd.dtd</a>) -><br> <a href="Pxp_yacc.html#TYPEconfig">config</a> -><br> <a href="Pxp_yacc.html#TYPEsource">source</a> -><br> ('a <a href="Pxp_document.node.html">Pxp_document.node</a> #<a href="Pxp_document.extension.html">Pxp_document.extension</a> as 'a) <a href="Pxp_document.html#TYPEspec">Pxp_document.spec</a> -><br> 'a <a href="Pxp_document.document.html">Pxp_document.document</a></code></pre><div class="info"> Same as <a href="Pxp_tree_parser.html#VALparse_wfdocument_entity"><code class="code"><span class="constructor">Pxp_tree_parser</span>.parse_wfdocument_entity</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALparse_content_entity"></a>parse_content_entity : <code class="type">?id_index:('a <a href="Pxp_document.node.html">Pxp_document.node</a> #<a href="Pxp_document.extension.html">Pxp_document.extension</a> as 'a) <a href="Pxp_yacc.index.html">index</a> -><br> <a href="Pxp_yacc.html#TYPEconfig">config</a> -><br> <a href="Pxp_yacc.html#TYPEsource">source</a> -><br> <a href="Pxp_dtd.dtd.html">Pxp_dtd.dtd</a> -> 'a <a href="Pxp_document.html#TYPEspec">Pxp_document.spec</a> -> 'a <a href="Pxp_document.node.html">Pxp_document.node</a></code></pre><div class="info"> Same as <a href="Pxp_tree_parser.html#VALparse_content_entity"><code class="code"><span class="constructor">Pxp_tree_parser</span>.parse_content_entity</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALparse_wfcontent_entity"></a>parse_wfcontent_entity : <code class="type"><a href="Pxp_yacc.html#TYPEconfig">config</a> -><br> <a href="Pxp_yacc.html#TYPEsource">source</a> -><br> ('a <a href="Pxp_document.node.html">Pxp_document.node</a> #<a href="Pxp_document.extension.html">Pxp_document.extension</a> as 'a) <a href="Pxp_document.html#TYPEspec">Pxp_document.spec</a> -><br> 'a <a href="Pxp_document.node.html">Pxp_document.node</a></code></pre><div class="info"> Same as <a href="Pxp_tree_parser.html#VALparse_wfcontent_entity"><code class="code"><span class="constructor">Pxp_tree_parser</span>.parse_wfcontent_entity</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALparse_dtd_entity"></a>parse_dtd_entity : <code class="type"><a href="Pxp_yacc.html#TYPEconfig">config</a> -> <a href="Pxp_yacc.html#TYPEsource">source</a> -> <a href="Pxp_dtd.dtd.html">Pxp_dtd.dtd</a></code></pre><div class="info"> Same as <a href="Pxp_dtd_parser.html#VALparse_dtd_entity"><code class="code"><span class="constructor">Pxp_dtd_parser</span>.parse_dtd_entity</code></a><br> </div> <pre><span class="keyword">val</span> <a name="VALextract_dtd_from_document_entity"></a>extract_dtd_from_document_entity : <code class="type"><a href="Pxp_yacc.html#TYPEconfig">config</a> -> <a href="Pxp_yacc.html#TYPEsource">source</a> -> <a href="Pxp_dtd.dtd.html">Pxp_dtd.dtd</a></code></pre><div class="info"> Same as <a href="Pxp_dtd_parser.html#VALextract_dtd_from_document_entity"><code class="code"><span class="constructor">Pxp_dtd_parser</span>.extract_dtd_from_document_entity</code></a><br> </div> </body></html>