<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 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_core_types.S</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">module</span> <span class="constructor">StringMap</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> key = string<br> <span class="keyword">type</span> +<span class="keywordsign">'</span>a t<br> <span class="keyword">val</span> empty : <span class="keywordsign">'</span>a t<br> <span class="keyword">val</span> is_empty : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> add : key <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br> <span class="keyword">val</span> find : key <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> remove : key <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br> <span class="keyword">val</span> mem : key <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> iter : (key <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> map : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>b t<br> <span class="keyword">val</span> mapi : (key <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>b t<br> <span class="keyword">val</span> fold : (key <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>b<br> <span class="keyword">val</span> compare : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> int) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> equal : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> bool<br> <span class="keyword">end</span><br> <span class="keyword">type</span> ext_id =<br> <span class="constructor">Pxp_core_types</span>.<span class="constructor">A</span>.ext_id =<br> <span class="constructor">System</span> <span class="keyword">of</span> string<br> <span class="keywordsign">|</span> <span class="constructor">Public</span> <span class="keyword">of</span> (string * string)<br> <span class="keywordsign">|</span> <span class="constructor">Anonymous</span><br> <span class="keywordsign">|</span> <span class="constructor">Private</span> <span class="keyword">of</span> <span class="constructor">Pxp_core_types</span>.<span class="constructor">S</span>.private_id<br> <span class="keyword">and</span> private_id = <span class="constructor">Pxp_core_types</span>.<span class="constructor">A</span>.private_id<br> <span class="keyword">val</span> allocate_private_id : unit <span class="keywordsign">-></span> <span class="constructor">Pxp_core_types</span>.<span class="constructor">S</span>.private_id<br> <span class="keyword">type</span> resolver_id =<br> <span class="constructor">Pxp_core_types</span>.<span class="constructor">A</span>.resolver_id = {<br> rid_private : <span class="constructor">Pxp_core_types</span>.<span class="constructor">S</span>.private_id option;<br> rid_public : string option;<br> rid_system : string option;<br> rid_system_base : string option;<br> }<br> <span class="keyword">val</span> resolver_id_of_ext_id :<br> <span class="constructor">Pxp_core_types</span>.<span class="constructor">S</span>.ext_id <span class="keywordsign">-></span> <span class="constructor">Pxp_core_types</span>.<span class="constructor">S</span>.resolver_id<br> <span class="keyword">type</span> dtd_id =<br> <span class="constructor">Pxp_core_types</span>.<span class="constructor">A</span>.dtd_id =<br> <span class="constructor">External</span> <span class="keyword">of</span> <span class="constructor">Pxp_core_types</span>.<span class="constructor">S</span>.ext_id<br> <span class="keywordsign">|</span> <span class="constructor">Derived</span> <span class="keyword">of</span> <span class="constructor">Pxp_core_types</span>.<span class="constructor">S</span>.ext_id<br> <span class="keywordsign">|</span> <span class="constructor">Internal</span><br> <span class="keyword">type</span> content_model_type =<br> <span class="constructor">Pxp_core_types</span>.<span class="constructor">A</span>.content_model_type =<br> <span class="constructor">Unspecified</span><br> <span class="keywordsign">|</span> <span class="constructor">Empty</span><br> <span class="keywordsign">|</span> <span class="constructor">Any</span><br> <span class="keywordsign">|</span> <span class="constructor">Mixed</span> <span class="keyword">of</span> <span class="constructor">Pxp_core_types</span>.<span class="constructor">S</span>.mixed_spec list<br> <span class="keywordsign">|</span> <span class="constructor">Regexp</span> <span class="keyword">of</span> <span class="constructor">Pxp_core_types</span>.<span class="constructor">S</span>.regexp_spec<br> <span class="keyword">and</span> mixed_spec = <span class="constructor">Pxp_core_types</span>.<span class="constructor">A</span>.mixed_spec = <span class="constructor">MPCDATA</span> <span class="keywordsign">|</span> <span class="constructor">MChild</span> <span class="keyword">of</span> string<br> <span class="keyword">and</span> regexp_spec =<br> <span class="constructor">Pxp_core_types</span>.<span class="constructor">A</span>.regexp_spec =<br> <span class="constructor">Optional</span> <span class="keyword">of</span> <span class="constructor">Pxp_core_types</span>.<span class="constructor">S</span>.regexp_spec<br> <span class="keywordsign">|</span> <span class="constructor">Repeated</span> <span class="keyword">of</span> <span class="constructor">Pxp_core_types</span>.<span class="constructor">S</span>.regexp_spec<br> <span class="keywordsign">|</span> <span class="constructor">Repeated1</span> <span class="keyword">of</span> <span class="constructor">Pxp_core_types</span>.<span class="constructor">S</span>.regexp_spec<br> <span class="keywordsign">|</span> <span class="constructor">Alt</span> <span class="keyword">of</span> <span class="constructor">Pxp_core_types</span>.<span class="constructor">S</span>.regexp_spec list<br> <span class="keywordsign">|</span> <span class="constructor">Seq</span> <span class="keyword">of</span> <span class="constructor">Pxp_core_types</span>.<span class="constructor">S</span>.regexp_spec list<br> <span class="keywordsign">|</span> <span class="constructor">Child</span> <span class="keyword">of</span> string<br> <span class="keyword">type</span> att_type =<br> <span class="constructor">Pxp_core_types</span>.<span class="constructor">A</span>.att_type =<br> <span class="constructor">A_cdata</span><br> <span class="keywordsign">|</span> <span class="constructor">A_id</span><br> <span class="keywordsign">|</span> <span class="constructor">A_idref</span><br> <span class="keywordsign">|</span> <span class="constructor">A_idrefs</span><br> <span class="keywordsign">|</span> <span class="constructor">A_entity</span><br> <span class="keywordsign">|</span> <span class="constructor">A_entities</span><br> <span class="keywordsign">|</span> <span class="constructor">A_nmtoken</span><br> <span class="keywordsign">|</span> <span class="constructor">A_nmtokens</span><br> <span class="keywordsign">|</span> <span class="constructor">A_notation</span> <span class="keyword">of</span> string list<br> <span class="keywordsign">|</span> <span class="constructor">A_enum</span> <span class="keyword">of</span> string list<br> <span class="keyword">type</span> att_default =<br> <span class="constructor">Pxp_core_types</span>.<span class="constructor">A</span>.att_default =<br> <span class="constructor">D_required</span><br> <span class="keywordsign">|</span> <span class="constructor">D_implied</span><br> <span class="keywordsign">|</span> <span class="constructor">D_default</span> <span class="keyword">of</span> string<br> <span class="keywordsign">|</span> <span class="constructor">D_fixed</span> <span class="keyword">of</span> string<br> <span class="keyword">type</span> att_value =<br> <span class="constructor">Pxp_core_types</span>.<span class="constructor">A</span>.att_value =<br> <span class="constructor">Value</span> <span class="keyword">of</span> string<br> <span class="keywordsign">|</span> <span class="constructor">Valuelist</span> <span class="keyword">of</span> string list<br> <span class="keywordsign">|</span> <span class="constructor">Implied_value</span><br> <span class="keyword">class</span> <span class="keyword">type</span> collect_warnings = <span class="keyword">object</span> <span class="keyword">method</span> warn : string <span class="keywordsign">-></span> unit <span class="keyword">end</span><br> <span class="keyword">class</span> drop_warnings : collect_warnings<br> <span class="keyword">type</span> warning =<br> [ <span class="keywordsign">`</span><span class="constructor">W_XML_version_not_supported</span> <span class="keyword">of</span> string<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">W_code_point_cannot_be_represented</span> <span class="keyword">of</span> int<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">W_element_mentioned_but_not_declared</span> <span class="keyword">of</span> string<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">W_entity_declared_twice</span> <span class="keyword">of</span> string<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">W_multiple_ATTLIST_declarations</span> <span class="keyword">of</span> string<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">W_multiple_attribute_declarations</span> <span class="keyword">of</span> string * string<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">W_name_is_reserved_for_extensions</span> <span class="keyword">of</span> string ]<br> <span class="keyword">class</span> <span class="keyword">type</span> symbolic_warnings =<br> <span class="keyword">object</span> <span class="keyword">method</span> warn : <span class="constructor">Pxp_core_types</span>.<span class="constructor">S</span>.warning <span class="keywordsign">-></span> unit <span class="keyword">end</span><br> <span class="keyword">val</span> string_of_warning : <span class="constructor">Pxp_core_types</span>.<span class="constructor">S</span>.warning <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> warn :<br> <span class="constructor">Pxp_core_types</span>.<span class="constructor">S</span>.symbolic_warnings option <span class="keywordsign">-></span><br> <span class="constructor">Pxp_core_types</span>.<span class="constructor">S</span>.collect_warnings <span class="keywordsign">-></span> <span class="constructor">Pxp_core_types</span>.<span class="constructor">S</span>.warning <span class="keywordsign">-></span> unit<br> <span class="keyword">type</span> encoding = <span class="constructor">Netconversion</span>.encoding<br> <span class="keyword">type</span> rep_encoding =<br> [ <span class="keywordsign">`</span><span class="constructor">Enc_cp1006</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_cp437</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_cp737</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_cp775</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_cp850</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_cp852</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_cp855</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_cp856</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_cp857</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_cp860</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_cp861</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_cp862</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_cp863</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_cp864</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_cp865</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_cp866</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_cp869</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_cp874</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_iso88591</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_iso885910</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_iso885913</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_iso885914</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_iso885915</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_iso885916</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_iso88592</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_iso88593</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_iso88594</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_iso88595</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_iso88596</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_iso88597</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_iso88598</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_iso88599</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_koi8r</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_macroman</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_usascii</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_utf8</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_windows1250</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_windows1251</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_windows1252</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_windows1253</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_windows1254</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_windows1255</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_windows1256</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_windows1257</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enc_windows1258</span> ]<br> <span class="keyword">exception</span> <span class="constructor">Validation_error</span> <span class="keyword">of</span> string<br> <span class="keyword">exception</span> <span class="constructor">WF_error</span> <span class="keyword">of</span> string<br> <span class="keyword">exception</span> <span class="constructor">Namespace_error</span> <span class="keyword">of</span> string<br> <span class="keyword">exception</span> <span class="constructor">Error</span> <span class="keyword">of</span> string<br> <span class="keyword">exception</span> <span class="constructor">Character_not_supported</span><br> <span class="keyword">exception</span> <span class="constructor">At</span> <span class="keyword">of</span> (string * exn)<br> <span class="keyword">exception</span> <span class="constructor">Undeclared</span><br> <span class="keyword">exception</span> <span class="constructor">Method_not_applicable</span> <span class="keyword">of</span> string<br> <span class="keyword">exception</span> <span class="constructor">Namespace_method_not_applicable</span> <span class="keyword">of</span> string<br> <span class="keyword">exception</span> <span class="constructor">Not_competent</span><br> <span class="keyword">exception</span> <span class="constructor">Not_resolvable</span> <span class="keyword">of</span> exn<br> <span class="keyword">exception</span> <span class="constructor">Namespace_not_managed</span> <span class="keyword">of</span> string<br> <span class="keyword">exception</span> <span class="constructor">Namespace_prefix_not_managed</span> <span class="keyword">of</span> string<br> <span class="keyword">exception</span> <span class="constructor">Namespace_not_in_scope</span> <span class="keyword">of</span> string<br> <span class="keyword">val</span> string_of_exn : exn <span class="keywordsign">-></span> string<br> <span class="keyword">type</span> output_stream =<br> [ <span class="keywordsign">`</span><span class="constructor">Out_buffer</span> <span class="keyword">of</span> <span class="constructor">Buffer</span>.t<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Out_channel</span> <span class="keyword">of</span> <span class="constructor">Pervasives</span>.out_channel<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Out_function</span> <span class="keyword">of</span> string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Out_netchannel</span> <span class="keyword">of</span> <span class="constructor">Netchannels</span>.out_obj_channel ]<br> <span class="keyword">val</span> write : <span class="constructor">Pxp_core_types</span>.<span class="constructor">S</span>.output_stream <span class="keywordsign">-></span> string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">type</span> pool = <span class="constructor">Pxp_core_types</span>.<span class="constructor">A</span>.pool<br> <span class="keyword">val</span> make_probabilistic_pool :<br> ?fraction:float <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Pxp_core_types</span>.<span class="constructor">S</span>.pool<br> <span class="keyword">val</span> pool_string : <span class="constructor">Pxp_core_types</span>.<span class="constructor">S</span>.pool <span class="keywordsign">-></span> string <span class="keywordsign">-></span> string<br> <span class="keyword">end</span></code></body></html>