|
<?xml version="1.0"?><?xar XSLT?>
|
|
|
|
<!--
|
|
OVERVIEW
|
|
|
|
ASCC/Schematron.com Skeleton Module for ISO Schematron (for XSLT1 systems)
|
|
|
|
ISO Schematron is a language for making assertion about the presence or absence
|
|
of patterns in XML documents. It is typically used for as a schema language, or
|
|
to augment existing schema languages, and to check business rules. It is very
|
|
powerful, yet quite simple: a developer only need know XPath and about five other
|
|
elements.
|
|
|
|
This is an open source implementation of ISO Schematron in XSLT. Although ISO does
|
|
not allow reference implementations which might compete with the text of the
|
|
standard, this code has been compiled by Rick Jelliffe, inventor of Schematron
|
|
and editor of the ISO standard; so developers can certainly use it as an
|
|
unofficial reference implementation for clarification.
|
|
|
|
This implementation is based on one by Oliver Becker. API documentation is
|
|
available separately; try www.schematron.com for this. Funding for this
|
|
stylesheet over the years has come from Topologi Pty. Ltd., Geotempo Ltd.,
|
|
and ASCC, Tapei.
|
|
|
|
There are two versions of this skeleton: one is tailored for XSLT1 processors
|
|
and the other is tailored for XSLT2 processors. Future versions of the
|
|
XSLT2 skeleton may support more features than that the XSLT 1 skeleton.
|
|
-->
|
|
<!--
|
|
TIPS
|
|
|
|
A tip for new users of Schematron: make your assertions contain positive messages
|
|
about what is expected, rather than error messages. For example, use the form
|
|
"An X should have a Y, because Z".
|
|
|
|
Another tip is that Schematron provides an
|
|
element <sch:ns> for declaring the namespaces and prefixes used in Xpaths in
|
|
attribute values; it does not extend the XML Namespaces mechanism: if a name
|
|
in an XPath has a prefix, there must be an <sch:ns> element for that prefix; if
|
|
a name in an XPath does not have a prefix, it is always in no namespace.
|
|
|
|
A tip for implementers of Schematron, either using this API or re-implementing it:
|
|
make the value of the diagnostics, flags and richer features available if possible;
|
|
Schematron has many of the optional richer features which, if implemented, provide
|
|
a compelling alternative approach to validation and business-rules checking compared
|
|
to other schema languages and programs.
|
|
|
|
If you create your own meta-stylesheet to override this one, it is a
|
|
good idea to have both in the same directory and to run the stylesheet
|
|
from that directory, as many XSLT implementations have ideosyncratic
|
|
handling of URLs: keep it simple.
|
|
-->
|
|
|
|
|
|
<!--
|
|
INVOCATION INFORMATION
|
|
|
|
The following parameters are available
|
|
|
|
phase NMTOKEN | "#ALL" (default) Select the phase for validation
|
|
allow-foreign "true" | "false" (default) Pass non-Schematron elements to the generated stylesheet
|
|
sch.exslt.imports semi-colon delimited string of filenames for some EXSLT implementations
|
|
message-newline "true" (default) | "false" Generate an extra newline at the end of messages
|
|
optimize "visit-no-attributes"
|
|
debug "true" | "false" (default) Debug mode lets compilation continue despite problems
|
|
attributes "true" | "false" (Autodetecting) Use only when the schema has no attributes as the context nodes
|
|
only-child-elements "true" | "false" (Autodetecting) Use only when the schema has no comments
|
|
or PI as the context nodes
|
|
|
|
The following parameters can be specified as Schematron variables in diagnostics, assertions and so on.
|
|
fileNameParameter string
|
|
fileDirParameter string
|
|
archiveNameParameter string In case of ZIP files
|
|
archiveDirParameter string In case of ZIP files
|
|
output-encoding Use when outputting to XML
|
|
|
|
Experimental: USE AT YOUR OWN RISK
|
|
visit-text "true" "false" Also visist text nodes for context. WARNING: NON_STARDARD.
|
|
select-contents '' | 'key' | '//' Select different implementation strategies
|
|
|
|
Conventions: Meta-stylesheets that override this may use the following parameters
|
|
generate-paths=true|false generate the @location attribute with XPaths
|
|
diagnose= yes | no Add the diagnostics to the assertion test in reports
|
|
terminate= yes | no Terminate on the first failed assertion or successful report
|
|
-->
|
|
|
|
<!--
|
|
XSLT VERSION SUPPORT
|
|
|
|
XSLT 1:
|
|
A schema using the standard XSLT 1 query binding will have a /schema/@queryBinding='xslt' or
|
|
nothing.
|
|
|
|
* Note: XT does not implement key() and will die if given it.
|
|
* Add all formal parameters to default templates
|
|
* Fix missing apply-templates from process-ns and add params back
|
|
|
|
EXSLT: Experimental support
|
|
A schema using the EXSLT query binding will have a /schema/@queryBinding='exslt'.
|
|
It is built on XSLT 1. After experience is gained, this binding is expected to be
|
|
formalized as part of ISO Schematron, which currently reserves the "exslt" name for this purpose.
|
|
|
|
Some EXSLT engines have the extra functions built-in. For these, there is no need to
|
|
provide library locations. For engines that require the functions, either hard code
|
|
them in this script or provide them on the command-line argument.
|
|
|
|
-->
|
|
<!--
|
|
PROCESS INFORMATION
|
|
|
|
This stylesheet compiles a Schematron schema (*.sch) into XSLT code (*.xsl).
|
|
The generated XSLT code can then be run against an XML file (*.xml, etc) and
|
|
will produce validation results.
|
|
|
|
The output of validation results is performed using named templates (process-*).
|
|
These can be overridden easily by making a new XSLT stylesheet that imports this
|
|
stylesheet but has its own version of the relevant process-* templates. Several
|
|
of these invoking stylesheets are available: "iso_svrl.xsl", for example generates
|
|
ISO Schematron Validation Report Language format results.
|
|
|
|
In this version of the stylesheet, the ISO feature called "abstract patterns" is
|
|
implemented using macro processing: a prior XSLT stage to which converts uses
|
|
of abstract patterns into normal patterns. If you do not use abstract patterns,
|
|
it is not necessary to preprocess the schema.
|
|
|
|
To summarize, a basic process flow for some commandline processor is like this:
|
|
XSLT -input=xxx.sch -output=xxx.xsl -stylesheet=iso_schematron_skeleton.xsl
|
|
XSLT -input=document.xml -output=xxx-document.results -stylesheet=xxx.xsl
|
|
|
|
iso_svrl.xslt is an implementation of Schematron that can use this skeleton and
|
|
generate ISO SVRL reports. A process flow for some commandline processor would
|
|
be like this:
|
|
XSLT -input=xxx.sch -output=xxx.xsl -stylesheet=iso_svrl.xsl
|
|
XSLT -input=document.xml -output=xxx-document.results -stylesheet=xxx.xsl
|
|
|
|
It is not impossible that ultimately a third stage, to handle macro-preprocessing
|
|
and inclusion, might be necessary. (The trade-off is in making this XSLT more
|
|
complex compared to making the outer process more complex.)
|
|
|
|
This version has so far been tested with
|
|
Saxon 8
|
|
MSXML 4 (or 6?)
|
|
|
|
Please note that if you are using SAXON and JAXP, then you should use
|
|
System.setProperty("javax.xml.transform.TransformerFactory",
|
|
"net.sf.saxon.TransformerFactoryImpl");
|
|
rather than
|
|
System.setProperty("javax.xml.xpath.TransformerFactory",
|
|
"net.sf.saxon.TransformerFactoryImpl");
|
|
which is does not work, at least for the versions of SAXON we tried.
|
|
-->
|
|
<!--
|
|
LEGAL INFORMATION
|
|
|
|
Copyright (c) 2000-2008 Rick Jelliffe and Academia Sinica Computing Center, Taiwan
|
|
|
|
This software is provided 'as-is', without any express or implied warranty.
|
|
In no event will the authors be held liable for any damages arising from
|
|
the use of this software.
|
|
|
|
Permission is granted to anyone to use this software for any purpose,
|
|
including commercial applications, and to alter it and redistribute it freely,
|
|
subject to the following restrictions:
|
|
|
|
1. The origin of this software must not be misrepresented; you must not claim
|
|
that you wrote the original software. If you use this software in a product,
|
|
an acknowledgment in the product documentation would be appreciated but is
|
|
not required.
|
|
|
|
2. Altered source versions must be plainly marked as such, and must not be
|
|
misrepresented as being the original software.
|
|
|
|
3. This notice may not be removed or altered from any source distribution.
|
|
-->
|
|
<!--
|
|
NOTE: Compared to the iso_schematron_skeleton_for_saxon.xsl code, this version is currently missing
|
|
1) localization
|
|
2) properties
|
|
3) pattern/@documents
|
|
|
|
VERSION INFORMATION
|
|
2009-02-25 RJ
|
|
* Fix up variable names so none are used twice in same template
|
|
* Tested on SAXON 9, Xalan 2.7.1. Partly tested MSXML.
|
|
2008-09-19 RJ
|
|
* Add mode schematron-select-full-path and param full-path-notation
|
|
|
|
2008-08-11
|
|
* TT report/@flag was missing
|
|
2008-08-06
|
|
* TT Top-level lets need to be implemented using xsl:param not xsl:variable
|
|
* TT xsl:param/@select must have XPath or not be specified
|
|
|
|
Version: 2008-07-28
|
|
* KH schematron-get-full-path-3 has [index] even on top step
|
|
* RJ fix schematron-get-full-path to have namespace predicate, I don't know why this was removed
|
|
|
|
Version: 2008-07-24
|
|
* RJ clean out commented out namespace handling code
|
|
* RJ add support for experimental non-standard attribute report/@action
|
|
and assert/@action, and add parameter not in the published API (should
|
|
not break anything, it is XSLT1)
|
|
* RJ Remove remaining XSLT2 code for ease of reading
|
|
|
|
Version: 2008-07-14 minor update for inclusion experiments
|
|
* RJ Clean up zero-length fragment test on include
|
|
* RJ Add experimental support for include containers
|
|
* RJ For path generation, test for //iso:schema not just /iso:schema, for potential embedded Schematron support
|
|
* RJ Don't generate double error messages for old namespace elements
|
|
* RJ Experimental iso:rule/iso:title just kept as comment (bigger request Uche Ogbuji)
|
|
* RJ Remove spurious debug messages
|
|
* RJ Fix bug that prevented including patterns in this (report Roger
|
|
Costello)
|
|
|
|
Version: 2007-10-17
|
|
From this version on I am forking XSLT2 support to a different version of the script.
|
|
This is due to the increasingly horrible state of the namespace handling code as well
|
|
as other inconsistencies between the major implementations of different versions.
|
|
The intent is that future versions of this will have XSLT2 isms removed and be simplified
|
|
to cope with only XSLT1 and EXLST. Note that though this version is called
|
|
iso_schematron_skeleton_for_xslt1, the various meta-stylesheets will continue to just call
|
|
iso_schematron_skeleton: it is up to you to rename the stylesheet to the one you want to
|
|
use.
|
|
|
|
* RJ fix FULL-PATH problem with attribute names
|
|
|
|
|
|
Version: 2007-07-19
|
|
Accept most changes in David Carlisle's fork, but continue as XSLT1 script:
|
|
http://dpcarlisle.blogspot.com/search/label/schematron
|
|
* DPC Remove "optimize" parameter
|
|
* DPC Add autodetecting optimize parameter attribute to skip checking attribute
|
|
context
|
|
* DPC Add autodetecting optimize parameter only-child-elements turn off checking for
|
|
comments and PIs
|
|
* DPC (Experimental: NON_STANDARD DANGER!) Add param visit-text to viist text
|
|
nodes too for context
|
|
* DPC Fix inclusion syntax to allow #
|
|
* DPC Priorities count up from 1000 not down from 4000 to allow more rules
|
|
* RJ Add new template for titles of schemas, with existing behaviour.
|
|
Override process-schema-title for custom processing of title
|
|
|
|
|
|
Version: 2007-04-04
|
|
* RJ debug mode param
|
|
* RJ alter mixed test to only test mixed branches, so the same document
|
|
could have old and new namespaces schemas in it, but each schema must
|
|
be distinct, just so as not to overconstrain things.
|
|
* KH zero-length include/@href is fatal error, but allow debug mode
|
|
* SB add hint on SAXON and JAXP
|
|
* DC generate-full-path-1 generates XLST1 code by default
|
|
Version: 2007-03-05
|
|
* AS Typo for EXSLT randome, improve comment
|
|
* KH get-schematron-full-path-2 needs to apply to attributes too
|
|
* DP document policy on extensions better
|
|
* DC use copy-of not copy for foreign elements
|
|
* DC add generate-path-2
|
|
* DC don't try to apply templates to attribute axis on attribute nodes, to
|
|
stop SAXON warning.
|
|
* RJ improve reporting of typos
|
|
|
|
Version: 2007-02-08
|
|
* KH Schematron fullpath implementation: @* handled twice and / missing
|
|
* KH Change stylesheetbody from named template to mode to allow implementers more flexibility.
|
|
Move process-ns to outside the stylesheet body.
|
|
* DP, FG, fix handling of xslt:key
|
|
* FG no iso:title/@class
|
|
* Experimental optimization 'visit-no-attributes'
|
|
* KH Experimental added schematron-get-full-path-2 which gives prefixed version for humans
|
|
* DC Move stylesheet/@version generation to after namespace handling
|
|
* DC, FG EXSLT namespace handling code
|
|
* FG add ref and commented code from FG's page on namespaces
|
|
* Start adding normalize-space() to parameter code
|
|
* Add a space between diagnostics
|
|
|
|
Version: 2007-01-22
|
|
* DP change = ($start) to = $start and =($phase) to =$phase
|
|
to run under Saxon 8.8j
|
|
* FG better title section using ( @id | sch:title)[last()]
|
|
* Default query language binding is "xslt" not "xslt1"
|
|
|
|
Version: 2007-01-19
|
|
* Simplify message newline code
|
|
* Remove termination and xpath appending to message options:
|
|
factor out as iso_schematron_terminator.xsl
|
|
* Comment out XSLT2 namespace fix temporarily
|
|
|
|
Version: 2007-01-18 (First beta candidate for comment)
|
|
* DC remove xml:space="preserve"
|
|
* FG improve comment on import statement
|
|
* DC improve comments on invocation section
|
|
* Add exploratory support for sch:schema[@queryBinding='xpath']
|
|
by allowing it and warning as lets are found
|
|
* Be strict about queryBinding spelling errors
|
|
* Extra comments on the different queryBindings
|
|
* KH Add option "message-paths" to generate XPath from output
|
|
* KH Add option "terminate" to halt with an error after the first assertion
|
|
* KH refactor paths in schematron-full-path
|
|
* Improve (?) namespace handling: no dummy attributes for prefix "xsl" generated
|
|
|
|
Version: 2007-01-15
|
|
* FG fix for calling templates
|
|
* Add formal parameters to default templates: may help XSLT 2
|
|
* Fix get-schematron-full-path
|
|
* Include skeleton1-6 is commented out by default
|
|
|
|
Version:2007-01-12 (Pre-beta release to Schematron-love-in maillist)
|
|
* Add many extra parameters to the process-* calls, so that almost
|
|
all the information in the schema can be provided to client programs.
|
|
Also, rearrange the parameters to fit in with the ISO schema, which
|
|
has "rich" and "linkable" attribute groups.
|
|
* Warn on diagnostics with no ID once only
|
|
* Improved path reporting, to handle for namespaces
|
|
* Add process-title dummy template for API
|
|
* Add command-line parameter allow-foreign (true|false) to suppress
|
|
warnings one foreign elements and pass them through to the generated
|
|
stylesheet
|
|
* remove legacy templates for the old ASCC namespace and no namespace,
|
|
and use an import statement instead. Much cleaner now!
|
|
* patterns use @id not @name
|
|
* titles can contain sub-elements
|
|
* start change sch:rule to allow attributes, PIs and comments
|
|
* the default process-* for inline elements add a leading and trailing
|
|
space, to reduce the chance of concatenation.
|
|
* add comments to make the generated code clearer
|
|
|
|
Version:2006-11-07 (ISO: first release private to schematron-love-in maillist for review)
|
|
* Duplicate pattern templates, for handling ISO namespace
|
|
* Add priority onto default and paragraph templates
|
|
* Add namespace checks
|
|
* Handle key in xsl namespace not iso
|
|
* Add include
|
|
* Improve namespace handling
|
|
* Preliminary XSLT2 and EXSLT support
|
|
* Refactor iso:schema for clarity
|
|
|
|
Version: 2003-05-26
|
|
* Fix bug with key
|
|
Version: 2003-04-16
|
|
* handle 1.6 let expressions
|
|
* make key use XSLT names, and allow anywhere
|
|
Version: 2001-06-13
|
|
* same skeleton now supports namespace or no namespace
|
|
* parameters to handlers updated for all 1.5 attributes
|
|
* diagnostic hints supported: command-line option diagnose=yes|no
|
|
* phases supported: command-line option phase=#ALL|...
|
|
* abstract rules
|
|
* compile-time error messages
|
|
* add utility routine generate-id-from-path
|
|
|
|
Contributors: Rick Jelliffe (original), Oliver Becker (architecture, XSLT2),
|
|
Miloslav Nic (diagnostic, phase, options), Ludwig Svenonius (abstract)
|
|
Uche Ogbuji (misc. bug fixes), Jim Ancona (SAXON workaround),
|
|
Francis Norton (generate-id-from-path), Robert Leftwich, Bryan Rasmussen,
|
|
Dave Pawson (include, fallback), Florent Georges (namespaces, exslt, attribute
|
|
context), Benoit Maisonny (attribute context), John Dumps (process-message newline),
|
|
Cliff Stanford (diagnostics and other newlines)
|
|
|
|
|
|
KNOWN TYPICAL LIMITATIONS:
|
|
* Don't use <sch:ns prefix="xsl" .../> with a namespace other than the standard
|
|
XSLT one. This would be a bizarre thing to do anyway.
|
|
* Don't use other prefixes for the XSLT namespace either; some implementations will
|
|
not handle it correctly.
|
|
|
|
EXTENSIONS:
|
|
ISO Schematron is designed as a framework with some standard query language
|
|
bindings. If you need to support other features, please do so safely by making
|
|
up your own @queryLanguage name: this makes it clear that your schema requires
|
|
special features. For example, default ISO Schematron does not support user
|
|
defined functions; so if you want to use the user defined function feature
|
|
in XSLT, you need to have a schema with some queryBinding attribute name like
|
|
"XSLT-with-my-functions" or whatever.
|
|
-->
|
|
|
|
|
|
|
|
|
|
<xsl:stylesheet version="1.0"
|
|
xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
|
|
xmlns:axsl="http://www.w3.org/1999/XSL/TransformAlias"
|
|
xmlns:sch="http://www.ascc.net/xml/schematron"
|
|
xmlns:iso="http://purl.oclc.org/dsdl/schematron"
|
|
xmlns:exsl="http://exslt.org/common"
|
|
xmlns:msxsl="urn:schemas-microsoft-com:xslt"
|
|
extension-element-prefixes="exsl msxsl"
|
|
>
|
|
<!-- This program implements ISO Schematron, except for abstract patterns which require a preprocess. -->
|
|
|
|
|
|
<xsl:namespace-alias stylesheet-prefix="axsl" result-prefix="xsl"/>
|
|
|
|
|
|
<!-- Category: top-level-element -->
|
|
<xsl:output method="xml" omit-xml-declaration="no" standalone="yes" indent="yes"/>
|
|
|
|
|
|
<xsl:param name="phase">
|
|
<xsl:choose>
|
|
<xsl:when test="//sch:schema/@defaultPhase">
|
|
<xsl:value-of select="//sch:schema/@defaultPhase"/>
|
|
</xsl:when>
|
|
<xsl:when test="//iso:schema/@defaultPhase">
|
|
<xsl:value-of select="//iso:schema/@defaultPhase"/>
|
|
</xsl:when>
|
|
<xsl:otherwise>#ALL</xsl:otherwise>
|
|
</xsl:choose>
|
|
</xsl:param>
|
|
|
|
<xsl:param name="allow-foreign">false</xsl:param>
|
|
|
|
<xsl:param name="message-newline">true</xsl:param>
|
|
|
|
<!-- DPC set to true if contexts should be checked on attribute nodes
|
|
defaults to true if there is any possibility that a context could match an attribute,
|
|
err on the side if caution, a context of *[.='@'] would cause this param to defualt to true
|
|
even though @ is in a string
|
|
-->
|
|
<xsl:param name="attributes">
|
|
<xsl:choose>
|
|
<xsl:when test="//iso:rule[contains(@context,'@') or contains(@context,'attribute')]">true</xsl:when>
|
|
<xsl:otherwise>false</xsl:otherwise>
|
|
</xsl:choose>
|
|
</xsl:param>
|
|
|
|
<!-- DPC set to true if contexts should be checked on just elements in the child axis
|
|
defaults to true if there is any possibility that a context could match an comment or PI
|
|
err on the side if caution, a context of *[.='('] would cause this param to defualt to true
|
|
even though ( is in a string, but node() comment() and processing-instruction() all have a (
|
|
-->
|
|
<xsl:param name="only-child-elements">
|
|
<xsl:choose>
|
|
<xsl:when test="//iso:rule[contains(@context,'(')]">true</xsl:when>
|
|
<xsl:otherwise>false</xsl:otherwise>
|
|
</xsl:choose>
|
|
</xsl:param>
|
|
|
|
<!-- DPC set to true if contexts should be checked on text nodes nodes (if only-child-elements is false)
|
|
THIS IS NON CONFORMANT BEHAVIOUR JUST FOR DISCUSSION OF A POSSIBLE CHANGE TO THE
|
|
SPECIFICATION. THIS PARAM SHOULD GO IF THE FINAL DECISION IS THAT THE SPEC DOES NOT CHANGE.
|
|
Always defaults to false
|
|
-->
|
|
<xsl:param name="visit-text" select="'false'"/>
|
|
|
|
<!-- DPC
|
|
When selecting contexts the specified behaviour is
|
|
@*|node()[not(self::text())]
|
|
The automatic settings may use
|
|
node()[not(self::text())]
|
|
@*|*
|
|
*
|
|
instead for schema for which they are equivalent.
|
|
If the params are set explictly the above may be used, and also either if
|
|
@*
|
|
@*|node()
|
|
in all cases the result may not be equivalent, for example if you specify no attributes and the schema
|
|
does have attribute contexts they will be silently ignored.
|
|
|
|
after testing it turns out that
|
|
node()[not(self::text())] is slower in saxon than *|comment()|processing-instruction()
|
|
which I find a bit surprising but anyway I'll use the longr faster version.
|
|
-->
|
|
<xsl:variable name="context-xpath">
|
|
<xsl:if test="$attributes='true'">@*|</xsl:if>
|
|
<xsl:choose>
|
|
<xsl:when test="$only-child-elements='true'">*</xsl:when>
|
|
<xsl:when test="$visit-text='true'">node()</xsl:when>
|
|
<xsl:otherwise>*|comment()|processing-instruction()</xsl:otherwise>
|
|
</xsl:choose>
|
|
</xsl:variable>
|
|
|
|
<!-- DPC if this is set to
|
|
'' use recursive templates to iterate over document tree,
|
|
'key' select all contexts with a key rather than walking the tree explictly in each mode
|
|
'//' select all contexts with // a key rather than walking the tree explictly in each mode (XSLT2 only)
|
|
-->
|
|
<xsl:param name="select-contexts" select="''"/>
|
|
|
|
|
|
<xsl:param name="output-encoding"/>
|
|
<!-- e.g. saxon file.xml file.xsl "sch.exslt.imports=.../string.xsl;.../math.xsl" -->
|
|
<xsl:param name="sch.exslt.imports"/>
|
|
|
|
<!-- Set the language code for messages -->
|
|
<xsl:param name="langCode">default</xsl:param>
|
|
|
|
<xsl:param name="debug">false</xsl:param>
|
|
|
|
|
|
<!-- Set the default for schematron-select-full-path, i.e. the notation for svrl's @location-->
|
|
<xsl:param name="full-path-notation">1</xsl:param>
|
|
|
|
<!-- Simple namespace check -->
|
|
<xsl:template match="/">
|
|
<xsl:if test="//sch:*[ancestor::iso:* or descendant::iso:*]">
|
|
<xsl:message>Schema error: Schematron elements in old and new namespaces found</xsl:message>
|
|
<xsl:if test=" $debug = 'false' " />
|
|
</xsl:if>
|
|
|
|
<xsl:apply-templates />
|
|
</xsl:template>
|
|
|
|
|
|
<!-- ============================================================== -->
|
|
<!-- ISO SCHEMATRON SCHEMA ELEMENT -->
|
|
<!-- Not handled: Abstract patterns. A pre-processor is assumed. -->
|
|
<!-- ============================================================== -->
|
|
|
|
<!-- SCHEMA -->
|
|
<!-- Default uses XSLT 1 -->
|
|
<xsl:template match="iso:schema[not(@queryBinding) or @queryBinding='xslt'
|
|
or @queryBinding='xslt1' or @queryBinding='XSLT' or @queryBinding='XSLT1'
|
|
or @queryBinding='xpath']">
|
|
<xsl:if test="
|
|
@queryBinding='xslt1' or @queryBinding='XSLT' or @queryBinding='XSLT1'">
|
|
<xsl:message>Schema error: in the queryBinding attribute, use 'xslt'</xsl:message>
|
|
</xsl:if>
|
|
<axsl:stylesheet>
|
|
<xsl:apply-templates select="iso:ns"/>
|
|
<!-- Handle the namespaces before the version attribute: reported to help SAXON -->
|
|
<xsl:attribute name="version">1.0</xsl:attribute>
|
|
|
|
<xsl:apply-templates select="." mode="stylesheetbody"/>
|
|
<!-- was xsl:call-template name="stylesheetbody"/ -->
|
|
</axsl:stylesheet>
|
|
</xsl:template>
|
|
|
|
<!-- Using EXSLT with all modeles (except function module: not applicable) -->
|
|
<xsl:template match="iso:schema[@queryBinding='exslt']" priority="10">
|
|
<xsl:comment>This XSLT was automatically generated from a Schematron schema.</xsl:comment>
|
|
<axsl:stylesheet
|
|
xmlns:date="http://exslt.org/dates-and-times"
|
|
xmlns:dyn="http://exslt.org/dynamic"
|
|
xmlns:exsl="http://exslt.org/common"
|
|
xmlns:math="http://exslt.org/math"
|
|
xmlns:random="http://exslt.org/random"
|
|
xmlns:regexp="http://exslt.org/regular-expressions"
|
|
xmlns:set="http://exslt.org/sets"
|
|
xmlns:str="http://exslt.org/strings"
|
|
extension-element-prefixes="date dyn exsl math random regexp set str" >
|
|
|
|
<xsl:apply-templates select="iso:ns"/>
|
|
<!-- Handle the namespaces before the version attribute: reported to help SAXON -->
|
|
<xsl:attribute name="version">1.0</xsl:attribute>
|
|
|
|
<xsl:apply-templates select="." mode="stylesheetbody"/>
|
|
<!-- was xsl:call-template name="stylesheetbody"/ -->
|
|
</axsl:stylesheet>
|
|
</xsl:template>
|
|
|
|
|
|
<!-- Default uses XSLT 1 -->
|
|
<xsl:template match="iso:schema" priority="-1">
|
|
<xsl:message terminate="yes" >Fail: This implementation of ISO Schematron does not work with
|
|
schemas using the "<xsl:value-of select="@queryBinding"/>" query language.</xsl:message>
|
|
</xsl:template>
|
|
|
|
<xsl:template match="*" mode="stylesheetbody">
|
|
<!--xsl:template name="stylesheetbody"-->
|
|
<xsl:comment>Implementers: please note that overriding process-prolog or process-root is
|
|
the preferred method for meta-stylesheets to use where possible. </xsl:comment><xsl:text> </xsl:text>
|
|
|
|
<!-- These parameters may contain strings with the name and directory of the file being
|
|
validated. For convenience, if the caller only has the information in a single string,
|
|
that string could be put in fileDirParameter. The archives parameters are available
|
|
for ZIP archives.
|
|
-->
|
|
|
|
<axsl:param name="archiveDirParameter" />
|
|
<axsl:param name="archiveNameParameter" />
|
|
<axsl:param name="fileNameParameter" />
|
|
<axsl:param name="fileDirParameter" />
|
|
|
|
<xsl:call-template name="iso:exslt.add.imports" />
|
|
<xsl:text> </xsl:text><xsl:comment>PHASES</xsl:comment><xsl:text> </xsl:text>
|
|
<xsl:call-template name="handle-phase"/>
|
|
<xsl:text> </xsl:text><xsl:comment>PROLOG</xsl:comment><xsl:text> </xsl:text>
|
|
<xsl:call-template name="process-prolog"/>
|
|
<xsl:text> </xsl:text><xsl:comment>KEYS</xsl:comment><xsl:text> </xsl:text>
|
|
<xsl:apply-templates mode="do-keys" select="xsl:key "/>
|
|
<xsl:text> </xsl:text><xsl:comment>DEFAULT RULES</xsl:comment><xsl:text> </xsl:text>
|
|
<xsl:call-template name="generate-default-rules" />
|
|
<xsl:text> </xsl:text><xsl:comment>SCHEMA METADATA</xsl:comment><xsl:text> </xsl:text>
|
|
<xsl:call-template name="handle-root"/>
|
|
<xsl:text> </xsl:text><xsl:comment>SCHEMATRON PATTERNS</xsl:comment><xsl:text> </xsl:text>
|
|
|
|
<xsl:apply-templates select="*[not(self::iso:ns)] " />
|
|
</xsl:template>
|
|
|
|
<xsl:template name="iso:exslt.add.imports">
|
|
<xsl:param name="imports" select="$sch.exslt.imports"/>
|
|
<xsl:choose>
|
|
<xsl:when test="contains($imports, ';')">
|
|
<axsl:import href="{ substring-before($imports, ';') }"/>
|
|
<xsl:call-template name="iso:exslt.add.imports">
|
|
<xsl:with-param name="imports" select="substring-after($imports, ';')"/>
|
|
</xsl:call-template>
|
|
</xsl:when>
|
|
<xsl:when test="$imports">
|
|
<axsl:import href="{ $imports }"/>
|
|
</xsl:when>
|
|
</xsl:choose>
|
|
</xsl:template>
|
|
|
|
<xsl:template name="handle-phase" >
|
|
<xsl:if test="not(normalize-space( $phase ) = '#ALL')">
|
|
<xsl:if test="not(iso:phase[@id = normalize-space( $phase )])">
|
|
<xsl:message>Phase Error: no phase with name <xsl:value-of select="normalize-space( $phase )"
|
|
/> has been defined.</xsl:message>
|
|
</xsl:if>
|
|
</xsl:if>
|
|
</xsl:template>
|
|
|
|
<xsl:template name="generate-default-rules">
|
|
<xsl:text> </xsl:text>
|
|
<xsl:comment>MODE: SCHEMATRON-SELECT-FULL-PATH</xsl:comment><xsl:text> </xsl:text>
|
|
<xsl:comment>This mode can be used to generate an ugly though full XPath for locators</xsl:comment><xsl:text> </xsl:text>
|
|
<axsl:template match="*" mode="schematron-select-full-path">
|
|
<xsl:choose>
|
|
<xsl:when test=" $full-path-notation = '1' ">
|
|
<!-- Use for computers, but rather unreadable for humans -->
|
|
<axsl:apply-templates select="." mode="schematron-get-full-path"/>
|
|
</xsl:when>
|
|
<xsl:when test=" $full-path-notation = '2' ">
|
|
<!-- Use for humans, but no good for paths unless namespaces are known out-of-band -->
|
|
<axsl:apply-templates select="." mode="schematron-get-full-path-2"/>
|
|
</xsl:when>
|
|
<xsl:when test=" $full-path-notation = '3' ">
|
|
<!-- Obsolescent. Use for humans, but no good for paths unless namespaces are known out-of-band -->
|
|
<axsl:apply-templates select="." mode="schematron-get-full-path-3"/>
|
|
</xsl:when>
|
|
|
|
<xsl:otherwise >
|
|
<!-- Use for computers, but rather unreadable for humans -->
|
|
<axsl:apply-templates select="." mode="schematron-get-full-path"/>
|
|
</xsl:otherwise>
|
|
</xsl:choose>
|
|
</axsl:template>
|
|
|
|
|
|
<xsl:text> </xsl:text>
|
|
<xsl:comment>MODE: SCHEMATRON-FULL-PATH</xsl:comment><xsl:text> </xsl:text>
|
|
<xsl:comment>This mode can be used to generate an ugly though full XPath for locators</xsl:comment><xsl:text> </xsl:text>
|
|
<axsl:template match="*" mode="schematron-get-full-path">
|
|
<axsl:apply-templates select="parent::*" mode="schematron-get-full-path"/>
|
|
|
|
<!-- XSLT1 syntax -->
|
|
|
|
<axsl:text>/</axsl:text>
|
|
<axsl:choose>
|
|
<axsl:when test="namespace-uri()=''">
|
|
<axsl:value-of select="name()"/>
|
|
<axsl:variable name="p_1" select="1+
|
|
count(preceding-sibling::*[name()=name(current())])" />
|
|
<axsl:if test="$p_1>1 or following-sibling::*[name()=name(current())]">
|
|
<xsl:text/>[<axsl:value-of select="$p_1"/>]<xsl:text/>
|
|
</axsl:if>
|
|
</axsl:when>
|
|
<axsl:otherwise>
|
|
<axsl:text>*[local-name()='</axsl:text>
|
|
<axsl:value-of select="local-name()"/><axsl:text>' and namespace-uri()='</axsl:text>
|
|
<axsl:value-of select="namespace-uri()"/>
|
|
<axsl:text>']</axsl:text>
|
|
<axsl:variable name="p_2" select="1+
|
|
count(preceding-sibling::*[local-name()=local-name(current())])" />
|
|
<axsl:if test="$p_2>1 or following-sibling::*[local-name()=local-name(current())]">
|
|
<xsl:text/>[<axsl:value-of select="$p_2"/>]<xsl:text/>
|
|
</axsl:if>
|
|
</axsl:otherwise>
|
|
</axsl:choose>
|
|
</axsl:template>
|
|
|
|
|
|
<axsl:template match="@*" mode="schematron-get-full-path">
|
|
|
|
<!-- XSLT1 syntax -->
|
|
<axsl:text>/</axsl:text>
|
|
<axsl:choose>
|
|
<axsl:when test="namespace-uri()=''">@<axsl:value-of
|
|
select="name()"/></axsl:when>
|
|
<axsl:otherwise>
|
|
<axsl:text>@*[local-name()='</axsl:text>
|
|
<axsl:value-of select="local-name()"/>
|
|
<axsl:text>' and namespace-uri()='</axsl:text>
|
|
<axsl:value-of select="namespace-uri()"/>
|
|
<axsl:text>']</axsl:text>
|
|
</axsl:otherwise>
|
|
</axsl:choose>
|
|
|
|
</axsl:template>
|
|
|
|
|
|
<xsl:text> </xsl:text>
|
|
|
|
<xsl:comment>MODE: SCHEMATRON-FULL-PATH-2</xsl:comment>
|
|
<xsl:text> </xsl:text>
|
|
<xsl:comment>This mode can be used to generate prefixed XPath for humans</xsl:comment>
|
|
<xsl:text> </xsl:text>
|
|
<!--simplify the error messages by using the namespace prefixes of the
|
|
instance rather than the generic namespace-uri-styled qualification-->
|
|
<axsl:template match="node() | @*" mode="schematron-get-full-path-2">
|
|
<!--report the element hierarchy-->
|
|
<axsl:for-each select="ancestor-or-self::*">
|
|
<axsl:text>/</axsl:text>
|
|
<axsl:value-of select="name(.)"/>
|
|
<axsl:if test="preceding-sibling::*[name(.)=name(current())]">
|
|
<axsl:text>[</axsl:text>
|
|
<axsl:value-of
|
|
select="count(preceding-sibling::*[name(.)=name(current())])+1"/>
|
|
<axsl:text>]</axsl:text>
|
|
</axsl:if>
|
|
</axsl:for-each>
|
|
<!--report the attribute-->
|
|
<axsl:if test="not(self::*)">
|
|
<axsl:text/>/@<axsl:value-of select="name(.)"/>
|
|
</axsl:if>
|
|
</axsl:template>
|
|
|
|
<xsl:text> </xsl:text>
|
|
<xsl:comment>MODE: GENERATE-ID-FROM-PATH </xsl:comment><xsl:text> </xsl:text>
|
|
<!-- repeatable-id maker derived from Francis Norton's. -->
|
|
<!-- use this if you need generate ids in separate passes,
|
|
because generate-id() is not guaranteed to produce the same
|
|
results each time. These ids are not XML names but closer to paths. -->
|
|
<axsl:template match="/" mode="generate-id-from-path"/>
|
|
<axsl:template match="text()" mode="generate-id-from-path">
|
|
<axsl:apply-templates select="parent::*" mode="generate-id-from-path"/>
|
|
<axsl:value-of select="concat('.text-', 1+count(preceding-sibling::text()), '-')"/>
|
|
</axsl:template>
|
|
<axsl:template match="comment()" mode="generate-id-from-path">
|
|
<axsl:apply-templates select="parent::*" mode="generate-id-from-path"/>
|
|
<axsl:value-of select="concat('.comment-', 1+count(preceding-sibling::comment()), '-')"/>
|
|
</axsl:template>
|
|
<axsl:template match="processing-instruction()" mode="generate-id-from-path">
|
|
<axsl:apply-templates select="parent::*" mode="generate-id-from-path"/>
|
|
<axsl:value-of
|
|
select="concat('.processing-instruction-', 1+count(preceding-sibling::processing-instruction()), '-')"/>
|
|
</axsl:template>
|
|
<axsl:template match="@*" mode="generate-id-from-path">
|
|
<axsl:apply-templates select="parent::*" mode="generate-id-from-path"/>
|
|
<axsl:value-of select="concat('.@', name())"/>
|
|
</axsl:template>
|
|
<axsl:template match="*" mode="generate-id-from-path" priority="-0.5">
|
|
<axsl:apply-templates select="parent::*" mode="generate-id-from-path"/>
|
|
<axsl:text>.</axsl:text>
|
|
<!--
|
|
<axsl:choose>
|
|
<axsl:when test="count(. | ../namespace::*) = count(../namespace::*)">
|
|
<axsl:value-of select="concat('.namespace::-',1+count(namespace::*),'-')"/>
|
|
</axsl:when>
|
|
<axsl:otherwise>
|
|
-->
|
|
<axsl:value-of
|
|
select="concat('.',name(),'-',1+count(preceding-sibling::*[name()=name(current())]),'-')"/>
|
|
<!--
|
|
</axsl:otherwise>
|
|
</axsl:choose>
|
|
-->
|
|
</axsl:template>
|
|
|
|
|
|
<xsl:comment>MODE: SCHEMATRON-FULL-PATH-3</xsl:comment>
|
|
|
|
<xsl:text> </xsl:text>
|
|
<xsl:comment>This mode can be used to generate prefixed XPath for humans
|
|
(Top-level element has index)</xsl:comment>
|
|
<xsl:text> </xsl:text>
|
|
<!--simplify the error messages by using the namespace prefixes of the
|
|
instance rather than the generic namespace-uri-styled qualification-->
|
|
<axsl:template match="node() | @*" mode="schematron-get-full-path-3">
|
|
<!--report the element hierarchy-->
|
|
<axsl:for-each select="ancestor-or-self::*">
|
|
<axsl:text>/</axsl:text>
|
|
<axsl:value-of select="name(.)"/>
|
|
<axsl:if test="parent::*">
|
|
<axsl:text>[</axsl:text>
|
|
<axsl:value-of
|
|
select="count(preceding-sibling::*[name(.)=name(current())])+1"/>
|
|
<axsl:text>]</axsl:text>
|
|
</axsl:if>
|
|
</axsl:for-each>
|
|
<!--report the attribute-->
|
|
<axsl:if test="not(self::*)">
|
|
<axsl:text/>/@<axsl:value-of select="name(.)"/>
|
|
</axsl:if>
|
|
</axsl:template>
|
|
|
|
<xsl:text> </xsl:text>
|
|
<xsl:comment>MODE: GENERATE-ID-2 </xsl:comment><xsl:text> </xsl:text>
|
|
<!-- repeatable-id maker from David Carlisle. -->
|
|
<!-- use this if you need generate IDs in separate passes,
|
|
because generate-id() is not guaranteed to produce the same
|
|
results each time. These IDs are well-formed XML NMTOKENS -->
|
|
<axsl:template match="/" mode="generate-id-2">U</axsl:template>
|
|
|
|
<axsl:template match="*" mode="generate-id-2" priority="2">
|
|
<axsl:text>U</axsl:text>
|
|
<axsl:number level="multiple" count="*"/>
|
|
</axsl:template>
|
|
|
|
<axsl:template match="node()" mode="generate-id-2">
|
|
<axsl:text>U.</axsl:text>
|
|
<axsl:number level="multiple" count="*"/>
|
|
<axsl:text>n</axsl:text>
|
|
<axsl:number count="node()"/>
|
|
</axsl:template>
|
|
|
|
<axsl:template match="@*" mode="generate-id-2">
|
|
<axsl:text>U.</axsl:text>
|
|
<axsl:number level="multiple" count="*"/>
|
|
<axsl:text>_</axsl:text>
|
|
<axsl:value-of select="string-length(local-name(.))"/>
|
|
<axsl:text>_</axsl:text>
|
|
<axsl:value-of select="translate(name(),':','.')"/>
|
|
</axsl:template>
|
|
|
|
|
|
<xsl:comment>Strip characters</xsl:comment>
|
|
<axsl:template match="text()" priority="-1" />
|
|
|
|
</xsl:template>
|
|
|
|
<xsl:template name="handle-root">
|
|
<!-- Process the top-level element -->
|
|
<axsl:template match="/">
|
|
<xsl:call-template name="process-root">
|
|
<xsl:with-param
|
|
name="title" select="(@id | iso:title)[last()]"/>
|
|
<xsl:with-param name="version" select="'iso'" />
|
|
<xsl:with-param name="schemaVersion" select="@schemaVersion" />
|
|
<xsl:with-param name="queryBinding" select="@queryBinding" />
|
|
<xsl:with-param name="contents">
|
|
<xsl:apply-templates mode="do-all-patterns"/>
|
|
</xsl:with-param>
|
|
|
|
<!-- "Rich" properties -->
|
|
<xsl:with-param name="fpi" select="@fpi"/>
|
|
<xsl:with-param name="icon" select="@icon"/>
|
|
<xsl:with-param name="id" select="@id"/>
|
|
<xsl:with-param name="lang" select="@xml:lang"/>
|
|
<xsl:with-param name="see" select="@see" />
|
|
<xsl:with-param name="space" select="@xml:space" />
|
|
|
|
|
|
<!-- Non-standard extensions not part of the API yet -->
|
|
<xsl:with-param name="action" select="@action" />
|
|
</xsl:call-template>
|
|
</axsl:template>
|
|
|
|
|
|
</xsl:template>
|
|
|
|
<!-- ============================================================== -->
|
|
<!-- ISO SCHEMATRON ELEMENTS -->
|
|
<!-- ============================================================== -->
|
|
|
|
<!-- ISO ACTIVE -->
|
|
<xsl:template match="iso:active">
|
|
<xsl:if test="not(@pattern)">
|
|
<xsl:message>Markup Error: no pattern attribute in <active></xsl:message>
|
|
</xsl:if>
|
|
|
|
<xsl:if test="not(../../iso:pattern[@id = current()/@pattern])
|
|
and not(../../iso:include)">
|
|
<xsl:message>Reference Error: the pattern "<xsl:value-of select="@pattern"
|
|
/>" has been activated but is not declared</xsl:message>
|
|
</xsl:if>
|
|
</xsl:template>
|
|
|
|
<!-- ISO ASSERT and REPORT -->
|
|
<xsl:template match="iso:assert">
|
|
|
|
<xsl:if test="not(@test)">
|
|
<xsl:message>Markup Error: no test attribute in <assert</xsl:message>
|
|
</xsl:if>
|
|
<xsl:text> </xsl:text>
|
|
<xsl:comment>ASSERT <xsl:value-of select="@role" /> </xsl:comment><xsl:text> </xsl:text>
|
|
|
|
<axsl:choose>
|
|
<axsl:when test="{@test}"/>
|
|
<axsl:otherwise>
|
|
<xsl:call-template name="process-assert">
|
|
<xsl:with-param name="test" select="normalize-space(@test)" />
|
|
<xsl:with-param name="diagnostics" select="@diagnostics"/>
|
|
<xsl:with-param name="flag" select="@flag"/>
|
|
|
|
<!-- "Rich" properties -->
|
|
<xsl:with-param name="fpi" select="@fpi"/>
|
|
<xsl:with-param name="icon" select="@icon"/>
|
|
<xsl:with-param name="id" select="@id"/>
|
|
<xsl:with-param name="lang" select="@xml:lang"/>
|
|
<xsl:with-param name="see" select="@see" />
|
|
<xsl:with-param name="space" select="@xml:space" />
|
|
|
|
<!-- "Linking" properties -->
|
|
<xsl:with-param name="role" select="@role" />
|
|
<xsl:with-param name="subject" select="@subject" />
|
|
</xsl:call-template>
|
|
|
|
</axsl:otherwise>
|
|
</axsl:choose>
|
|
</xsl:template>
|
|
<xsl:template match="iso:report">
|
|
|
|
<xsl:if test="not(@test)">
|
|
<xsl:message>Markup Error: no test attribute in <report></xsl:message>
|
|
</xsl:if>
|
|
|
|
<xsl:text> </xsl:text>
|
|
<xsl:comment>REPORT <xsl:value-of select="@role" /> </xsl:comment><xsl:text> </xsl:text>
|
|
|
|
<axsl:if test="{@test}">
|
|
|
|
<xsl:call-template name="process-report">
|
|
<xsl:with-param name="test" select="normalize-space(@test)" />
|
|
<xsl:with-param name="diagnostics" select="@diagnostics"/>
|
|
<xsl:with-param name="flag" select="@flag"/>
|
|
|
|
<!-- "Rich" properties -->
|
|
<xsl:with-param name="fpi" select="@fpi"/>
|
|
<xsl:with-param name="icon" select="@icon"/>
|
|
<xsl:with-param name="id" select="@id"/>
|
|
<xsl:with-param name="lang" select="@xml:lang"/>
|
|
<xsl:with-param name="see" select="@see" />
|
|
<xsl:with-param name="space" select="@xml:space" />
|
|
|
|
<!-- "Linking" properties -->
|
|
<xsl:with-param name="role" select="@role" />
|
|
<xsl:with-param name="subject" select="@subject" />
|
|
</xsl:call-template>
|
|
|
|
</axsl:if>
|
|
</xsl:template>
|
|
|
|
|
|
<!-- ISO DIAGNOSTIC -->
|
|
<!-- We use a mode here to maintain backwards compatability, instead of adding it
|
|
to the other mode.
|
|
-->
|
|
<xsl:template match="iso:diagnostic" mode="check-diagnostics">
|
|
<xsl:if test="not(@id)">
|
|
<xsl:message>Markup Error: no id attribute in <diagnostic></xsl:message>
|
|
</xsl:if>
|
|
</xsl:template>
|
|
|
|
<xsl:template match="iso:diagnostic" >
|
|
<xsl:call-template name="process-diagnostic">
|
|
|
|
<!-- "Rich" properties -->
|
|
<xsl:with-param name="fpi" select="@fpi"/>
|
|
<xsl:with-param name="icon" select="@icon"/>
|
|
<xsl:with-param name="id" select="@id"/>
|
|
<xsl:with-param name="lang" select="@xml:lang"/>
|
|
<xsl:with-param name="see" select="@see" />
|
|
<xsl:with-param name="space" select="@xml:space" />
|
|
</xsl:call-template>
|
|
</xsl:template>
|
|
|
|
<!-- ISO DIAGNOSTICS -->
|
|
<xsl:template match="iso:diagnostics" >
|
|
<xsl:apply-templates mode="check-diagnostics" select="*" />
|
|
</xsl:template>
|
|
|
|
<!-- ISO DIR -->
|
|
<xsl:template match="iso:dir" mode="text" >
|
|
<xsl:call-template name="process-dir">
|
|
<xsl:with-param name="value" select="@value"/>
|
|
</xsl:call-template>
|
|
</xsl:template>
|
|
|
|
<!-- ISO EMPH -->
|
|
<xsl:template match="iso:emph" mode="text">
|
|
|
|
<xsl:call-template name="process-emph"/>
|
|
|
|
</xsl:template>
|
|
|
|
<!-- ISO EXTENDS -->
|
|
<xsl:template match="iso:extends">
|
|
<xsl:if test="not(@rule)">
|
|
<xsl:message>Markup Error: no rule attribute in <extends></xsl:message>
|
|
</xsl:if>
|
|
<xsl:if test="not(//iso:rule[@abstract='true'][@id= current()/@rule] )">
|
|
<xsl:message>Reference Error: the abstract rule "<xsl:value-of select="@rule"
|
|
/>" has been referenced but is not declared</xsl:message>
|
|
</xsl:if>
|
|
<xsl:call-template name="IamEmpty" />
|
|
|
|
<xsl:if test="//iso:rule[@id=current()/@rule]">
|
|
<xsl:apply-templates select="//iso:rule[@id=current()/@rule]"
|
|
mode="extends"/>
|
|
</xsl:if>
|
|
|
|
</xsl:template>
|
|
|
|
<!-- KEY: ISO has no KEY -->
|
|
<!-- NOTE:
|
|
Key has had a checkered history. Schematron 1.0 allowed it in certain places, but
|
|
users came up with a different location, which has now been adopted.
|
|
|
|
XT, the early XSLT processor, did not implement key and died when it was present.
|
|
So there are some versions of the Schematron skeleton for XT that strip out all
|
|
key elements.
|
|
|
|
Xalan (e.g. Xalan4C 1.0 and a Xalan4J) also had a funny. A fix involved making
|
|
a top-level parameter called $hiddenKey and then using that instead of matching
|
|
"key". This has been removed.
|
|
-->
|
|
<xsl:template match="xsl:key" mode="do-keys" >
|
|
<xsl:if test="not(@name)">
|
|
<xsl:message>Markup Error: no name attribute in <key></xsl:message>
|
|
</xsl:if>
|
|
<xsl:if test="not(@path) and not(@use)">
|
|
<xsl:message>Markup Error: no path or use attribute in <key></xsl:message>
|
|
</xsl:if>
|
|
<xsl:choose>
|
|
<xsl:when test="parent::iso:rule ">
|
|
<xsl:call-template name="IamEmpty" />
|
|
<xsl:choose>
|
|
<xsl:when test="@path">
|
|
<axsl:key match="{../@context}" name="{@name}" use="{@path}"/>
|
|
</xsl:when>
|
|
<xsl:otherwise>
|
|
<axsl:key match="{../@context}" name="{@name}" use="{@use}"/>
|
|
</xsl:otherwise>
|
|
</xsl:choose>
|
|
</xsl:when>
|
|
<xsl:otherwise>
|
|
<xsl:if test="not(@match) ">
|
|
<xsl:message>Markup Error: no path or use attribute in <key></xsl:message>
|
|
</xsl:if>
|
|
<axsl:key>
|
|
<xsl:copy-of select="@*"/>
|
|
</axsl:key>
|
|
</xsl:otherwise>
|
|
</xsl:choose>
|
|
</xsl:template>
|
|
|
|
<xsl:template match="xsl:key " /><!-- swallow -->
|
|
|
|
<xsl:template match="iso:key " >
|
|
<xsl:message>Schema error: The key element is not in the ISO Schematron namespace. Use the XSLT namespace.</xsl:message>
|
|
</xsl:template>
|
|
|
|
<!-- ISO INCLUDE -->
|
|
<!-- This is only a fallback. Include really needs to have been done before this as a separate pass.-->
|
|
|
|
<xsl:template match="iso:include[not(normalize-space(@href))]"
|
|
priority="1">
|
|
<xsl:if test=" $debug = 'false' ">
|
|
<xsl:message terminate="yes">Schema error: Empty href= attribute for include directive.</xsl:message>
|
|
</xsl:if>
|
|
|
|
</xsl:template>
|
|
|
|
<!-- Extend the URI syntax to allow # refererences -->
|
|
<!-- Add experimental support for simple containers like /xxx:xxx/iso:pattern to allow better includes -->
|
|
<xsl:template match="iso:include">
|
|
<xsl:variable name="document-uri" select="substring-before(concat(@href,'#'), '#')"/>
|
|
<xsl:variable name="fragment-id" select="substring-after(@href, '#')"/>
|
|
|
|
<xsl:choose>
|
|
|
|
<xsl:when test="string-length( $document-uri ) = 0 and string-length( $fragment-id ) = 0" >
|
|
<xsl:message>Error: Impossible URL in Schematron include</xsl:message>
|
|
</xsl:when>
|
|
|
|
<xsl:when test="string-length( $fragment-id ) > 0">
|
|
<xsl:variable name="theDocument_1" select="document( $document-uri,/ )" />
|
|
<xsl:variable name="theFragment_1" select="$theDocument_1//iso:*[@id= $fragment-id ]" />
|
|
<xsl:if test=" $theFragment_1/self::iso:schema ">
|
|
<xsl:message>Schema error: Use include to include fragments, not a whole schema</xsl:message>
|
|
</xsl:if>
|
|
<xsl:apply-templates select=" $theFragment_1"/>
|
|
</xsl:when>
|
|
|
|
<xsl:otherwise>
|
|
<xsl:variable name="theDocument_2" select="document( $document-uri,/ )" />
|
|
<xsl:variable name="theFragment_2" select="$theDocument_2/iso:*" />
|
|
<xsl:variable name="theContainedFragments" select="$theDocument_2/*/iso:*" />
|
|
<xsl:if test=" $theFragment_2/self::iso:schema or $theContainedFragments/self::iso:schema">
|
|
<xsl:message>Schema error: Use include to include fragments, not a whole schema</xsl:message>
|
|
</xsl:if>
|
|
<xsl:apply-templates select="$theFragment_2 | $theContainedFragments "/>
|
|
</xsl:otherwise>
|
|
</xsl:choose>
|
|
</xsl:template>
|
|
|
|
<!-- This is to handle the particular case of including patterns -->
|
|
<xsl:template match="iso:include" mode="do-all-patterns">
|
|
<xsl:variable name="document-uri" select="substring-before(concat(@href,'#'), '#')"/>
|
|
<xsl:variable name="fragment-id" select="substring-after(@href, '#')"/>
|
|
|
|
<xsl:choose>
|
|
|
|
<xsl:when test="string-length( $document-uri ) = 0 and string-length( $fragment-id ) = 0" >
|
|
<xsl:message>Error: Impossible URL in Schematron include</xsl:message>
|
|
</xsl:when>
|
|
|
|
<xsl:when test="string-length( $fragment-id ) > 0">
|
|
<xsl:variable name="theDocument_1" select="document( $document-uri,/ )" />
|
|
<xsl:variable name="theFragment_1" select="$theDocument_1//iso:*[@id= $fragment-id ]" />
|
|
<xsl:if test=" $theFragment_1/self::iso:schema ">
|
|
<xsl:message>Schema error: Use include to include fragments, not a whole schema</xsl:message>
|
|
</xsl:if>
|
|
<xsl:apply-templates select=" $theFragment_1" mode="do-all-patterns"/>
|
|
</xsl:when>
|
|
|
|
<xsl:otherwise>
|
|
<!-- Import the top-level element if it is in schematron namespace,
|
|
or its children otherwise, to allow a simple containment mechanism. -->
|
|
<xsl:variable name="theDocument_2" select="document( $document-uri,/ )" />
|
|
<xsl:variable name="theFragment_2" select="$theDocument_2/iso:*" />
|
|
<xsl:variable name="theContainedFragments" select="$theDocument_2/*/iso:*" />
|
|
<xsl:if test=" $theFragment_2/self::iso:schema or $theContainedFragments/self::iso:schema">
|
|
<xsl:message>Schema error: Use include to include fragments, not a whole schema</xsl:message>
|
|
</xsl:if>
|
|
<xsl:apply-templates select="$theFragment_2 | $theContainedFragments "
|
|
mode="do-all-patterns" />
|
|
</xsl:otherwise>
|
|
</xsl:choose>
|
|
</xsl:template>
|
|
|
|
<!-- ISO LET -->
|
|
<xsl:template match="iso:let" >
|
|
<xsl:if test="ancestor::iso:schema[@queryBinding='xpath']">
|
|
<xsl:message>Warning: Variables should not be used with the "xpath" query language binding.</xsl:message>
|
|
</xsl:if>
|
|
|
|
<!-- lets at the top-level are implemented as parameters -->
|
|
|
|
<xsl:choose>
|
|
<xsl:when test="parent::iso:schema">
|
|
<!-- it is an error to have an empty param/@select because an XPath is expected -->
|
|
<axsl:param name="{@name}" select="{@value}">
|
|
<xsl:if test="string-length(@value) > 0">
|
|
<xsl:attribute name="select"><xsl:value-of select="@value"/></xsl:attribute>
|
|
</xsl:if>
|
|
</axsl:param>
|
|
</xsl:when>
|
|
<xsl:otherwise>
|
|
<axsl:variable name="{@name}" select="{@value}"/>
|
|
</xsl:otherwise>
|
|
</xsl:choose>
|
|
|
|
</xsl:template>
|
|
|
|
<!-- ISO NAME -->
|
|
<xsl:template match="iso:name" mode="text">
|
|
|
|
<xsl:if test="@path">
|
|
<xsl:call-template name="process-name">
|
|
<xsl:with-param name="name" select="concat('name(',@path,')')"/>
|
|
</xsl:call-template>
|
|
</xsl:if>
|
|
<xsl:if test="not(@path)">
|
|
<xsl:call-template name="process-name">
|
|
<xsl:with-param name="name" select="'name(.)'"/>
|
|
</xsl:call-template>
|
|
</xsl:if>
|
|
<xsl:call-template name="IamEmpty" />
|
|
</xsl:template>
|
|
|
|
<!-- ISO NS -->
|
|
<!-- Namespace handling is XSLT is quite tricky and implementation dependent -->
|
|
<xsl:template match="iso:ns">
|
|
<xsl:call-template name="handle-namespace" />
|
|
</xsl:template>
|
|
|
|
<!-- This template is just to provide the API hook -->
|
|
<xsl:template match="iso:ns" mode="do-all-patterns" >
|
|
<xsl:if test="not(@uri)">
|
|
<xsl:message>Markup Error: no uri attribute in <ns></xsl:message>
|
|
</xsl:if>
|
|
<xsl:if test="not(@prefix)">
|
|
<xsl:message>Markup Error: no prefix attribute in <ns></xsl:message>
|
|
</xsl:if>
|
|
<xsl:call-template name="IamEmpty" />
|
|
<xsl:call-template name="process-ns" >
|
|
<xsl:with-param name="prefix" select="@prefix"/>
|
|
<xsl:with-param name="uri" select="@uri"/>
|
|
</xsl:call-template>
|
|
</xsl:template>
|
|
|
|
<!-- ISO P -->
|
|
<xsl:template match="iso:schema/iso:p " mode="do-schema-p" >
|
|
<xsl:call-template name="process-p">
|
|
<xsl:with-param name="class" select="@class"/>
|
|
<xsl:with-param name="icon" select="@icon"/>
|
|
<xsl:with-param name="id" select="@id"/>
|
|
<xsl:with-param name="lang" select="@xml:lang"/>
|
|
</xsl:call-template>
|
|
</xsl:template>
|
|
<xsl:template match="iso:pattern/iso:p " mode="do-pattern-p" >
|
|
<xsl:call-template name="process-p">
|
|
<xsl:with-param name="class" select="@class"/>
|
|
<xsl:with-param name="icon" select="@icon"/>
|
|
<xsl:with-param name="id" select="@id"/>
|
|
<xsl:with-param name="lang" select="@xml:lang"/>
|
|
</xsl:call-template>
|
|
</xsl:template>
|
|
|
|
<!-- Currently, iso:p in other position are not passed through to the API -->
|
|
<xsl:template match="iso:phase/iso:p" />
|
|
<xsl:template match="iso:p " priority="-1" />
|
|
|
|
<!-- ISO PATTERN -->
|
|
<xsl:template match="iso:pattern" mode="do-all-patterns">
|
|
<xsl:if test="($phase = '#ALL')
|
|
or (../iso:phase[@id= $phase]/iso:active[@pattern= current()/@id])">
|
|
<xsl:call-template name="process-pattern">
|
|
<!-- the following select statement assumes that
|
|
@id | sch:title returns node-set in document order:
|
|
we want the title if it is there, otherwise the @id attribute -->
|
|
<xsl:with-param name="name" select="(@id | iso:title )[last()]"/>
|
|
<xsl:with-param name="is-a" select="''"/>
|
|
|
|
<!-- "Rich" properties -->
|
|
<xsl:with-param name="fpi" select="@fpi"/>
|
|
<xsl:with-param name="icon" select="@icon"/>
|
|
<xsl:with-param name="id" select="@id"/>
|
|
<xsl:with-param name="lang" select="@xml:lang"/>
|
|
<xsl:with-param name="see" select="@see" />
|
|
<xsl:with-param name="space" select="@xml:space" />
|
|
</xsl:call-template>
|
|
<xsl:choose>
|
|
<xsl:when test="$select-contexts='key'">
|
|
<axsl:apply-templates select="key('M','M{count(preceding-sibling::*)}')" mode="M{count(preceding-sibling::*)}"/>
|
|
</xsl:when>
|
|
<xsl:when test="$select-contexts='//'">
|
|
<axsl:apply-templates mode="M{count(preceding-sibling::*)}">
|
|
<xsl:attribute name="select">
|
|
<xsl:text>//(</xsl:text>
|
|
<xsl:for-each select="iso:rule/@context">
|
|
<xsl:text>(</xsl:text>
|
|
<xsl:value-of select="."/>
|
|
<xsl:text>)</xsl:text>
|
|
<xsl:if test="position()!=last()">|</xsl:if>
|
|
</xsl:for-each>
|
|
<xsl:text>)</xsl:text>
|
|
<xsl:if test="$visit-text='false'">[not(self::text())]</xsl:if>
|
|
</xsl:attribute>
|
|
</axsl:apply-templates>
|
|
</xsl:when>
|
|
<xsl:otherwise>
|
|
<axsl:apply-templates select="/" mode="M{count(preceding-sibling::*)}"/>
|
|
</xsl:otherwise>
|
|
</xsl:choose>
|
|
</xsl:if>
|
|
</xsl:template>
|
|
|
|
<xsl:template match="iso:pattern[@abstract='true']">
|
|
|
|
<xsl:message>Schema implementation error: This schema has abstract patterns, yet they are supposed to be preprocessed out already
|
|
</xsl:message>
|
|
</xsl:template>
|
|
|
|
<!-- Here is the template for the normal case of patterns -->
|
|
<xsl:template match="iso:pattern[not(@abstract='true')]">
|
|
|
|
<xsl:if test="($phase = '#ALL')
|
|
or (../iso:phase[@id= $phase]/iso:active[@pattern= current()/@id])">
|
|
|
|
<xsl:text> </xsl:text>
|
|
<xsl:comment>PATTERN <xsl:value-of select="@id" /> <xsl:value-of select="iso:title" /> </xsl:comment><xsl:text> </xsl:text>
|
|
<xsl:apply-templates />
|
|
|
|
<!-- DPC select-contexts test -->
|
|
<xsl:if test="not($select-contexts)">
|
|
<axsl:template match="text()" priority="-1" mode="M{count(preceding-sibling::*)}">
|
|
<!-- strip characters -->
|
|
</axsl:template>
|
|
|
|
<!-- DPC introduce context-xpath variable -->
|
|
<axsl:template match="@*|node()"
|
|
priority="-2"
|
|
mode="M{ count(preceding-sibling::*) }">
|
|
<axsl:apply-templates select="{$context-xpath}" mode="M{count(preceding-sibling::*)}"/>
|
|
</axsl:template>
|
|
</xsl:if>
|
|
</xsl:if>
|
|
</xsl:template>
|
|
|
|
<!-- ISO PHASE -->
|
|
<xsl:template match="iso:phase" >
|
|
<xsl:if test="not(@id)">
|
|
<xsl:message>Markup Error: no id attribute in <phase></xsl:message>
|
|
</xsl:if>
|
|
<xsl:apply-templates/>
|
|
</xsl:template>
|
|
|
|
<!-- ISO RULE -->
|
|
<xsl:template match="iso:rule[not(@abstract='true')] ">
|
|
<xsl:if test="not(@context)">
|
|
<xsl:message>Markup Error: no context attribute in <rule></xsl:message>
|
|
</xsl:if>
|
|
<xsl:text> </xsl:text>
|
|
<xsl:comment>RULE <xsl:value-of select="@id" /> </xsl:comment><xsl:text> </xsl:text>
|
|
<xsl:if test="iso:title">
|
|
<xsl:comment><xsl:value-of select="iso:title" /></xsl:comment>
|
|
</xsl:if>
|
|
<!-- DPC select-contexts -->
|
|
<xsl:if test="$select-contexts='key'">
|
|
<axsl:key name="M"
|
|
match="{@context}"
|
|
use="'M{count(../preceding-sibling::*)}'"/>
|
|
</xsl:if>
|
|
|
|
|
|
<!-- DPC priorities count up from 1000 not down from 4000 (templates in same priority order as before) -->
|
|
<axsl:template match="{@context}"
|
|
priority="{1000 + count(following-sibling::*)}" mode="M{count(../preceding-sibling::*)}">
|
|
<xsl:call-template name="process-rule">
|
|
<xsl:with-param name="context" select="@context"/>
|
|
|
|
<!-- "Rich" properties -->
|
|
<xsl:with-param name="fpi" select="@fpi"/>
|
|
<xsl:with-param name="icon" select="@icon"/>
|
|
<xsl:with-param name="id" select="@id"/>
|
|
<xsl:with-param name="lang" select="@xml:lang"/>
|
|
<xsl:with-param name="see" select="@see" />
|
|
<xsl:with-param name="space" select="@xml:space" />
|
|
|
|
<!-- "Linking" properties -->
|
|
<xsl:with-param name="role" select="@role" />
|
|
<xsl:with-param name="subject" select="@subject" />
|
|
</xsl:call-template>
|
|
<xsl:apply-templates/>
|
|
<!-- DPC introduce context-xpath and select-contexts variables -->
|
|
<xsl:if test="not($select-contexts)">
|
|
<axsl:apply-templates select="{$context-xpath}" mode="M{count(../preceding-sibling::*)}"/>
|
|
</xsl:if>
|
|
</axsl:template>
|
|
</xsl:template>
|
|
|
|
|
|
<!-- ISO ABSTRACT RULE -->
|
|
<xsl:template match="iso:rule[@abstract='true'] " >
|
|
<xsl:if test=" not(@id)">
|
|
<xsl:message>Markup Error: no id attribute on abstract <rule></xsl:message>
|
|
</xsl:if>
|
|
<xsl:if test="@context">
|
|
<xsl:message>Markup Error: (2) context attribute on abstract <rule></xsl:message>
|
|
</xsl:if>
|
|
</xsl:template>
|
|
|
|
<xsl:template match="iso:rule[@abstract='true']"
|
|
mode="extends" >
|
|
<xsl:if test="@context">
|
|
<xsl:message>Markup Error: context attribute on abstract <rule></xsl:message>
|
|
</xsl:if>
|
|
<xsl:apply-templates/>
|
|
</xsl:template>
|
|
|
|
<!-- ISO SPAN -->
|
|
<xsl:template match="iso:span" mode="text">
|
|
<xsl:call-template name="process-span">
|
|
<xsl:with-param name="class" select="@class"/>
|
|
</xsl:call-template>
|
|
</xsl:template>
|
|
|
|
<!-- ISO TITLE -->
|
|
|
|
<xsl:template match="iso:schema/iso:title" priority="1">
|
|
<xsl:call-template name="process-schema-title" />
|
|
</xsl:template>
|
|
|
|
|
|
<xsl:template match="iso:title" >
|
|
<xsl:call-template name="process-title" />
|
|
</xsl:template>
|
|
|
|
|
|
<!-- ISO VALUE-OF -->
|
|
<xsl:template match="iso:value-of" mode="text" >
|
|
<xsl:if test="not(@select)">
|
|
<xsl:message>Markup Error: no select attribute in <value-of></xsl:message>
|
|
</xsl:if>
|
|
<xsl:call-template name="IamEmpty" />
|
|
|
|
<xsl:choose>
|
|
<xsl:when test="@select">
|
|
<xsl:call-template name="process-value-of">
|
|
<xsl:with-param name="select" select="@select"/>
|
|
</xsl:call-template>
|
|
</xsl:when>
|
|
<xsl:otherwise >
|
|
<xsl:call-template name="process-value-of">
|
|
<xsl:with-param name="select" select="'.'"/>
|
|
</xsl:call-template>
|
|
</xsl:otherwise>
|
|
</xsl:choose>
|
|
|
|
</xsl:template>
|
|
|
|
|
|
<!-- ============================================================== -->
|
|
<!-- DEFAULT TEXT HANDLING -->
|
|
<!-- ============================================================== -->
|
|
<xsl:template match="text()" priority="-1" mode="do-keys">
|
|
<!-- strip characters -->
|
|
</xsl:template>
|
|
<xsl:template match="text()" priority="-1" mode="do-all-patterns">
|
|
<!-- strip characters -->
|
|
</xsl:template>
|
|
<xsl:template match="text()" priority="-1" mode="do-schema-p">
|
|
<!-- strip characters -->
|
|
</xsl:template>
|
|
<xsl:template match="text()" priority="-1" mode="do-pattern-p">
|
|
<!-- strip characters -->
|
|
</xsl:template>
|
|
|
|
<xsl:template match="text()" priority="-1">
|
|
<!-- Strip characters -->
|
|
</xsl:template>
|
|
|
|
<xsl:template match="text()" mode="text">
|
|
<xsl:value-of select="."/>
|
|
</xsl:template>
|
|
|
|
<xsl:template match="text()" mode="inline-text">
|
|
<xsl:value-of select="."/>
|
|
</xsl:template>
|
|
|
|
<!-- ============================================================== -->
|
|
<!-- UTILITY TEMPLATES -->
|
|
<!-- ============================================================== -->
|
|
<xsl:template name="IamEmpty">
|
|
<xsl:if test="count( * )">
|
|
<xsl:message>
|
|
<xsl:text>Warning: </xsl:text>
|
|
<xsl:value-of select="name(.)"/>
|
|
<xsl:text> must not contain any child elements</xsl:text>
|
|
</xsl:message>
|
|
</xsl:if>
|
|
</xsl:template>
|
|
|
|
<xsl:template name="diagnosticsSplit">
|
|
<!-- Process at the current point the first of the <diagnostic> elements
|
|
referred to parameter str, and then recurse -->
|
|
<xsl:param name="str"/>
|
|
<xsl:variable name="start">
|
|
<xsl:choose>
|
|
<xsl:when test="contains($str,' ')">
|
|
<xsl:value-of select="substring-before($str,' ')"/>
|
|
</xsl:when>
|
|
<xsl:otherwise><xsl:value-of select="$str"/></xsl:otherwise>
|
|
</xsl:choose>
|
|
</xsl:variable>
|
|
|
|
<xsl:variable name="end">
|
|
<xsl:if test="contains($str,' ')">
|
|
<xsl:value-of select="substring-after($str,' ')"/>
|
|
</xsl:if>
|
|
</xsl:variable>
|
|
|
|
<!-- This works with all namespaces -->
|
|
<xsl:if test="not(string-length(normalize-space($start)) = 0)
|
|
and not(//iso:diagnostic[@id = $start])
|
|
and not(//sch:diagnostic[@id = $start])
|
|
and not(//diagnostic[@id = $start])">
|
|
<xsl:message>Reference error: A diagnostic "<xsl:value-of select="string($start)"
|
|
/>" has been referenced but is not declared</xsl:message>
|
|
</xsl:if>
|
|
|
|
<xsl:if test="string-length(normalize-space($start)) > 0">
|
|
<xsl:text> </xsl:text>
|
|
<xsl:apply-templates
|
|
select="//iso:diagnostic[@id = $start ]
|
|
| //sch:diagnostic[@id = $start ]
|
|
| //diagnostic[@id= $start ]"/>
|
|
</xsl:if>
|
|
|
|
<xsl:if test="not($end='')">
|
|
<xsl:call-template name="diagnosticsSplit">
|
|
<xsl:with-param name="str" select="$end"/>
|
|
</xsl:call-template>
|
|
</xsl:if>
|
|
</xsl:template>
|
|
|
|
<!-- It would be nice to use this but xsl:namespace does not
|
|
allow a fallback -->
|
|
<!--xsl:template name="handle-namespace" version="2.0">
|
|
<xsl:namespace name="{@prefix}" select="@uri">
|
|
</xsl:template-->
|
|
|
|
<xsl:template name="handle-namespace">
|
|
<!-- experimental code from http://eccnet.eccnet.com/pipermail/schematron-love-in/2006-June/000104.html -->
|
|
<!-- Handle namespaces differently for exslt systems, msxml, and default, only using XSLT1 syntax -->
|
|
<!-- For more info see http://fgeorges.blogspot.com/2007/01/creating-namespace-nodes-in-xslt-10.html -->
|
|
<xsl:choose>
|
|
<!-- The following code works for XSLT1 -->
|
|
<xsl:when test="function-available('exsl:node-set')">
|
|
<xsl:variable name="ns-dummy-elements">
|
|
<xsl:element name="{@prefix}:dummy" namespace="{@uri}"/>
|
|
</xsl:variable>
|
|
<xsl:variable name="p" select="@prefix"/>
|
|
<xsl:copy-of select="exsl:node-set($ns-dummy-elements)
|
|
/*/namespace::*[local-name()=$p]"/>
|
|
</xsl:when>
|
|
|
|
<!-- End XSLT1 code -->
|
|
|
|
<!-- Not tested yet
|
|
<xsl:when test="function-available('msxsl:node-set')">
|
|
<xsl:variable name="ns-dummy-elements">
|
|
<xsl:element name="{ $prefix }:e" namespace="{ $uri }"/>
|
|
</xsl:variable>
|
|
<xsl:copy-of select="msxsl:node-set($ns-dummy-elements)/*/namespace::*"/>
|
|
</xsl:when>
|
|
-->
|
|
|
|
<xsl:when test="@prefix = 'xsl' ">
|
|
<!-- Do not generate dummy attributes with the xsl: prefix, as these
|
|
are errors against XSLT, because we presume that the output
|
|
stylesheet uses the xsl prefix. In any case, there would already
|
|
be a namespace declaration for the XSLT namespace generated
|
|
automatically, presumably using "xsl:".
|
|
-->
|
|
</xsl:when>
|
|
|
|
<xsl:when test="@uri = 'http://www.w3.org/1999/XSL/Transform'">
|
|
<xsl:message terminate="yes">
|
|
<xsl:text>Using the XSLT namespace with a prefix other than "xsl" in </xsl:text>
|
|
<xsl:text>Schematron rules is not supported </xsl:text>
|
|
<xsl:text>in this processor: </xsl:text>
|
|
<xsl:value-of select="system-property('xsl:vendor')"/>
|
|
</xsl:message>
|
|
</xsl:when>
|
|
|
|
<xsl:otherwise>
|
|
<xsl:attribute name="{concat(@prefix,':dummy-for-xmlns')}" namespace="{@uri}" />
|
|
|
|
</xsl:otherwise>
|
|
</xsl:choose>
|
|
|
|
|
|
</xsl:template>
|
|
|
|
<!-- ============================================================== -->
|
|
<!-- UNEXPECTED ELEMENTS -->
|
|
<!-- ============================================================== -->
|
|
|
|
<xsl:template match="iso:*" priority="-2">
|
|
<xsl:message>
|
|
<xsl:text>Error: unrecognized element in ISO Schematron namespace: check spelling
|
|
and capitalization</xsl:text>
|
|
<xsl:value-of select="name(.)"/>
|
|
</xsl:message>
|
|
</xsl:template>
|
|
|
|
|
|
<!-- Swallow old namespace elements: there is an upfront test for them elsewhere -->
|
|
<xsl:template match="sch:*" priority="-2" />
|
|
|
|
<xsl:template match="*" priority="-3">
|
|
<xsl:choose>
|
|
<xsl:when test=" $allow-foreign = 'false' ">
|
|
<xsl:message>
|
|
<xsl:text>Warning: unrecognized element </xsl:text>
|
|
<xsl:value-of select="name(.)"/>
|
|
</xsl:message>
|
|
</xsl:when>
|
|
<xsl:otherwise>
|
|
<xsl:copy-of select="." />
|
|
</xsl:otherwise>
|
|
</xsl:choose>
|
|
</xsl:template>
|
|
|
|
<xsl:template match="iso:*" mode="text" priority="-2" />
|
|
<xsl:template match="*" mode="text" priority="-3">
|
|
<xsl:choose>
|
|
<xsl:when test=" $allow-foreign = 'false' ">
|
|
<xsl:message>
|
|
<xsl:text>Warning: unrecognized element </xsl:text>
|
|
<xsl:value-of select="name(.)"/>
|
|
</xsl:message>
|
|
</xsl:when>
|
|
<xsl:otherwise>
|
|
<xsl:copy-of select="." />
|
|
</xsl:otherwise>
|
|
</xsl:choose>
|
|
</xsl:template>
|
|
|
|
<!-- ============================================================== -->
|
|
<!-- DEFAULT NAMED TEMPLATES -->
|
|
<!-- These are the actions that are performed unless overridden -->
|
|
<!-- ============================================================== -->
|
|
|
|
<xsl:template name="process-prolog"/>
|
|
<!-- no params -->
|
|
|
|
<xsl:template name="process-root">
|
|
<xsl:param name="contents"/>
|
|
<xsl:param name="id" />
|
|
<xsl:param name="version" />
|
|
<xsl:param name="schemaVersion" />
|
|
<xsl:param name="queryBinding" />
|
|
<xsl:param name="title" />
|
|
|
|
|
|
<!-- "Rich" parameters -->
|
|
<xsl:param name="fpi" />
|
|
<xsl:param name="icon" />
|
|
<xsl:param name="lang" />
|
|
<xsl:param name="see" />
|
|
<xsl:param name="space" />
|
|
|
|
<xsl:copy-of select="$contents"/>
|
|
</xsl:template>
|
|
|
|
<xsl:template name="process-assert">
|
|
|
|
<xsl:param name="test"/>
|
|
<xsl:param name="diagnostics" />
|
|
<xsl:param name="id" />
|
|
<xsl:param name="flag" />
|
|
|
|
<!-- "Linkable" parameters -->
|
|
<xsl:param name="role"/>
|
|
<xsl:param name="subject"/>
|
|
|
|
<!-- "Rich" parameters -->
|
|
<xsl:param name="fpi" />
|
|
<xsl:param name="icon" />
|
|
<xsl:param name="lang" />
|
|
<xsl:param name="see" />
|
|
<xsl:param name="space" />
|
|
|
|
|
|
<xsl:call-template name="process-message">
|
|
<xsl:with-param name="pattern" select="$test"/>
|
|
<xsl:with-param name="role" select="$role"/>
|
|
</xsl:call-template>
|
|
|
|
|
|
</xsl:template>
|
|
|
|
<xsl:template name="process-report">
|
|
<xsl:param name="test"/>
|
|
<xsl:param name="diagnostics" />
|
|
<xsl:param name="id" />
|
|
<xsl:param name="flag" />
|
|
|
|
<!-- "Linkable" parameters -->
|
|
<xsl:param name="role"/>
|
|
<xsl:param name="subject"/>
|
|
|
|
<!-- "Rich" parameters -->
|
|
<xsl:param name="fpi" />
|
|
<xsl:param name="icon" />
|
|
<xsl:param name="lang" />
|
|
<xsl:param name="see" />
|
|
<xsl:param name="space" />
|
|
|
|
<xsl:call-template name="process-message">
|
|
<xsl:with-param name="pattern" select="$test"/>
|
|
<xsl:with-param name="role" select="$role"/>
|
|
</xsl:call-template>
|
|
</xsl:template>
|
|
|
|
<xsl:template name="process-diagnostic">
|
|
<xsl:param name="id" />
|
|
|
|
<!-- "Rich" parameters -->
|
|
<xsl:param name="fpi" />
|
|
<xsl:param name="icon" />
|
|
<xsl:param name="lang" />
|
|
<xsl:param name="see" />
|
|
<xsl:param name="space" />
|
|
|
|
<!-- We generate too much whitespace rather than risking concatenation -->
|
|
<axsl:text> </axsl:text>
|
|
<xsl:apply-templates mode="text"/>
|
|
<axsl:text> </axsl:text>
|
|
</xsl:template>
|
|
|
|
<xsl:template name="process-dir">
|
|
<xsl:param name="value" />
|
|
|
|
<!-- We generate too much whitespace rather than risking concatenation -->
|
|
<axsl:text> </axsl:text>
|
|
<xsl:apply-templates mode="inline-text"/>
|
|
<axsl:text> </axsl:text>
|
|
</xsl:template>
|
|
|
|
<xsl:template name="process-emph">
|
|
<!-- We generate too much whitespace rather than risking concatenation -->
|
|
<axsl:text> </axsl:text>
|
|
<xsl:apply-templates mode="inline-text"/>
|
|
<axsl:text> </axsl:text>
|
|
</xsl:template>
|
|
|
|
<xsl:template name="process-name">
|
|
<xsl:param name="name"/>
|
|
|
|
<!-- We generate too much whitespace rather than risking concatenation -->
|
|
<axsl:text> </axsl:text>
|
|
<axsl:value-of select="{$name}"/>
|
|
<axsl:text> </axsl:text>
|
|
|
|
</xsl:template>
|
|
|
|
<xsl:template name="process-ns" >
|
|
<!-- Note that process-ns is for reporting. The sch:ns elements are
|
|
independently used in the sch:schema template to provide namespace bindings -->
|
|
<xsl:param name="prefix"/>
|
|
<xsl:param name="uri" />
|
|
</xsl:template>
|
|
|
|
<xsl:template name="process-p">
|
|
<xsl:param name="id" />
|
|
<xsl:param name="class" />
|
|
<xsl:param name="icon" />
|
|
<xsl:param name="lang" />
|
|
</xsl:template>
|
|
|
|
<xsl:template name="process-pattern">
|
|
<xsl:param name="id" />
|
|
<xsl:param name="name" />
|
|
<xsl:param name="is-a" />
|
|
|
|
<!-- "Rich" parameters -->
|
|
<xsl:param name="fpi" />
|
|
<xsl:param name="icon" />
|
|
<xsl:param name="lang" />
|
|
<xsl:param name="see" />
|
|
<xsl:param name="space" />
|
|
</xsl:template>
|
|
|
|
|
|
<xsl:template name="process-rule">
|
|
<xsl:param name="context" />
|
|
|
|
<xsl:param name="id" />
|
|
<xsl:param name="flag" />
|
|
|
|
<!-- "Linkable" parameters -->
|
|
<xsl:param name="role"/>
|
|
<xsl:param name="subject"/>
|
|
|
|
<!-- "Rich" parameters -->
|
|
<xsl:param name="fpi" />
|
|
<xsl:param name="icon" />
|
|
<xsl:param name="lang" />
|
|
<xsl:param name="see" />
|
|
<xsl:param name="space" />
|
|
</xsl:template>
|
|
|
|
<xsl:template name="process-span" >
|
|
<xsl:param name="class" />
|
|
|
|
<!-- We generate too much whitespace rather than risking concatenation -->
|
|
<axsl:text> </axsl:text>
|
|
<xsl:apply-templates mode="inline-text"/>
|
|
<axsl:text> </axsl:text>
|
|
</xsl:template>
|
|
|
|
<xsl:template name="process-title" >
|
|
<xsl:param name="class" />
|
|
<xsl:call-template name="process-p">
|
|
<xsl:with-param name="class">title</xsl:with-param>
|
|
</xsl:call-template>
|
|
</xsl:template>
|
|
|
|
<xsl:template name="process-schema-title" >
|
|
<xsl:param name="class" />
|
|
<xsl:call-template name="process-title">
|
|
<xsl:with-param name="class">schema-title</xsl:with-param>
|
|
</xsl:call-template>
|
|
</xsl:template>
|
|
|
|
<xsl:template name="process-value-of">
|
|
<xsl:param name="select"/>
|
|
|
|
<!-- We generate too much whitespace rather than risking concatenation -->
|
|
<axsl:text> </axsl:text>
|
|
<axsl:value-of select="{$select}"/>
|
|
<axsl:text> </axsl:text>
|
|
</xsl:template>
|
|
|
|
<!-- default output action: the simplest customization is to just override this -->
|
|
<xsl:template name="process-message">
|
|
<xsl:param name="pattern" />
|
|
<xsl:param name="role" />
|
|
|
|
<xsl:apply-templates mode="text"/>
|
|
<xsl:if test=" $message-newline = 'true'" >
|
|
<axsl:value-of select="string(' ')"/>
|
|
</xsl:if>
|
|
|
|
</xsl:template>
|
|
</xsl:stylesheet>
|
|
|
|
|
|
|