]> This Schematron schema tests most structural constraints of the December 1999 Working Draft for XML Schema Structures and Datatypes, including the relationships between attribute values and allowed content. The deficiencies are: 1) not fully tested yet, 2) not namespace-aware (you will have to remove xmlns="..." from all schema files, the main and any that are included or imported, otherwise it will not work), 3) only subtyping the builtin types is checked thoroughly. If you use this, please report errors or improvements or more helpful asserts to ricko@gate.sinica.edu.tw. If you are using this over a slow modem connection and the schema user include or import over http, then comment out the reports or asserts which include tests of document() in them. This may not be an error, but typically the top level element will be 'schema'. A schema element can contain the following elements: first any mix and number of include, import and annotation; then any mix and number of datatype, type, element, group, notation, attributeGroup, unique, key and keyref. The element can only have the following attributes: targetNamespace, version, xmlns, finalDefault or exactDefault. The extendableDefault attribute on a element can only be 'true' or 'false'. (Hint: check the spelling and case.) An element may only appear in an annotation element. An element may only have a source attribute. An annotation is only expected inside any of the following elements: schema, type, restrictions, element, attribute, group, attributeGroup, datatype or the facets of datatypes: &facet; The element must be a child of type or restrictions or group The class element cannot contain subelements. The element can only have the following attributes: maxOccurs, minOccurs, namespace. The element must be a child of type or restrictions or attributeGroup. The element cannot contain subelements. The element can have a namespace attribute. The element must be a child of asttrGroup or type or restrictions. The element can contain and optional annotation element followed by an optional datatype element. The element can only have the following attributes: name, type minOccurs, maxOccurs, default, fixed. In the element, the attribute default should not be used if the attribute fixed is used. In the element, the datatype subelement cannot be specified if the value of the attribute type is 'attr'. The element must be a child of schema or type or restrictions or attributeGroup. The element can contain an optional 'annotation' elemment; then 'attribute' or 'attributeGroup' in any mix and number; and then an optional final 'anyAttribute' element. The element cannot have more than one subelement anyAttribute. The element cannot have more than one subelement annotation. The element can only have the following attributes: name, ref. >In the element, the ref attribute should not be used if the name subelement is used or if the element has content. A datatype element can only have annotation or facet children. In a element, an annotation element must come before any facets. The element must have a source attribute. The facet element can only appear in a datatype or restrictions element. The element can only contain an annotation element. The element must have a value attribute. The abstract attribute on a element can only be 'true' or 'false'. (Hint: check the spelling and case.) The final attribute on a element can only be 'restriction' or 'extension' or '#all'. (Hint: check the spelling and case.) The element can only have the following attributes: abstract, final, name, source and value. The element cannot be repeated within a single datatype. The element must have a 'value' attribute. In the element , the name of a datatype must be unique among the datatypes defined in the surrounding schema. In the element , the name specified must be the name of a datatype in the schema in which the user-generated datatype is defined. A datatype element with a source value of string can only have the following contents: annotation | minExclusive | maxExclusive | minInclusive | maxInclusive | pattern. A datatype element with a source value of boolean can only have the following contents: annotation. A datatype element with a source value of float can only have the following contents: annotation | &facet-i;. A datatype element with a source value of double can only have the following contents: annotation | &facet-i;. A datatype element with a source value of decimal can only have the following contents: annotation | precision | scale | &facet-i;. A datatype element with a source value of timeInstant can only have the following contents: annotation | pattern | &facet-i;. A datatype element with a source value of timeDuration can only have the following contents: annotation | &facet-i;. A datatype element with a source value of recurringInstant can only have the following contents: annotation |period | pattern | &facet-i;. A datatype element with a source value of can only have the following contents: annotation | encoding | length | maxLength |minLength. A datatype element with a source value of uri can only have the following contents: annotation | enumeration. A datatype element with a source value of language can only have the following contents: annotation | &facet-x;. A datatype element with a source value of NMTOKEN can only have the following contents: annotation | &facet-x;. A datatype element with a source value of Name can only have the following contents: annotation | &facet-x;. A datatype element with a source value of NMTOKENS can only have the following contents: annotation | &facet-x;. A datatype element with a source value of QName can only have the following contents: annotation | &facet-x;. A datatype element with a source value of NCName can only have the following contents: annotation | &facet-x;. A datatype element with a source value of ID can only have the following contents: annotation | &facet-x;. A datatype element with a source value of ENTITY can only have the following contents: annotation | &facet-x;. A datatype element with a source value of NOTATION can only have the following contents: annotation | &facet-x;. A datatype element with a source value of IDREF can only have the following contents: annotation | &facet-x;. A datatype element with a source value of IDREFS can only have the following contents: annotation | &facet-x;. A datatype element with a source value of ENTITIES can only have the following contents: annotation | &facet-x;. A datatype element with a source value of integer can only have the following contents: annotation | &facet-i;. A datatype element with a source value of non-negative-integer can only have the following contents: annotation | &facet-i;. A datatype element with a source value of non-positive-integer can only have the following contents: annotation | &facet-i;. A datatype element with a source value of positive-integer can only have the following contents: annotation | &facet-i;. A datatype element with a source value of negative-integer can only have the following contents: annotation | &facet-i;. A datatype element with a source value of date can only have the following contents: annotation | &facet-i;. A datatype element with a source value of time can only have the following contents: annotation | &facet-i;. The element can only be a child of schema or type or restrictions or group. The element can contain an optional annotation element; then the type and datatype elements, in any mix and number; then the key, unique and keyref elements, in any mix and number. The element can only have the following attributes: name, ref, type, minOccurs, maxOccurs, equivClass, default, fixed, abstract, final, nullable, exact. The element cannot have both the ref attribute and the type attribute specified at the same time. The element cannot have both the default attribute and the fixed attribute specified at the same time. The element cannot have both the ref attribute and the name attribute specified at the same time. The element must be a child of unique or key or keyref. The element cannot contain subelements. The element must contain a value. The element cannot have an attribute. The element can only be a child of schema or type or restrictions or group. The element can contain an optional 'annotation' element, followed by the 'element', 'group' and 'any' elements, in any mix and number. The element can only have the following attributes: name, ref, minOccurs, maxOccurs, order. The order attribute on a element can only be 'choice', 'seq', or 'all'. (Hint: check the spelling and case.) In the element, if the attribute order has the value all, the group sub-element is not allowed. In the element, if the attribute order has the value 'all', then the element must be at the top level of the content model. The element must be a child of schema. The element cannot contain subelements. The element can only have schemaLocation and namespace attributes. The element must have a namespace attribute. On the element the schemaLocation attribute should give the URI of an XML schema. The element must be a child of schema. The element cannot contain subelements. The element can only have a schemaLocation attribute. The element must have a schemaLocation attribute. On the element the schemaLocation attribute should give the URI of an XML schema. The element must be a child of schema or element. The element cannot contain a selector element followed by one or more field elements. The element must contain one 'selector' element. The element must contain at least one 'field' element. The element can only have the following attribute: name. The element should have a name attribute. The element must be a child of schema or element. The element cannot contain a selector element followed by one or more field elements. The element must contain one 'selector' element. The element must contain at least one 'field' element. The element can only have the following attribute: name, refer. The element should have a name attribute. The element should have a refer attribute. The element must be a child of schema The element cannot contain subelements. The element can only have the following attributes: name, public, system. The element should have a name attribute. The element should have a public attribute. The element must be a child of type. The restrictions element can contain the following elements: ; then any mix of element, group and any (if the content attribute has the value 'mixed' or 'elemOnly'); then any mix of attribute and attributeGroup; and lastly an optional anyAttribute. The element must be a child of unique or key or keyref. The element cannot contain subelements. The element must contain a value. The element cannot have an attribute. The element must be a child of restrictions. The element cannot contain subelements. The element should have no attributes. The element must be a child of schema or element. The type element can contain the following elements: an optional annotation element; then either restriction or any mix of element, group and any (if the content attribute has the value 'mixed' or 'elemOnly'); then any mix of attribute and attributeGroup; and lastly an optional anyAttribute. The element can only have the following attributes: name, content, abstract, final, exact, source, derivedBy. >The content attribute on a element can only be 'textOnly', 'mixed', 'elemOnly' or 'empty'. (Hint: check the spelling and case.) The abstract attribute on a element can only be 'true' or 'false'. (Hint: check the spelling and case.) The element can only have a restrictions subelement if the attribute derivedBy has the value 'restriction'. The same NCName must not appear in two definitions or declarations of the same type. If the attribute content on the element has the value 'textOnly', the following elements cannot be used: element, group, any. If the attribute content on the element has the value 'empty', the following elements cannot be used: element, group, any. An attribute group should not be referenced by name more than once per element. An attribute group reference should refer to an attribute group that has been defined elsewhere in the in schema. An attribute group should not refer to itself. An attribute should not be defined twice. An element cannot be declared more than once. A choice group should not have choices between the same element. A choice group should not have choices between the same element. (If this seems strange in context, please ignore this message: ambiguity is ambiguous in the XML Schema draft.> It is an error for both length and maxLength to be specified for the same datatype. It is an error for both length and minLength to be specified for the same datatype. It is an error for both minExclusive and minInclusive to the specified for the same datatype. It is an error for both minExclusive and maxInclusive to the specified for the same datatype. In the element, the value of maxOccurs must be greater or equal to the value of minOccurs. In the element, the value of maxOccurs must be greater or equal to 1 (which is the default value of maxOccurs.) In the element, the value of minOccurs must be greater or equal to 1 (which is the default value of maxOccurs. It is an error for scale to be greater-than precision.