38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * schematron.c : implementation of the Schematron schema validity checking
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * See Copyright for the status of this software.
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Daniel Veillard <daniel@veillard.com>
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * + double check the semantic, especially
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * - multiple rules applying in a single pattern/node
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * - the semantic of libxml2 patterns vs. XSLT production referenced
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * by the spec.
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * + export of results in SVRL
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * + full parsing and coverage of the spec, conformance of the input to the
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * + divergences between the draft and the ISO proposed standard :-(
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * + hook and test include
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * + try and compare with the XSLT version
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync#define SCT_OLD_NS BAD_CAST "http://www.ascc.net/xml/schematron"
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync#define XML_SCHEMATRON_NS BAD_CAST "http://purl.oclc.org/dsdl/schematron"
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsyncstatic const xmlChar *xmlSchematronNs = XML_SCHEMATRON_NS;
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsyncstatic const xmlChar *xmlOldSchematronNs = SCT_OLD_NS;
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync ((node != NULL) && (node->type == XML_ELEMENT_NODE ) && \
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync (xmlStrEqual(node->name, (const xmlChar *) elem)) && \
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync ((xmlStrEqual(node->ns->href, xmlSchematronNs)) || \
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync (xmlStrEqual(node->ns->href, xmlOldSchematronNs))))
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync if ((node->type == XML_ELEMENT_NODE ) && (node->ns != NULL) && \
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync ((xmlStrEqual(node->ns->href, xmlSchematronNs)) || \
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync (xmlStrEqual(node->ns->href, xmlOldSchematronNs)))) \
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * macro to flag unimplemented blocks
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync "Unimplemented block at %s:%d\n", \
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsynctypedef enum {
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * _xmlSchematronTest:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * A Schematrons test, either an assert or a report
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsynctypedef struct _xmlSchematronTest xmlSchematronTest;
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlSchematronTestPtr next; /* the next test in the list */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlXPathCompExprPtr comp; /* the compiled expression */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * _xmlSchematronRule:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * A Schematrons rule
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsynctypedef struct _xmlSchematronRule xmlSchematronRule;
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlSchematronRulePtr next; /* the next rule in the list */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlSchematronRulePtr patnext;/* the next rule in the pattern list */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlChar *context; /* the context evaluation rule */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlSchematronTestPtr tests; /* the list of tests */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlPatternPtr pattern; /* the compiled pattern associated */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * _xmlSchematronPattern:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * A Schematrons pattern
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsynctypedef struct _xmlSchematronPattern xmlSchematronPattern;
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsynctypedef xmlSchematronPattern *xmlSchematronPatternPtr;
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlSchematronPatternPtr next;/* the next pattern in the list */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlSchematronRulePtr rules; /* the list of rules */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * _xmlSchematron:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * A Schematrons definition
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync int preserve; /* was the document passed by the user */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlDocPtr doc; /* pointer to the parsed document */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlDictPtr dict; /* the dictionnary used internally */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlSchematronPatternPtr patterns;/* the patterns found */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlSchematronRulePtr rules; /* the rules gathered */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync int nbNamespaces; /* number of namespaces in the array */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync const xmlChar **namespaces; /* the array of namespaces */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * xmlSchematronValidCtxt:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * A Schematrons validation context
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync int flags; /* an or of xmlSchematronValidOptions */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync FILE *outputFile; /* if using XML_SCHEMATRON_OUT_FILE */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlBufferPtr outputBuffer; /* if using XML_SCHEMATRON_OUT_BUFFER */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlOutputWriteCallback iowrite; /* if using XML_SCHEMATRON_OUT_IO */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync int preserve; /* Whether the doc should be freed */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlDictPtr dict; /* dictionnary for interned string names */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlXPathContextPtr xctxt; /* the XPath context used for compilation */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync int nbNamespaces; /* number of namespaces in the array */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync const xmlChar **namespaces; /* the array of namespaces */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync int nbIncludes; /* number of includes in the array */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync /* error rreporting data */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlSchematronValidityErrorFunc error;/* the callback in case of errors */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlSchematronValidityWarningFunc warning;/* callback in case of warning */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlStructuredErrorFunc serror; /* the structured function */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync/************************************************************************
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Error reporting *
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync ************************************************************************/
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * xmlSchematronPErrMemory:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @node: a context node
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @extra: extra informations
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Handle an out of memory condition
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsyncxmlSchematronPErrMemory(xmlSchematronParserCtxtPtr ctxt,
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync __xmlSimpleError(XML_FROM_SCHEMASP, XML_ERR_NO_MEMORY, node, NULL,
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * xmlSchematronPErr:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @ctxt: the parsing context
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @node: the context node
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @error: the error code
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @msg: the error message
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @str1: extra data
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @str2: extra data
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Handle a parser error
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsyncxmlSchematronPErr(xmlSchematronParserCtxtPtr ctxt, xmlNodePtr node, int error,
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync const char *msg, const xmlChar * str1, const xmlChar * str2)
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync __xmlRaiseError(schannel, channel, data, ctxt, node, XML_FROM_SCHEMASP,
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync (const char *) str1, (const char *) str2, NULL, 0, 0,
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * xmlSchematronVTypeErrMemory:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @node: a context node
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @extra: extra informations
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Handle an out of memory condition
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsyncxmlSchematronVErrMemory(xmlSchematronValidCtxtPtr ctxt,
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync __xmlSimpleError(XML_FROM_SCHEMASV, XML_ERR_NO_MEMORY, node, NULL,
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync/************************************************************************
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Parsing and compilation of the Schematrontrons *
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync ************************************************************************/
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * xmlSchematronAddTest:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @ctxt: the schema parsing context
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @type: the type of test
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @rule: the parent rule
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @node: the node hosting the test
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @test: the associated test
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @report: the associated report string
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Add a test to a schematron
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Returns the new pointer or NULL in case of error
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsyncxmlSchematronAddTest(xmlSchematronParserCtxtPtr ctxt,
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync if ((ctxt == NULL) || (rule == NULL) || (node == NULL) ||
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * try first to compile the test expression
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync "Failed to compile test expression %s",
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync ret = (xmlSchematronTestPtr) xmlMalloc(sizeof(xmlSchematronTest));
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlSchematronPErrMemory(ctxt, "allocating schema test", node);
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * xmlSchematronFreeTests:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @tests: a list of tests
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Free a list of tests.
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsyncxmlSchematronFreeTests(xmlSchematronTestPtr tests) {
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * xmlSchematronAddRule:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @ctxt: the schema parsing context
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @schema: a schema structure
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @node: the node hosting the rule
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @context: the associated context string
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @report: the associated report string
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Add a rule to a schematron
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Returns the new pointer or NULL in case of error
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsyncxmlSchematronAddRule(xmlSchematronParserCtxtPtr ctxt, xmlSchematronPtr schema,
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync if ((ctxt == NULL) || (schema == NULL) || (node == NULL) ||
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Try first to compile the pattern
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync pattern = xmlPatterncompile(context, ctxt->dict, XML_PATTERN_XPATH,
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync "Failed to compile context expression %s",
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync ret = (xmlSchematronRulePtr) xmlMalloc(sizeof(xmlSchematronRule));
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlSchematronPErrMemory(ctxt, "allocating schema rule", node);
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * xmlSchematronFreeRules:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @rules: a list of rules
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Free a list of rules.
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsyncxmlSchematronFreeRules(xmlSchematronRulePtr rules) {
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * xmlSchematronAddPattern:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @ctxt: the schema parsing context
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @schema: a schema structure
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @node: the node hosting the pattern
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @id: the id or name of the pattern
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Add a pattern to a schematron
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Returns the new pointer or NULL in case of error
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsyncxmlSchematronAddPattern(xmlSchematronParserCtxtPtr ctxt,
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlSchematronPtr schema, xmlNodePtr node, xmlChar *name)
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync if ((ctxt == NULL) || (schema == NULL) || (node == NULL) || (name == NULL))
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync ret = (xmlSchematronPatternPtr) xmlMalloc(sizeof(xmlSchematronPattern));
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlSchematronPErrMemory(ctxt, "allocating schema pattern", node);
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * xmlSchematronFreePatterns:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @patterns: a list of patterns
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Free a list of patterns.
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsyncxmlSchematronFreePatterns(xmlSchematronPatternPtr patterns) {
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * xmlSchematronNewSchematron:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @ctxt: a schema validation context
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Allocate a new Schematron structure.
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Returns the newly allocated structure or NULL in case or error
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsyncxmlSchematronNewSchematron(xmlSchematronParserCtxtPtr ctxt)
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync ret = (xmlSchematronPtr) xmlMalloc(sizeof(xmlSchematron));
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlSchematronPErrMemory(ctxt, "allocating schema", NULL);
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * xmlSchematronFree:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @schema: a schema structure
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Deallocate a Schematron structure.
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync if ((schema->doc != NULL) && (!(schema->preserve)))
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * xmlSchematronNewParserCtxt:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @URL: the location of the schema
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Create an XML Schematrons parse context for that file/resource expected
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * to contain an XML Schematrons file.
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Returns the parser context or NULL in case of error
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlSchematronPErrMemory(NULL, "allocating schema parser context",
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync ret->URL = xmlDictLookup(ret->dict, (const xmlChar *) URL, -1);
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlSchematronPErrMemory(NULL, "allocating schema parser XPath context",
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * xmlSchematronNewMemParserCtxt:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @buffer: a pointer to a char array containing the schemas
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @size: the size of the array
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Create an XML Schematrons parse context for that memory buffer expected
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * to contain an XML Schematrons file.
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Returns the parser context or NULL in case of error
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsyncxmlSchematronNewMemParserCtxt(const char *buffer, int size)
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlSchematronPErrMemory(NULL, "allocating schema parser context",
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlSchematronPErrMemory(NULL, "allocating schema parser XPath context",
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * xmlSchematronNewDocParserCtxt:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @doc: a preparsed document tree
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Create an XML Schematrons parse context for that document.
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * NB. The document may be modified during the parsing process.
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Returns the parser context or NULL in case of error
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlSchematronPErrMemory(NULL, "allocating schema parser context",
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync /* The application has responsibility for the document */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlSchematronPErrMemory(NULL, "allocating schema parser XPath context",
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * xmlSchematronFreeParserCtxt:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @ctxt: the schema parser context
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Free the resources associated to the schema parser context
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsyncxmlSchematronFreeParserCtxt(xmlSchematronParserCtxtPtr ctxt)
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * xmlSchematronPushInclude:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @ctxt: the schema parser context
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @doc: the included document
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @cur: the current include node
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Add an included document
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsyncxmlSchematronPushInclude(xmlSchematronParserCtxtPtr ctxt,
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlMalloc(ctxt->maxIncludes * 2 * sizeof(xmlNodePtr));
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlSchematronPErrMemory(NULL, "allocating parser includes",
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync } else if (ctxt->nbIncludes + 2 >= ctxt->maxIncludes) {
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlSchematronPErrMemory(NULL, "allocating parser includes",
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync ctxt->includes[2 * ctxt->nbIncludes + 1] = (xmlNodePtr) doc;
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * xmlSchematronPopInclude:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @ctxt: the schema parser context
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Pop an include level. The included document is being freed
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Returns the node immediately following the include or NULL if the
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * include list was empty.
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsyncxmlSchematronPopInclude(xmlSchematronParserCtxtPtr ctxt)
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync doc = (xmlDocPtr) ctxt->includes[2 * ctxt->nbIncludes + 1];
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * xmlSchematronAddNamespace:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @ctxt: the schema parser context
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @prefix: the namespace prefix
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @ns: the namespace name
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Add a namespace definition in the context
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsyncxmlSchematronAddNamespace(xmlSchematronParserCtxtPtr ctxt,
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlMalloc(ctxt->maxNamespaces * 2 * sizeof(const xmlChar *));
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlSchematronPErrMemory(NULL, "allocating parser namespaces",
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync } else if (ctxt->nbNamespaces + 2 >= ctxt->maxNamespaces) {
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlRealloc((xmlChar **) ctxt->namespaces, ctxt->maxNamespaces * 4 *
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync sizeof(const xmlChar *));
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlSchematronPErrMemory(NULL, "allocating parser namespaces",
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync ctxt->namespaces[2 * ctxt->nbNamespaces + 1] = NULL;
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * xmlSchematronParseRule:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @ctxt: a schema validation context
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @rule: the rule node
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * parse a rule element
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsyncxmlSchematronParseRule(xmlSchematronParserCtxtPtr ctxt,
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync context = xmlGetNoNsProp(rule, BAD_CAST "context");
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync "rule has no context attribute",
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync } else if (context[0] == 0) {
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync "rule has an empty context attribute",
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync ruleptr = xmlSchematronAddRule(ctxt, ctxt->schema, pattern,
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync "assert has no test attribute",
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync } else if (test[0] == 0) {
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync "assert has an empty test attribute",
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync /* TODO will need dynamic processing instead */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync testptr = xmlSchematronAddTest(ctxt, XML_SCHEMATRON_ASSERT,
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync "assert has no test attribute",
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync } else if (test[0] == 0) {
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync "assert has an empty test attribute",
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync /* TODO will need dynamic processing instead */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync testptr = xmlSchematronAddTest(ctxt, XML_SCHEMATRON_REPORT,
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync "Expecting an assert or a report element instead of %s",
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync "rule has no assert nor report element", NULL, NULL);
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * xmlSchematronParsePattern:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @ctxt: a schema validation context
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @pat: the pattern node
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * parse a pattern element
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsyncxmlSchematronParsePattern(xmlSchematronParserCtxtPtr ctxt, xmlNodePtr pat)
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync pattern = xmlSchematronAddPattern(ctxt, ctxt->schema, pat, id);
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync "Expecting a rule element instead of %s", cur->name, NULL);
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * xmlSchematronLoadInclude:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @ctxt: a schema validation context
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @cur: the include element
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Load the include document, Push the current pointer
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Returns the updated node pointer
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsyncxmlSchematronLoadInclude(xmlSchematronParserCtxtPtr ctxt, xmlNodePtr cur)
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync /* do the URI base composition, load and find the root */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync doc = xmlReadFile((const char *) URI, NULL, SCHEMATRON_PARSE_OPTIONS);
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync "could not load include '%s'.\n",
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync "could not find root from include '%s'.\n",
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync /* Success, push the include for rollback on exit */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * xmlSchematronParse:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @ctxt: a schema validation context
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * parse a schema definition resource and build an internal
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * XML Shema struture which can be used to validate instances.
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Returns the internal XML Schematron structure built from the resource or
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * NULL in case of error
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * First step is to parse the input document into an DOM/Infoset
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync "xmlSchematronParse: could not load '%s'.\n",
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync doc = xmlReadMemory(ctxt->buffer, ctxt->size, NULL, NULL,
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync "xmlSchematronParse: could not parse.\n",
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync ctxt->URL = xmlDictLookup(ctxt->dict, BAD_CAST "in_memory_buffer", -1);
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync "xmlSchematronParse: could not parse.\n",
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Then extract the root and Schematron parse it
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync "The schema has no document element.\n", NULL, NULL);
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync "The XML document '%s' is not a XML schematron document",
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * scan the schema elements
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlChar *prefix = xmlGetNoNsProp(cur, BAD_CAST "prefix");
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlChar *uri = xmlGetNoNsProp(cur, BAD_CAST "uri");
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync "Expecting a pattern element instead of %s", cur->name, NULL);
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync "The schematron document '%s' has no pattern",
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync /* the original document must be kept for reporting */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync/************************************************************************
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Schematrontron Reports handler *
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync ************************************************************************/
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsyncxmlSchematronGetNode(xmlSchematronValidCtxtPtr ctxt,
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync if ((ctxt == NULL) || (cur == NULL) || (xpath == NULL))
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync (ret->nodesetval != NULL) && (ret->nodesetval->nodeNr > 0))
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * xmlSchematronReportOutput:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @ctxt: the validation context
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @cur: the current node tested
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @msg: the message output
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Output part of the report to whatever channel the user selected
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsyncxmlSchematronReportOutput(xmlSchematronValidCtxtPtr ctxt ATTRIBUTE_UNUSED,
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync const char *msg) {
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * xmlSchematronFormatReport:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @ctxt: the validation context
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @test: the test node
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @cur: the current node tested
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Build the string being reported to the user.
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Returns a report string or NULL in case of error. The string needs
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * to be deallocated by teh caller
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsyncxmlSchematronFormatReport(xmlSchematronValidCtxtPtr ctxt,
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync if ((node->ns == NULL) || (node->ns->prefix == NULL))
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * remove superfluous \n
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync if ((c == ' ') || (c == '\n') || (c == '\r') || (c == '\t')) {
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * xmlSchematronReportSuccess:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @ctxt: the validation context
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @test: the compiled test
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @cur: the current node tested
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @success: boolean value for the result
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * called from the validation engine when an assert or report test have
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * been done.
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsyncxmlSchematronReportSuccess(xmlSchematronValidCtxtPtr ctxt,
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlSchematronTestPtr test, xmlNodePtr cur, int success) {
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync if ((ctxt == NULL) || (cur == NULL) || (test == NULL))
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync /* if quiet and not SVRL report only failures */
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync if (((test->type == XML_SCHEMATRON_REPORT) & (!success)) ||
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync ((test->type == XML_SCHEMATRON_ASSERT) & (success)))
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync if ((test->report != NULL) && (test->report[0] != 0))
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync report = xmlSchematronFormatReport(ctxt, test->node, cur);
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync snprintf(msg, 999, "%s line %ld: node failed assert\n",
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync snprintf(msg, 999, "%s line %ld: node failed report\n",
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync snprintf(msg, 999, "%s line %ld: %s\n", (const char *) path,
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync if ((path != NULL) && (path != (xmlChar *) cur->name))
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * xmlSchematronReportPattern:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @ctxt: the validation context
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @pattern: the current pattern
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * called from the validation engine when starting to check a pattern
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsyncxmlSchematronReportPattern(xmlSchematronValidCtxtPtr ctxt,
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync snprintf(msg, 999, "Pattern: %s\n", (const char *) pattern->name);
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync/************************************************************************
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Validation against a Schematrontron *
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync ************************************************************************/
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * xmlSchematronNewValidCtxt:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @schema: a precompiled XML Schematrons
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @options: a set of xmlSchematronValidOptions
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Create an XML Schematrons validation context based on the given schema.
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Returns the validation context or NULL in case of error
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsyncxmlSchematronNewValidCtxt(xmlSchematronPtr schema, int options)
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync ret = (xmlSchematronValidCtxtPtr) xmlMalloc(sizeof(xmlSchematronValidCtxt));
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlSchematronVErrMemory(NULL, "allocating validation context",
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlSchematronPErrMemory(NULL, "allocating schema parser XPath context",
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlXPathRegisterNs(ret->xctxt, schema->namespaces[2 * i + 1],
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * xmlSchematronFreeValidCtxt:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @ctxt: the schema validation context
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Free the resources associated to the schema validation context
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsyncxmlSchematronFreeValidCtxt(xmlSchematronValidCtxtPtr ctxt)
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Do not descend on entities declarations
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Skip DTDs
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * xmlSchematronRunTest:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @ctxt: the schema validation context
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @test: the current test
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @instance: the document instace tree
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @cur: the current node in the instance
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Validate a rule against a tree instance at a given position
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Returns 1 in case of success, 0 if error and -1 in case of internal error
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsyncxmlSchematronRunTest(xmlSchematronValidCtxtPtr ctxt,
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlSchematronTestPtr test, xmlDocPtr instance, xmlNodePtr cur)
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync ret = xmlXPathCompiledEval(test->comp, ctxt->xctxt);
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync if ((failed) && (test->type == XML_SCHEMATRON_ASSERT))
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync else if ((!failed) && (test->type == XML_SCHEMATRON_REPORT))
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync xmlSchematronReportSuccess(ctxt, test, cur, !failed);
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * xmlSchematronValidateDoc:
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @ctxt: the schema validation context
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * @instance: the document instace tree
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Validate a tree instance against the schematron
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Returns 0 in case of success, -1 in case of internal error
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * and an error count otherwise.
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsyncxmlSchematronValidateDoc(xmlSchematronValidCtxtPtr ctxt, xmlDocPtr instance)
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync (ctxt->schema->rules == NULL) || (instance == NULL))
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync return(-1);
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * we are just trying to assert the validity of the document,
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * speed primes over the output, run in a single pass
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Process all contexts one at a time
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * TODO convert the pattern rule to a direct XPath and
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * compute directly instead of using the pattern matching
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * over the full document...
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync * Check the exact semantic
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync fprintf(stderr, "failed to build schematron parser\n");
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync fprintf(stderr, "failed to build schematron validator\n");
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync return (0);
38ae7e4efe803ea78b6499cd05a394db32623e41vboxsync#endif /* LIBXML_SCHEMATRON_ENABLED */