<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 modules" rel=Appendix href="index_modules.html"> <link title="Dtd" rel="Chapter" href="Dtd.html"> <link title="Xml" rel="Chapter" href="Xml.html"> <link title="XmlParser" rel="Chapter" href="XmlParser.html"><title>Dtd</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">type</span> dtd_child =<br> <span class="constructor">DTDTag</span> <span class="keyword">of</span> string<br> <span class="keywordsign">|</span> <span class="constructor">DTDPCData</span><br> <span class="keywordsign">|</span> <span class="constructor">DTDOptional</span> <span class="keyword">of</span> <span class="constructor">Dtd</span>.dtd_child<br> <span class="keywordsign">|</span> <span class="constructor">DTDZeroOrMore</span> <span class="keyword">of</span> <span class="constructor">Dtd</span>.dtd_child<br> <span class="keywordsign">|</span> <span class="constructor">DTDOneOrMore</span> <span class="keyword">of</span> <span class="constructor">Dtd</span>.dtd_child<br> <span class="keywordsign">|</span> <span class="constructor">DTDChoice</span> <span class="keyword">of</span> <span class="constructor">Dtd</span>.dtd_child list<br> <span class="keywordsign">|</span> <span class="constructor">DTDChildren</span> <span class="keyword">of</span> <span class="constructor">Dtd</span>.dtd_child list<br> <span class="keyword">type</span> dtd_element_type = <span class="constructor">DTDEmpty</span> <span class="keywordsign">|</span> <span class="constructor">DTDAny</span> <span class="keywordsign">|</span> <span class="constructor">DTDChild</span> <span class="keyword">of</span> <span class="constructor">Dtd</span>.dtd_child<br> <span class="keyword">type</span> dtd_attr_default =<br> <span class="constructor">DTDDefault</span> <span class="keyword">of</span> string<br> <span class="keywordsign">|</span> <span class="constructor">DTDRequired</span><br> <span class="keywordsign">|</span> <span class="constructor">DTDImplied</span><br> <span class="keywordsign">|</span> <span class="constructor">DTDFixed</span> <span class="keyword">of</span> string<br> <span class="keyword">type</span> dtd_attr_type =<br> <span class="constructor">DTDCData</span><br> <span class="keywordsign">|</span> <span class="constructor">DTDNMToken</span><br> <span class="keywordsign">|</span> <span class="constructor">DTDEnum</span> <span class="keyword">of</span> string list<br> <span class="keywordsign">|</span> <span class="constructor">DTDID</span><br> <span class="keywordsign">|</span> <span class="constructor">DTDIDRef</span><br> <span class="keyword">type</span> dtd_item =<br> <span class="constructor">DTDAttribute</span> <span class="keyword">of</span> string * string * <span class="constructor">Dtd</span>.dtd_attr_type *<br> <span class="constructor">Dtd</span>.dtd_attr_default<br> <span class="keywordsign">|</span> <span class="constructor">DTDElement</span> <span class="keyword">of</span> string * <span class="constructor">Dtd</span>.dtd_element_type<br> <span class="keyword">type</span> dtd = <span class="constructor">Dtd</span>.dtd_item list<br> <span class="keyword">type</span> checked<br> <span class="keyword">val</span> parse_file : string <span class="keywordsign">-></span> <span class="constructor">Dtd</span>.dtd<br> <span class="keyword">val</span> parse_in : <span class="constructor">Pervasives</span>.in_channel <span class="keywordsign">-></span> <span class="constructor">Dtd</span>.dtd<br> <span class="keyword">val</span> parse_string : string <span class="keywordsign">-></span> <span class="constructor">Dtd</span>.dtd<br> <span class="keyword">val</span> check : <span class="constructor">Dtd</span>.dtd <span class="keywordsign">-></span> <span class="constructor">Dtd</span>.checked<br> <span class="keyword">val</span> prove : <span class="constructor">Dtd</span>.checked <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Xml</span>.xml <span class="keywordsign">-></span> <span class="constructor">Xml</span>.xml<br> <span class="keyword">val</span> to_string : <span class="constructor">Dtd</span>.dtd_item <span class="keywordsign">-></span> string<br> <span class="keyword">type</span> parse_error_msg =<br> <span class="constructor">InvalidDTDDecl</span><br> <span class="keywordsign">|</span> <span class="constructor">InvalidDTDElement</span><br> <span class="keywordsign">|</span> <span class="constructor">InvalidDTDAttribute</span><br> <span class="keywordsign">|</span> <span class="constructor">InvalidDTDTag</span><br> <span class="keywordsign">|</span> <span class="constructor">DTDItemExpected</span><br> <span class="keyword">type</span> check_error =<br> <span class="constructor">ElementDefinedTwice</span> <span class="keyword">of</span> string<br> <span class="keywordsign">|</span> <span class="constructor">AttributeDefinedTwice</span> <span class="keyword">of</span> string * string<br> <span class="keywordsign">|</span> <span class="constructor">ElementEmptyContructor</span> <span class="keyword">of</span> string<br> <span class="keywordsign">|</span> <span class="constructor">ElementReferenced</span> <span class="keyword">of</span> string * string<br> <span class="keywordsign">|</span> <span class="constructor">ElementNotDeclared</span> <span class="keyword">of</span> string<br> <span class="keywordsign">|</span> <span class="constructor">WrongImplicitValueForID</span> <span class="keyword">of</span> string * string<br> <span class="keyword">type</span> prove_error =<br> <span class="constructor">UnexpectedPCData</span><br> <span class="keywordsign">|</span> <span class="constructor">UnexpectedTag</span> <span class="keyword">of</span> string<br> <span class="keywordsign">|</span> <span class="constructor">UnexpectedAttribute</span> <span class="keyword">of</span> string<br> <span class="keywordsign">|</span> <span class="constructor">InvalidAttributeValue</span> <span class="keyword">of</span> string<br> <span class="keywordsign">|</span> <span class="constructor">RequiredAttribute</span> <span class="keyword">of</span> string<br> <span class="keywordsign">|</span> <span class="constructor">ChildExpected</span> <span class="keyword">of</span> string<br> <span class="keywordsign">|</span> <span class="constructor">EmptyExpected</span><br> <span class="keywordsign">|</span> <span class="constructor">DuplicateID</span> <span class="keyword">of</span> string<br> <span class="keywordsign">|</span> <span class="constructor">MissingID</span> <span class="keyword">of</span> string<br> <span class="keyword">type</span> parse_error = <span class="constructor">Dtd</span>.parse_error_msg * <span class="constructor">Xml</span>.error_pos<br> <span class="keyword">exception</span> <span class="constructor">Parse_error</span> <span class="keyword">of</span> <span class="constructor">Dtd</span>.parse_error<br> <span class="keyword">exception</span> <span class="constructor">Check_error</span> <span class="keyword">of</span> <span class="constructor">Dtd</span>.check_error<br> <span class="keyword">exception</span> <span class="constructor">Prove_error</span> <span class="keyword">of</span> <span class="constructor">Dtd</span>.prove_error<br> <span class="keyword">val</span> parse_error : <span class="constructor">Dtd</span>.parse_error <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> check_error : <span class="constructor">Dtd</span>.check_error <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> prove_error : <span class="constructor">Dtd</span>.prove_error <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> _raises : (string <span class="keywordsign">-></span> exn) <span class="keywordsign">-></span> unit<br> <span class="keyword">end</span></code></body></html>