|
|
- <?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>
-
-
-
|