module Main:sig..end
For assembling the pieces provided by the other modules.
exception Error of string
val doc_of_nmm : Common_utils.t_axml_options -> string -> Doc_types.tr_docdoc_of_nmm "path/to/file" evaluates to Doc_of_nmm.doc_of_nmm_file false "path/to/file".
doc_of_nmm "-" evaluates to Doc_of_nmm.doc_of_nmm_stdin false.
val txt_of_doc : Common_utils.t_txt_options -> Doc_types.tr_doc -> stringtxt_of_doc doc evaluates to Compiler_of_doc.txt_of_tr_doc doc.
val default_css : unit -> stringdefault_css () evaluates to Html_utils.internal_css "6ch" "0".
val html_of_doc : Common_utils.t_html_options -> Doc_types.tr_doc -> stringhtml_of_doc options doc evaluates to a string containing a html-document with an internal css stylesheet, specified by the value of
"<style>\n" ^ (Html_utils.internal_css default_tab_length margin_left) ^ "\n</style>"
where default_tab_length is "6ch" and margin_left is a string determined by options and doc.
The body of the html-document is specified by the value of
"<body>\n" ^ (Html_utils.html_of_exml (Compiler_of_doc.exml_of_tr_doc options doc)) ^ "\n</body>".
val doc_of_axml : string -> Doc_types.tr_docdoc_of_axml "path/to/file" evaluates to Doc_of_axml.f_tr_doc_of_axml (Xml_right.parse_file false "path/to/file").
doc_of_axml "-" evaluates to Doc_of_axml.f_tr_doc_of_axml (Xml_right.parse_stdin false).
val axml_of_doc : Doc_types.tr_doc -> stringaxml_of_doc doc evaluates to a normalized XML-representation of doc that is an instance of axml.dtd.
val html_of_nmm : Common_utils.t_html_options -> string -> stringhtml_of_nmm options path evaluates to html_of_doc options (doc_of_nmm path).
val txt_of_nmm : Common_utils.t_txt_options -> string -> stringtxt_of_nmm options path evaluate to txt_of_doc options (doc_of_nmm path).
val txt_of_axml : Common_utils.t_txt_options -> string -> stringtxt_of_axml options path evaluates to txt_of_doc options (doc_of_axml path).
val html_of_axml : Common_utils.t_html_options -> string -> stringhtml_of_axml options path evaluates to html_of_doc options (doc_of_axml path).
val axml_of_nmm : Common_utils.t_axml_options -> string -> stringaxml_of_nmm path evaluates to axml_of_doc (doc_of_nmm path).
val check_xml_schema : string -> stringcheck_xml_schema "path/to/xml-schema.dtd" calls the Xml-light function Dtd.parse_file for parsing path/to/xml-schema.dtd, and Dtd.check for checking that it is a well-defined xml-schema in the format dtd.
val validate_xml : string -> string -> stringvalidate_xml "path/to/xml-schema.dtd" "path/to/xml-file.xml" first calls the Xml-light function Dtd.parse_file for parsing xml-schema.dtd, and Dtd.check for checking that it is well-defined. It then calls the function Xml_right.parse_file for parsing xml-file.xml into an object of the Xml-light type Xml.xml. Lastly, it calls Dtd.prove for proving (or disproving) that xml-file.xml is an instance of xml-schema.dtd.
val exml_of_nmm : Common_utils.t_exml_options -> string -> string
val exml_of_axml : Common_utils.t_exml_options -> string -> string
val normalize_axml_file : string -> string