Validation Module - Revision history

CG: Text replacement - "syntaxhighlight" to "pre"

2023-12-01T16:38:56Z

Text replacement - "syntaxhighlight" to "pre"

CG: Text replacement - "" to ""

2023-12-01T16:35:58Z

Text replacement - "</syntaxhighlight>" to "</pre>"

CG: Text replacement - "" to "

2023-12-01T16:34:00Z

Text replacement - "<syntaxhighlight lang="xquery">" to "<pre lang='xquery'>"

CG: /* validate:xsd */

2023-04-04T12:07:16Z

validate:xsd

CG at 15:17, 9 March 2023

2023-03-09T15:17:22Z

CG at 14:58, 9 March 2023

2023-03-09T14:58:19Z

CG at 14:20, 9 March 2023

2023-03-09T14:20:37Z

CG: Text replacement - "'''Signatures'''" to "'''Signature'''"

2023-03-09T13:01:57Z

Text replacement - "'''Signatures'''" to "'''Signature'''"

CG at 11:10, 9 March 2023

2023-03-09T11:10:37Z

CG: Text replacement - "
" to "
"

2023-03-09T08:16:46Z

Text replacement - "<br />" to "<br/>"

@@ Line 86: / Line 86: @@
+|
 * <code>validate:dtd-report(<invalid/>, '<!ELEMENT root (#PCDATA)>')</code> returns:
-<syntaxhighlight lang="xml">
+<pre lang="xml">
 <report>
    <status>invalid</status>

@@ Line 43: / Line 43: @@
    'DTD Validation failed.'
+}
-</syntaxhighlight>
+</pre>
 |}
@@ Line 91: / Line 91: @@
    <message level="Error" line="2" column="11">Element type "invalid" must be declared.</message>
 </report>
-</syntaxhighlight>
+</pre>
 |}
@@ Line 145: / Line 145: @@
    </xs:schema>
 return validate:xsd($doc, $schema)
-</syntaxhighlight>
+</pre>
 * Validate all documents of a database against the specified schema, using the supplied feature:
 <pre lang='xquery'>
@@ Line 152: / Line 152: @@
    map { 'http://javax.xml.XMLConstants/feature/secure-processing': true() }
+)
-</syntaxhighlight>
+</pre>
 |}
@@ Line 287: / Line 287: @@
 <pre lang='xquery'>
 repo:install('https://github.com/Schematron/schematron-basex/raw/master/dist/schematron-basex-1.2.xar')
-</syntaxhighlight>
+</pre>
 The following query illustrates how documents are validated. It is directly taken from the GitHub project:
@@ Line 301: / Line 301: @@
    return concat(schematron:message-level($message), ': ', schematron:message-description($message))
+)
-</syntaxhighlight>
+</pre>
 =Errors=

@@ Line 35: / Line 35: @@
 * {{Code|validate:dtd('doc.xml', 'doc.dtd')}} validates the document {{Code|doc.xml}} against the specified DTD file {{Code|doc.dtd}}.
 * The following example validates an invalid document against a DTD, which is specified as string:
-<syntaxhighlight lang="xquery">
+<pre lang='xquery'>
 try {
    let $doc := <invalid/>
@@ Line 138: / Line 138: @@
+|
 * Pass on document and schema as nodes:
-<syntaxhighlight lang="xquery">
+<pre lang='xquery'>
 let $doc := <simple:root xmlns:simple='http://basex.org/simple'/>
 let $schema :=
@@ Line 147: / Line 147: @@
 </syntaxhighlight>
 * Validate all documents of a database against the specified schema, using the supplied feature:
-<syntaxhighlight lang="xquery">
+<pre lang='xquery'>
 for $city in db:get('cities')
 return validate:xsd($city, 'city.xsd',
@@ Line 285: / Line 285: @@
 If you want to use Schematron for validating documents, install Vincent Lizzi’s excellent [https://github.com/Schematron/schematron-basex Schematron XQuery Module for BaseX]:
-<syntaxhighlight lang="xquery">
+<pre lang='xquery'>
 repo:install('https://github.com/Schematron/schematron-basex/raw/master/dist/schematron-basex-1.2.xar')
 </syntaxhighlight>
@@ Line 291: / Line 291: @@
 The following query illustrates how documents are validated. It is directly taken from the GitHub project:
-<syntaxhighlight lang="xquery">
+<pre lang='xquery'>
 import module namespace schematron = "http://github.com/Schematron/schematron-basex";

@@ Line 130: / Line 130: @@
 |Validates the XML {{Code|$input}} document against a {{Code|$schema}}. The supported {{Code|$options}} are:
 * {{Code|cache}}: Generated schemas are cached and reused.
-* All other options are handled as features and passed on to the XSLT processor.
+* All other options are handled as features and passed on to the validator.
 |- valign="top"
 | '''Errors'''

@@ Line 231: / Line 231: @@
    $input    as item(),
    $schema   as item(),
-   $compact  as xs:boolean  := ()
+   $compact  as xs:boolean?  := map { }
 ) as empty-sequence()</pre>
 |- valign="top"
@@ Line 253: / Line 253: @@
    $input    as item(),
    $schema   as item(),
-   $compact  as xs:boolean  := ()
+   $compact  as xs:boolean?  := map { }
 ) as xs:string*</pre>
 |- valign="top"
@@ Line 271: / Line 271: @@
    $input    as item(),
    $schema   as xs:string,
-   $compact  as xs:boolean  := ()
+   $compact  as xs:boolean?  := map { }
 ) as element(report)</pre>
 |- valign="top"

