SAXONICA

Saxon Documentation
Full Contents
About Saxon
Changes in this Release
| Version 8.6.1 (24 November 2005)
| Version 8.6 (3 November 2005)
| Version 8.5.1 (26 August 2005)
| Version 8.5 (2 August 2005)
| Version 8.4 (4 April 2005)
| Version 8.3 (11 February 2005)
» | Version 8.2 (21 December 2004)
| Version 8.1.1 (8 October 2004)
| Version 8.1 (24 September 2004)
| Version 8.0 (1 June 2004)
Conditions of Use
Using XSLT 2.0
Using XQuery
Handling Source Documents
XML Schema Processing
The XPath API
Standards Conformance
Extensibility
Saxon Extensions
Sample Saxon Applications
The Saxon SQL Extension
XSLT Elements
XPath 2.0 Expression Syntax
Function Library
XSLT Patterns

# Changes to Schema Processing

Both in XQuery and XSLT, Saxon now does a lot more static checking of the stylesheet/query against the schema. Providing that constructed elements are validated, and that the names of elements and attributes are known statically, Saxon checks statically that elements and attributes used to construct the content of an element whose type is known are permitted within the content model of the containing element. If the value of an element or attribute is given as a constant string, Saxon also checks that the string is valid for the type of that element or attribute. This is by no means a complete static check (for example there is no check that elements are output in the correct order or that mandatory elements/attributes are present) but it enables many errors to be detected at compile time that would otherwise be found only by validating the result tree during or after construction.

Note that this only works if the type of constructed elements is declared, using the `validate` expression in XQuery or the `[xsl:]validation` and `[xsl:]type` attributes in XSLT.

Restrictions on the use of namespace-sensitive values (QNames and NOTATIONs) have been removed. These values may now be freely used as fixed values, default values, and enumeration values, and they may appear in lists and unions.

Note that if a QName is used as a default value, the value that is added to a source document is the lexical value specified in the schema document. No attempt is made to ensure that the relevant namespace prefix is declared in the source document. The XML Schema specification does not make it clear what is supposed to happen here, and the problem is better avoided.

The implementation actually defers the checking of namespace prefixes until the full namespace context in the result tree is known. A consequence of this is that if a QName-validated attribute is added to an element that specifies validate="strip", the type annotation may be removed before the prefix of the QName is ever checked.

There has been a significant reorganisation of the class hierarchy for classes holding type information. There is now a hierarchy of interfaces representing the upper levels of the XML Schema type hierarchy (as modified by XPath): this includes `SchemaType` with subtypes `ComplexType` and `SimpleType`, and various other interfaces such as `AtomicType`. There are separate implementations of these interfaces for built-in types (available in Saxon-B) and for user-defined types (available only in Saxon-SA). This has enabled a cleaner structure to the two packages, with less tendency for schema-aware code to clutter the non-schema-aware product, and less need for artificial marker interfaces.

In the schema data model, an `AttributeUse` is now distinguished from an `AttributeDecl`. For a global attribute declaration, all the information is in an `AttributeDecl`; for an attribute reference of the form <xs:attribute ref="x"> all the information is in an `AttributeUse`; for a locally-declared attribute (the most common case) the information is divided between an `AttributeDecl` and an `AttributeUse`. This brings the Saxon model closer to the schema component model described in the W3C specification.

Similarly, an `ElementParticle` is now distinguished from an `ElementDecl`. For a locally-declared element, there will be one `ElementParticle` and one `ElementDecl`.

Next