hxt-8.3.0: doc/hdoc/src/Text-XML-HXT-Arrow-ProcessDocument.html
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html>
<head>
<!-- Generated by HsColour, http://www.cs.york.ac.uk/fp/darcs/hscolour/ -->
<title>Haskell Code by HsColour</title>
<link type='text/css' rel='stylesheet' href='hscolour.css' />
</head>
<body>
<pre><a name="line-1"></a><span class='comment'>-- ------------------------------------------------------------</span>
<a name="line-2"></a>
<a name="line-3"></a><span class='comment'>{- |
<a name="line-4"></a> Module : Text.XML.HXT.Arrow.ProcessDocument
<a name="line-5"></a> Copyright : Copyright (C) 2005 Uwe Schmidt
<a name="line-6"></a> License : MIT
<a name="line-7"></a>
<a name="line-8"></a> Maintainer : Uwe Schmidt (uwe@fh-wedel.de)
<a name="line-9"></a> Stability : experimental
<a name="line-10"></a> Portability: portable
<a name="line-11"></a> Version : $Id: ProcessDocument.hs,v 1.3 2006/08/30 16:20:52 hxml Exp $
<a name="line-12"></a>
<a name="line-13"></a> Compound arrows for reading, parsing, validating and writing XML documents
<a name="line-14"></a>
<a name="line-15"></a> All arrows use IO and a global state for options, errorhandling, ...
<a name="line-16"></a>-}</span>
<a name="line-17"></a>
<a name="line-18"></a><span class='comment'>-- ------------------------------------------------------------</span>
<a name="line-19"></a>
<a name="line-20"></a><span class='keyword'>module</span> <span class='conid'>Text</span><span class='varop'>.</span><span class='conid'>XML</span><span class='varop'>.</span><span class='conid'>HXT</span><span class='varop'>.</span><span class='conid'>Arrow</span><span class='varop'>.</span><span class='conid'>ProcessDocument</span>
<a name="line-21"></a> <span class='layout'>(</span> <span class='varid'>parseXmlDocument</span>
<a name="line-22"></a> <span class='layout'>,</span> <span class='varid'>parseHtmlDocument</span>
<a name="line-23"></a> <span class='layout'>,</span> <span class='varid'>validateDocument</span>
<a name="line-24"></a> <span class='layout'>,</span> <span class='varid'>propagateAndValidateNamespaces</span>
<a name="line-25"></a> <span class='layout'>,</span> <span class='varid'>getDocumentContents</span>
<a name="line-26"></a> <span class='layout'>)</span>
<a name="line-27"></a><span class='keyword'>where</span>
<a name="line-28"></a>
<a name="line-29"></a><span class='keyword'>import</span> <span class='conid'>Control</span><span class='varop'>.</span><span class='conid'>Arrow</span> <span class='comment'>-- arrow classes</span>
<a name="line-30"></a><span class='keyword'>import</span> <span class='conid'>Control</span><span class='varop'>.</span><span class='conid'>Arrow</span><span class='varop'>.</span><span class='conid'>ArrowList</span>
<a name="line-31"></a><span class='keyword'>import</span> <span class='conid'>Control</span><span class='varop'>.</span><span class='conid'>Arrow</span><span class='varop'>.</span><span class='conid'>ArrowIf</span>
<a name="line-32"></a><span class='keyword'>import</span> <span class='conid'>Control</span><span class='varop'>.</span><span class='conid'>Arrow</span><span class='varop'>.</span><span class='conid'>ArrowTree</span>
<a name="line-33"></a>
<a name="line-34"></a><span class='keyword'>import</span> <span class='conid'>Text</span><span class='varop'>.</span><span class='conid'>XML</span><span class='varop'>.</span><span class='conid'>HXT</span><span class='varop'>.</span><span class='conid'>DOM</span><span class='varop'>.</span><span class='conid'>Interface</span>
<a name="line-35"></a><span class='keyword'>import</span> <span class='conid'>Text</span><span class='varop'>.</span><span class='conid'>XML</span><span class='varop'>.</span><span class='conid'>HXT</span><span class='varop'>.</span><span class='conid'>Arrow</span><span class='varop'>.</span><span class='conid'>XmlArrow</span>
<a name="line-36"></a><span class='keyword'>import</span> <span class='conid'>Text</span><span class='varop'>.</span><span class='conid'>XML</span><span class='varop'>.</span><span class='conid'>HXT</span><span class='varop'>.</span><span class='conid'>Arrow</span><span class='varop'>.</span><span class='conid'>XmlIOStateArrow</span>
<a name="line-37"></a>
<a name="line-38"></a><span class='keyword'>import</span> <span class='conid'>Text</span><span class='varop'>.</span><span class='conid'>XML</span><span class='varop'>.</span><span class='conid'>HXT</span><span class='varop'>.</span><span class='conid'>Arrow</span><span class='varop'>.</span><span class='conid'>ParserInterface</span>
<a name="line-39"></a> <span class='layout'>(</span> <span class='varid'>parseXmlDoc</span>
<a name="line-40"></a> <span class='layout'>,</span> <span class='varid'>parseHtmlDoc</span>
<a name="line-41"></a> <span class='layout'>,</span> <span class='varid'>parseHtmlTagSoup</span>
<a name="line-42"></a> <span class='layout'>,</span> <span class='varid'>substHtmlEntityRefs</span>
<a name="line-43"></a> <span class='layout'>,</span> <span class='varid'>validateDoc</span>
<a name="line-44"></a> <span class='layout'>,</span> <span class='varid'>transformDoc</span>
<a name="line-45"></a> <span class='layout'>)</span>
<a name="line-46"></a>
<a name="line-47"></a><span class='keyword'>import</span> <span class='conid'>Text</span><span class='varop'>.</span><span class='conid'>XML</span><span class='varop'>.</span><span class='conid'>HXT</span><span class='varop'>.</span><span class='conid'>Arrow</span><span class='varop'>.</span><span class='conid'>Edit</span>
<a name="line-48"></a> <span class='layout'>(</span> <span class='varid'>transfAllCharRef</span>
<a name="line-49"></a> <span class='layout'>)</span>
<a name="line-50"></a>
<a name="line-51"></a><span class='keyword'>import</span> <span class='conid'>Text</span><span class='varop'>.</span><span class='conid'>XML</span><span class='varop'>.</span><span class='conid'>HXT</span><span class='varop'>.</span><span class='conid'>Arrow</span><span class='varop'>.</span><span class='conid'>GeneralEntitySubstitution</span>
<a name="line-52"></a> <span class='layout'>(</span> <span class='varid'>processGeneralEntities</span>
<a name="line-53"></a> <span class='layout'>)</span>
<a name="line-54"></a>
<a name="line-55"></a><span class='keyword'>import</span> <span class='conid'>Text</span><span class='varop'>.</span><span class='conid'>XML</span><span class='varop'>.</span><span class='conid'>HXT</span><span class='varop'>.</span><span class='conid'>Arrow</span><span class='varop'>.</span><span class='conid'>DTDProcessing</span>
<a name="line-56"></a> <span class='layout'>(</span> <span class='varid'>processDTD</span>
<a name="line-57"></a> <span class='layout'>)</span>
<a name="line-58"></a>
<a name="line-59"></a><span class='keyword'>import</span> <span class='conid'>Text</span><span class='varop'>.</span><span class='conid'>XML</span><span class='varop'>.</span><span class='conid'>HXT</span><span class='varop'>.</span><span class='conid'>Arrow</span><span class='varop'>.</span><span class='conid'>DocumentInput</span>
<a name="line-60"></a> <span class='layout'>(</span> <span class='varid'>getXmlContents</span>
<a name="line-61"></a> <span class='layout'>)</span>
<a name="line-62"></a>
<a name="line-63"></a><span class='keyword'>import</span> <span class='conid'>Text</span><span class='varop'>.</span><span class='conid'>XML</span><span class='varop'>.</span><span class='conid'>HXT</span><span class='varop'>.</span><span class='conid'>Arrow</span><span class='varop'>.</span><span class='conid'>Namespace</span>
<a name="line-64"></a> <span class='layout'>(</span> <span class='varid'>propagateNamespaces</span>
<a name="line-65"></a> <span class='layout'>,</span> <span class='varid'>validateNamespaces</span>
<a name="line-66"></a> <span class='layout'>)</span>
<a name="line-67"></a>
<a name="line-68"></a><span class='comment'>-- ------------------------------------------------------------</span>
<a name="line-69"></a>
<a name="line-70"></a><span class='comment'>{- |
<a name="line-71"></a>XML parser
<a name="line-72"></a>
<a name="line-73"></a>Input tree must be a root tree with a text tree as child containing the document to be parsed.
<a name="line-74"></a>The parser generates from the input string a tree of a wellformed XML document,
<a name="line-75"></a>processes the DTD (parameter substitution, conditional DTD parts, ...) and
<a name="line-76"></a>substitutes all general entity references. Next step is character reference substitution.
<a name="line-77"></a>Last step is the document validation.
<a name="line-78"></a>Validation can be controlled by an extra parameter.
<a name="line-79"></a>
<a name="line-80"></a>Example:
<a name="line-81"></a>
<a name="line-82"></a>> parseXmlDocument True -- parse and validate document
<a name="line-83"></a>>
<a name="line-84"></a>> parseXmlDocument False -- only parse document, don't validate
<a name="line-85"></a>
<a name="line-86"></a>This parser is useful for applications processing correct XML documents.
<a name="line-87"></a>-}</span>
<a name="line-88"></a>
<a name="line-89"></a><a name="parseXmlDocument"></a><span class='definition'>parseXmlDocument</span> <span class='keyglyph'>::</span> <span class='conid'>Bool</span> <span class='keyglyph'>-></span> <span class='conid'>IOStateArrow</span> <span class='varid'>s</span> <span class='conid'>XmlTree</span> <span class='conid'>XmlTree</span>
<a name="line-90"></a><span class='definition'>parseXmlDocument</span> <span class='varid'>validate</span>
<a name="line-91"></a> <span class='keyglyph'>=</span> <span class='layout'>(</span> <span class='varid'>replaceChildren</span> <span class='layout'>(</span> <span class='layout'>(</span> <span class='varid'>getAttrValue</span> <span class='varid'>a_source</span>
<a name="line-92"></a> <span class='varop'>&&&</span>
<a name="line-93"></a> <span class='varid'>xshow</span> <span class='varid'>getChildren</span>
<a name="line-94"></a> <span class='layout'>)</span>
<a name="line-95"></a> <span class='varop'>>>></span>
<a name="line-96"></a> <span class='varid'>parseXmlDoc</span>
<a name="line-97"></a> <span class='varop'>>>></span>
<a name="line-98"></a> <span class='varid'>filterErrorMsg</span>
<a name="line-99"></a> <span class='layout'>)</span>
<a name="line-100"></a> <span class='varop'>>>></span>
<a name="line-101"></a> <span class='varid'>setDocumentStatusFromSystemState</span> <span class='str'>"parse XML document"</span>
<a name="line-102"></a> <span class='varop'>>>></span>
<a name="line-103"></a> <span class='varid'>processDTD</span>
<a name="line-104"></a> <span class='varop'>>>></span>
<a name="line-105"></a> <span class='varid'>processGeneralEntities</span>
<a name="line-106"></a> <span class='varop'>>>></span>
<a name="line-107"></a> <span class='varid'>transfAllCharRef</span>
<a name="line-108"></a> <span class='varop'>>>></span>
<a name="line-109"></a> <span class='layout'>(</span> <span class='keyword'>if</span> <span class='varid'>validate</span>
<a name="line-110"></a> <span class='keyword'>then</span> <span class='varid'>validateDocument</span>
<a name="line-111"></a> <span class='keyword'>else</span> <span class='varid'>this</span>
<a name="line-112"></a> <span class='layout'>)</span>
<a name="line-113"></a> <span class='layout'>)</span>
<a name="line-114"></a> <span class='varop'>`when`</span> <span class='varid'>documentStatusOk</span>
<a name="line-115"></a>
<a name="line-116"></a><span class='comment'>-- ------------------------------------------------------------</span>
<a name="line-117"></a>
<a name="line-118"></a><span class='comment'>{- |
<a name="line-119"></a>HTML parser
<a name="line-120"></a>
<a name="line-121"></a>Input tree must be a root tree with a text tree as child containing the document to be parsed.
<a name="line-122"></a>The parser tries to parse everything as HTML, if the HTML document is not wellformed XML or if
<a name="line-123"></a>errors occur, warnings are generated. The warnings can be issued, or suppressed.
<a name="line-124"></a>
<a name="line-125"></a>Example: @ parseHtmlDocument True @ : parse document and issue warnings
<a name="line-126"></a>
<a name="line-127"></a>This parser is useful for applications like web crawlers, where the pages may contain
<a name="line-128"></a>arbitray errors, but the application is only interested in parts of the document, e.g. the plain text.
<a name="line-129"></a>
<a name="line-130"></a>-}</span>
<a name="line-131"></a>
<a name="line-132"></a><a name="parseHtmlDocument"></a><span class='definition'>parseHtmlDocument</span> <span class='keyglyph'>::</span> <span class='conid'>Bool</span> <span class='keyglyph'>-></span> <span class='conid'>Bool</span> <span class='keyglyph'>-></span> <span class='conid'>Bool</span> <span class='keyglyph'>-></span> <span class='conid'>Bool</span> <span class='keyglyph'>-></span> <span class='conid'>Bool</span> <span class='keyglyph'>-></span> <span class='conid'>Bool</span> <span class='keyglyph'>-></span> <span class='conid'>IOStateArrow</span> <span class='varid'>s</span> <span class='conid'>XmlTree</span> <span class='conid'>XmlTree</span>
<a name="line-133"></a><span class='definition'>parseHtmlDocument</span> <span class='varid'>withTagSoup</span> <span class='varid'>withNamespaces</span> <span class='varid'>warnings</span> <span class='varid'>preserveCmt</span> <span class='varid'>removeWhitespace</span> <span class='varid'>asHtml</span>
<a name="line-134"></a> <span class='keyglyph'>=</span> <span class='layout'>(</span> <span class='varid'>perform</span> <span class='layout'>(</span> <span class='varid'>getAttrValue</span> <span class='varid'>a_source</span> <span class='varop'>>>></span> <span class='varid'>traceValue</span> <span class='num'>1</span> <span class='layout'>(</span><span class='layout'>(</span><span class='str'>"parseHtmlDoc: parse HTML document "</span> <span class='varop'>++</span><span class='layout'>)</span> <span class='varop'>.</span> <span class='varid'>show</span><span class='layout'>)</span> <span class='layout'>)</span>
<a name="line-135"></a> <span class='varop'>>>></span>
<a name="line-136"></a> <span class='varid'>replaceChildren</span> <span class='layout'>(</span> <span class='layout'>(</span> <span class='varid'>getAttrValue</span> <span class='varid'>a_source</span> <span class='comment'>-- get source name</span>
<a name="line-137"></a> <span class='varop'>&&&</span>
<a name="line-138"></a> <span class='varid'>xshow</span> <span class='varid'>getChildren</span>
<a name="line-139"></a> <span class='layout'>)</span> <span class='comment'>-- get string to be parsed</span>
<a name="line-140"></a> <span class='varop'>>>></span>
<a name="line-141"></a> <span class='varid'>parseHtml</span>
<a name="line-142"></a> <span class='layout'>)</span>
<a name="line-143"></a> <span class='varop'>>>></span>
<a name="line-144"></a> <span class='varid'>removeWarnings</span>
<a name="line-145"></a> <span class='varop'>>>></span>
<a name="line-146"></a> <span class='varid'>setDocumentStatusFromSystemState</span> <span class='str'>"parse HTML document"</span>
<a name="line-147"></a> <span class='varop'>>>></span>
<a name="line-148"></a> <span class='varid'>traceTree</span>
<a name="line-149"></a> <span class='varop'>>>></span>
<a name="line-150"></a> <span class='varid'>traceSource</span>
<a name="line-151"></a> <span class='varop'>>>></span>
<a name="line-152"></a> <span class='varid'>perform</span> <span class='layout'>(</span> <span class='varid'>getAttrValue</span> <span class='varid'>a_source</span>
<a name="line-153"></a> <span class='varop'>>>></span>
<a name="line-154"></a> <span class='varid'>traceValue</span> <span class='num'>1</span> <span class='layout'>(</span><span class='keyglyph'>\</span> <span class='varid'>src</span> <span class='keyglyph'>-></span> <span class='str'>"parse HTML document "</span> <span class='varop'>++</span> <span class='varid'>show</span> <span class='varid'>src</span> <span class='varop'>++</span> <span class='str'>" finished"</span><span class='layout'>)</span>
<a name="line-155"></a> <span class='layout'>)</span>
<a name="line-156"></a> <span class='layout'>)</span>
<a name="line-157"></a> <span class='varop'>`when`</span> <span class='varid'>documentStatusOk</span>
<a name="line-158"></a> <span class='keyword'>where</span>
<a name="line-159"></a> <span class='varid'>parseHtml</span>
<a name="line-160"></a> <span class='keyglyph'>|</span> <span class='varid'>withTagSoup</span> <span class='keyglyph'>=</span> <span class='varid'>traceMsg</span> <span class='num'>1</span> <span class='layout'>(</span><span class='str'>"parse document with tagsoup "</span> <span class='varop'>++</span>
<a name="line-161"></a> <span class='layout'>(</span> <span class='keyword'>if</span> <span class='varid'>asHtml</span> <span class='keyword'>then</span> <span class='str'>"HT"</span> <span class='keyword'>else</span> <span class='str'>"X"</span> <span class='layout'>)</span> <span class='varop'>++</span> <span class='str'>"ML parser"</span>
<a name="line-162"></a> <span class='layout'>)</span>
<a name="line-163"></a> <span class='varop'>>>></span>
<a name="line-164"></a> <span class='varid'>parseHtmlTagSoup</span> <span class='varid'>withNamespaces</span> <span class='varid'>warnings</span> <span class='varid'>preserveCmt</span> <span class='varid'>removeWhitespace</span> <span class='varid'>asHtml</span>
<a name="line-165"></a>
<a name="line-166"></a> <span class='keyglyph'>|</span> <span class='varid'>otherwise</span> <span class='keyglyph'>=</span> <span class='varid'>traceMsg</span> <span class='num'>1</span> <span class='layout'>(</span><span class='str'>"parse document with parsec HTML parser"</span><span class='layout'>)</span>
<a name="line-167"></a> <span class='varop'>>>></span>
<a name="line-168"></a> <span class='varid'>parseHtmlDoc</span> <span class='comment'>-- run parser</span>
<a name="line-169"></a> <span class='varop'>>>></span>
<a name="line-170"></a> <span class='varid'>substHtmlEntityRefs</span> <span class='comment'>-- substitute entity refs</span>
<a name="line-171"></a> <span class='varid'>removeWarnings</span>
<a name="line-172"></a> <span class='keyglyph'>|</span> <span class='varid'>withTagSoup</span>
<a name="line-173"></a> <span class='varop'>&&</span>
<a name="line-174"></a> <span class='varid'>not</span> <span class='varid'>warnings</span> <span class='keyglyph'>=</span> <span class='varid'>this</span>
<a name="line-175"></a> <span class='keyglyph'>|</span> <span class='varid'>otherwise</span> <span class='keyglyph'>=</span> <span class='varid'>processTopDownWithAttrl</span>
<a name="line-176"></a> <span class='layout'>(</span> <span class='keyword'>if</span> <span class='varid'>warnings</span> <span class='comment'>-- remove warnings inserted by parser and entity subst</span>
<a name="line-177"></a> <span class='keyword'>then</span> <span class='varid'>filterErrorMsg</span>
<a name="line-178"></a> <span class='keyword'>else</span> <span class='layout'>(</span> <span class='varid'>none</span>
<a name="line-179"></a> <span class='varop'>`when`</span>
<a name="line-180"></a> <span class='varid'>isError</span>
<a name="line-181"></a> <span class='layout'>)</span>
<a name="line-182"></a> <span class='layout'>)</span>
<a name="line-183"></a>
<a name="line-184"></a><span class='comment'>-- ------------------------------------------------------------</span>
<a name="line-185"></a>
<a name="line-186"></a><span class='comment'>{- | Document validation
<a name="line-187"></a>
<a name="line-188"></a>Input must be a complete document tree. The document
<a name="line-189"></a>is validated with respect to the DTD spec.
<a name="line-190"></a>Only useful for XML documents containing a DTD.
<a name="line-191"></a>
<a name="line-192"></a>If the document is valid, it is transformed with respect to the DTD,
<a name="line-193"></a>normalization of attribute values, adding default values, sorting attributes by name,...
<a name="line-194"></a>
<a name="line-195"></a>If no error was found, result is the normalized tree,
<a name="line-196"></a>else the error status is set in the list of attributes
<a name="line-197"></a>of the root node \"\/\" and the document content is removed from the tree.
<a name="line-198"></a>
<a name="line-199"></a>-}</span>
<a name="line-200"></a>
<a name="line-201"></a><a name="validateDocument"></a><span class='definition'>validateDocument</span> <span class='keyglyph'>::</span> <span class='conid'>IOStateArrow</span> <span class='varid'>s</span> <span class='conid'>XmlTree</span> <span class='conid'>XmlTree</span>
<a name="line-202"></a><span class='definition'>validateDocument</span>
<a name="line-203"></a> <span class='keyglyph'>=</span> <span class='layout'>(</span> <span class='varid'>traceMsg</span> <span class='num'>1</span> <span class='str'>"validating document"</span>
<a name="line-204"></a> <span class='varop'>>>></span>
<a name="line-205"></a> <span class='varid'>perform</span> <span class='layout'>(</span> <span class='varid'>validateDoc</span>
<a name="line-206"></a> <span class='varop'>>>></span>
<a name="line-207"></a> <span class='varid'>filterErrorMsg</span>
<a name="line-208"></a> <span class='layout'>)</span>
<a name="line-209"></a> <span class='varop'>>>></span>
<a name="line-210"></a> <span class='varid'>setDocumentStatusFromSystemState</span> <span class='str'>"document validation"</span>
<a name="line-211"></a> <span class='varop'>>>></span>
<a name="line-212"></a> <span class='varid'>transformDoc</span>
<a name="line-213"></a> <span class='varop'>>>></span>
<a name="line-214"></a> <span class='varid'>traceMsg</span> <span class='num'>1</span> <span class='str'>"document validated"</span>
<a name="line-215"></a> <span class='varop'>>>></span>
<a name="line-216"></a> <span class='varid'>traceSource</span>
<a name="line-217"></a> <span class='varop'>>>></span>
<a name="line-218"></a> <span class='varid'>traceTree</span>
<a name="line-219"></a> <span class='layout'>)</span>
<a name="line-220"></a> <span class='varop'>`when`</span>
<a name="line-221"></a> <span class='varid'>documentStatusOk</span>
<a name="line-222"></a>
<a name="line-223"></a><span class='comment'>-- ------------------------------------------------------------</span>
<a name="line-224"></a>
<a name="line-225"></a><span class='comment'>{- | Namespace propagation
<a name="line-226"></a>
<a name="line-227"></a>Input must be a complete document tree. The namespace declarations
<a name="line-228"></a>are evaluated and all element and attribute names are processed by
<a name="line-229"></a>splitting the name into prefix, local part and namespace URI.
<a name="line-230"></a>
<a name="line-231"></a>Naames are checked with respect to the XML namespace definition
<a name="line-232"></a>
<a name="line-233"></a>If no error was found, result is the unchanged input tree,
<a name="line-234"></a>else the error status is set in the list of attributes
<a name="line-235"></a>of the root node \"\/\" and the document content is removed from the tree.
<a name="line-236"></a>
<a name="line-237"></a>
<a name="line-238"></a>-}</span>
<a name="line-239"></a>
<a name="line-240"></a><a name="propagateAndValidateNamespaces"></a><span class='definition'>propagateAndValidateNamespaces</span> <span class='keyglyph'>::</span> <span class='conid'>IOStateArrow</span> <span class='varid'>s</span> <span class='conid'>XmlTree</span> <span class='conid'>XmlTree</span>
<a name="line-241"></a><span class='definition'>propagateAndValidateNamespaces</span>
<a name="line-242"></a> <span class='keyglyph'>=</span> <span class='layout'>(</span> <span class='varid'>traceMsg</span> <span class='num'>1</span> <span class='str'>"propagating namespaces"</span>
<a name="line-243"></a> <span class='varop'>>>></span>
<a name="line-244"></a> <span class='varid'>propagateNamespaces</span>
<a name="line-245"></a> <span class='varop'>>>></span>
<a name="line-246"></a> <span class='varid'>traceDoc</span> <span class='str'>"propagating namespaces done"</span>
<a name="line-247"></a> <span class='varop'>>>></span>
<a name="line-248"></a> <span class='varid'>traceMsg</span> <span class='num'>1</span> <span class='str'>"validating namespaces"</span>
<a name="line-249"></a> <span class='varop'>>>></span>
<a name="line-250"></a> <span class='layout'>(</span> <span class='varid'>setDocumentStatusFromSystemState</span> <span class='str'>"namespace propagation"</span>
<a name="line-251"></a> <span class='varop'>`when`</span>
<a name="line-252"></a> <span class='layout'>(</span> <span class='varid'>validateNamespaces</span> <span class='varop'>>>></span> <span class='varid'>perform</span> <span class='varid'>filterErrorMsg</span> <span class='layout'>)</span>
<a name="line-253"></a> <span class='layout'>)</span>
<a name="line-254"></a> <span class='varop'>>>></span>
<a name="line-255"></a> <span class='varid'>traceMsg</span> <span class='num'>1</span> <span class='str'>"namespace validation finished"</span>
<a name="line-256"></a> <span class='layout'>)</span>
<a name="line-257"></a> <span class='varop'>`when`</span>
<a name="line-258"></a> <span class='varid'>documentStatusOk</span>
<a name="line-259"></a>
<a name="line-260"></a><span class='comment'>-- ------------------------------------------------------------</span>
<a name="line-261"></a>
<a name="line-262"></a><span class='comment'>{- |
<a name="line-263"></a> creates a new document root, adds all options
<a name="line-264"></a> as attributes to the document root and calls 'getXmlContents'.
<a name="line-265"></a>
<a name="line-266"></a> If the document name is the empty string, the document will be read
<a name="line-267"></a> from standard input.
<a name="line-268"></a>
<a name="line-269"></a> For supported protocols see 'Text.XML.HXT.Arrow.DocumentInput.getXmlContents'
<a name="line-270"></a>-}</span>
<a name="line-271"></a>
<a name="line-272"></a><a name="getDocumentContents"></a><span class='definition'>getDocumentContents</span> <span class='keyglyph'>::</span> <span class='conid'>Attributes</span> <span class='keyglyph'>-></span> <span class='conid'>String</span> <span class='keyglyph'>-></span> <span class='conid'>IOStateArrow</span> <span class='varid'>s</span> <span class='varid'>b</span> <span class='conid'>XmlTree</span>
<a name="line-273"></a><span class='definition'>getDocumentContents</span> <span class='varid'>options</span> <span class='varid'>src</span>
<a name="line-274"></a> <span class='keyglyph'>=</span> <span class='varid'>root</span> <span class='conid'>[]</span> <span class='conid'>[]</span>
<a name="line-275"></a> <span class='varop'>>>></span>
<a name="line-276"></a> <span class='varid'>addAttr</span> <span class='varid'>a_source</span> <span class='varid'>src</span>
<a name="line-277"></a> <span class='varop'>>>></span>
<a name="line-278"></a> <span class='varid'>seqA</span> <span class='layout'>(</span><span class='varid'>map</span> <span class='layout'>(</span><span class='varid'>uncurry</span> <span class='varid'>addAttr</span><span class='layout'>)</span> <span class='varid'>options</span><span class='layout'>)</span> <span class='comment'>-- add all options to doc root</span>
<a name="line-279"></a> <span class='varop'>>>></span> <span class='comment'>-- e.g. getXmlContents needs some of these</span>
<a name="line-280"></a> <span class='varid'>traceMsg</span> <span class='num'>1</span> <span class='layout'>(</span><span class='str'>"readDocument: start processing document "</span> <span class='varop'>++</span> <span class='varid'>show</span> <span class='varid'>src</span><span class='layout'>)</span>
<a name="line-281"></a> <span class='varop'>>>></span>
<a name="line-282"></a> <span class='varid'>getXmlContents</span>
<a name="line-283"></a>
<a name="line-284"></a><span class='comment'>-- ------------------------------------------------------------</span>
</pre></body>
</html>