@@ Line 122: / Line 122: @@
 | width='120' | '''Signature'''
 |<pre>validate:xsd(
-   $input     as item(),
+   $input    as item(),
-   $schema    as item()?  := (),
+   $schema   as item()?  := (),
-   $features  as map(*)   := ()
+   $options  as map(*)?  := map { }
 ) as empty-sequence()</pre>
 |- valign="top"
 | '''Summary'''
-|Validates the XML {{Code|$input}} document against a {{Code|$schema}}. The supported {{Code|$features}} are:
+|Validates the XML {{Code|$input}} document against a {{Code|$schema}}. The supported {{Code|$options}} are:
 * {{Code|cache}}: Generated schemas are cached and reused.
-* All other features are assigned to the XSLT processor.
+* All other options are handled as features and passed on to the XSLT processor.
 |- valign="top"
 | '''Errors'''
@@ Line 161: / Line 161: @@
 | width='120' | '''Signature'''
 |<pre>validate:xsd-info(
-   $input     as item(),
+   $input    as item(),
-   $schema    as item()?  := (),
+   $schema   as item()?  := (),
-   $features  as map(*)   := ()
+   $options  as map(*)?  := map { }
 ) as xs:string*</pre>
 |- valign="top"
 | '''Summary'''
-|Validates the XML {{Code|$input}} document against a {{Code|$schema}} and returns warnings, errors and fatal errors in a string sequence. See {{Function||validate:xsd}} for more information of the {{Code|$features}} parameter.
+|Validates the XML {{Code|$input}} document against a {{Code|$schema}} and returns warnings, errors and fatal errors in a string sequence. See {{Function||validate:xsd}} for more information of the {{Code|$options}} parameter.
 |- valign="top"
 | '''Errors'''
@@ Line 181: / Line 181: @@
    $input     as item(),
    $schema    as xs:string?  := (),
-   $features  as map(*)      := ()
+   $options   as map(*)      := map { }
 ) as element(report)</pre>
 |- valign="top"
 | '''Summary'''
-|Validates the XML {{Code|$input}} document against a {{Code|$schema}} and returns warnings, errors and fatal errors as XML. See {{Function||validate:xsd}} for more information of the {{Code|$features}} parameter.
+|Validates the XML {{Code|$input}} document against a {{Code|$schema}} and returns warnings, errors and fatal errors as XML. See {{Function||validate:xsd}} for more information of the {{Code|$options}} parameter.
 |- valign="top"
 | '''Errors'''

@@ Line 19: / Line 19: @@
 {| width='100%'
 |- valign="top"
-| width='120' | '''Signatures'''
+| width='120' | '''Signature'''
 |<pre>validate:dtd(
    $input   as item()
@@ Line 50: / Line 50: @@
 {| width='100%'
 |- valign="top"
-| width='120' | '''Signatures'''
+| width='120' | '''Signature'''
 |<pre>validate:dtd-info(
    $input   as item()
@@ Line 71: / Line 71: @@
 {| width='100%'
 |- valign="top"
-| width='120' | '''Signatures'''
+| width='120' | '''Signature'''
 |<pre>validate:dtd-report(
    $input   as item()
@@ Line 120: / Line 120: @@
 {| width='100%'
 |- valign="top"
-| width='120' | '''Signatures'''
+| width='120' | '''Signature'''
 |<pre>validate:xsd(
    $input     as item()
@@ Line 159: / Line 159: @@
 {| width='100%'
 |- valign="top"
-| width='120' | '''Signatures'''
+| width='120' | '''Signature'''
 |<pre>validate:xsd-info(
    $input     as item()
@@ Line 177: / Line 177: @@
 {| width='100%'
 |- valign="top"
-| width='120' | '''Signatures'''
+| width='120' | '''Signature'''
 |<pre>validate:xsd-report(
    $input     as item()
@@ Line 195: / Line 195: @@
 {| width='100%'
 |- valign="top"
-| width='120' | '''Signatures'''
+| width='120' | '''Signature'''
 |<pre>validate:xsd-processor() as xs:string</pre>
 |- valign="top"
@@ Line 206: / Line 206: @@
 {| width='100%'
 |- valign="top"
-| width='120' | '''Signatures'''
+| width='120' | '''Signature'''
 |<pre>validate:xsd-version() as xs:string</pre>
 |- valign="top"
@@ Line 227: / Line 227: @@
 {| width='100%'
 |- valign="top"
-| width='120' | '''Signatures'''
+| width='120' | '''Signature'''
 |<pre>validate:rng(
    $input    as item()
@@ Line 249: / Line 249: @@
 {| width='100%'
 |- valign="top"
-| width='120' | '''Signatures'''
+| width='120' | '''Signature'''
 |<pre>validate:rng-info(
    $input    as item()
@@ Line 267: / Line 267: @@
 {| width='100%'
 |- valign="top"
-| width='120' | '''Signatures'''
+| width='120' | '''Signature'''
 |<pre>validate:rng-report(
    $input    as item()