Difference between revisions of "Validation Module"
Line 1: | Line 1: | ||
− | This [[Module Library|XQuery Module]] contains functions to perform validations against [http://www.w3.org/XML/Schema XML Schema] and [http://en.wikipedia.org/wiki/Document_Type_Declaration Document Type Declarations]. | + | This [[Module Library|XQuery Module]] contains functions to perform validations against [http://www.w3.org/XML/Schema XML Schema] and [http://en.wikipedia.org/wiki/Document_Type_Declaration Document Type Declarations]. By default, this module uses Java’s standard validators. As an alternative, [http://www.saxonica.com/ Saxon XSLT Processor] is used if ({{Code|saxon9he.jar}}, {{Code|saxon9pe.jar}} or {{Code|saxon9ee.jar}}) is added to the classpath. |
=Conventions= | =Conventions= |
Revision as of 19:16, 21 October 2012
This XQuery Module contains functions to perform validations against XML Schema and Document Type Declarations. By default, this module uses Java’s standard validators. As an alternative, Saxon XSLT Processor is used if (saxon9he.jar
, saxon9pe.jar
or saxon9ee.jar
) is added to the classpath.
Conventions
All functions in this module are assigned to the http://basex.org/modules/validate
namespace, which is statically bound to the validate
prefix.
All errors are assigned to the http://basex.org/errors
namespace, which is statically bound to the bxerr
prefix.
Functions
validate:xsd
Signatures | validate:xsd($input as item()) as empty-sequence() validate:xsd($input as item(), $schema as item()) as empty-sequence()
|
Summary | Validates the document specified by $input .Both
|
Errors | BXVA0001 : the addressed document cannot be validated against the given schema.
|
Examples |
let $doc := <simple:root xmlns:simple='http://basex.org/simple'/> let $schema := <xs:schema xmlns:xs='http://www.w3.org/2001/XMLSchema' targetNamespace='http://basex.org/simple'> <xs:element name='root'/> </xs:schema> return validate:xsd($doc, $schema) |
validate:dtd
Signatures | validate:dtd($input as item()) as empty-sequence() validate:dtd($input as item(), $dtd as xs:string) as empty-sequence()
|
Summary | Validates the document specified by $input .
|
Errors | BXVA0001 : the addressed document cannot be validated against the given DTD.
|
Examples |
try { let $doc := <invalid/> let $dtd := '<!ELEMENT root (#PCDATA)>' return validate:dtd($doc, $dtd) } catch BXVA0001 { 'DTD Validation failed.' } |
Errors
Code | Description |
---|---|
BXVA0001
|
A document cannot be validated against the specified DTD or XML Schema. |
Changelog
The module was introduced with Version 7.3.