W3C XML Schema Definition Language (XSD) 1.1 Part 1: Structures

the appropriate case among the following:

1 If the {base type definition} is a complex type definition whose own {content type} has {variety} simple and the <restriction> alternative is chosen, then starting from either

1.1 the simple type definition corresponding to the <simpleType> among the [children] of <restriction> if there is one;

1.2 otherwise (<restriction> has no <simpleType> among its [children]), the simple type definition which is the {simple type definition} of the {content type} of the {base type definition}

a simple type definition which restricts the simple type definition identified in clause 1.1 or clause 1.2 with a set of facet components corresponding to the appropriate element information items among the <restriction>'s [children] (i.e. those which specify facets, if any), as defined in Simple Type Restriction (Facets) (§3.16.6.4);

2 If the {base type definition} is a complex type definition whose own {content type} has {variety} mixed and {particle} a Particle which is ·emptiable·, as defined in Particle Emptiable (§3.9.6.3) and the <restriction> alternative is chosen, then (let S_B be the simple type definition corresponding to the <simpleType> among the [children] of <restriction> if any, otherwise ·xs:anySimpleType·) a simple type definition which restricts S_B with a set of facet components corresponding to the appropriate element information items among the <restriction>'s [children] (i.e. those which specify facets, if any), as defined in Simple Type Restriction (Facets) (§3.16.6.4);

Note: If there is no <simpleType> among the [children] of <restriction> (and if therefore S_B is ·xs:anySimpleType·), the result will be a simple type definition component which fails to obey the constraints on simple type definitions, including for example clause 1.1 of Derivation Valid (Restriction, Simple) (§3.16.6.2).

3 If the {base type definition} is a complex type definition whose own {content type} has {variety} simple and the <extension> alternative is chosen, then the {simple type definition} of the {content type} of that complex type definition;

4 If the {base type definition} is a simple type definition and the <extension> alternative is chosen, then that simple type definition;

5 otherwise ·xs:anySimpleType·.

3.4.2.3 Mapping Rules for Complex Types with Complex Content

When the <complexType> element does not have a <simpleContent> child element, then it maps to a complex type with complex content. The following elements are relevant (as are the <attribute>, <attributeGroup>, and <anyAttribute> elements, not repeated here), and the additional property mappings are as below, supplemented by the mappings in Common Mapping Rules for Complex Type Definitions (§3.4.2.1), Mapping Rule for Attribute Uses Property (§3.4.2.4), and Mapping Rule for Attribute Wildcard Property (§3.4.2.5). Note that either <restriction> or <extension> must appear in the content of <complexContent>, but their content models are different in this case from the case above when they occur as children of <simpleContent>.

XML Representation Summary: complexContent Element Information Item et al.

<complexContent
  id = ID
  mixed = boolean
  {any attributes with non-schema namespace . . .}>
  Content: (annotation?, (restriction | extension))
</complexContent>

<restriction
  base = QName
  id = ID
  {any attributes with non-schema namespace . . .}>
  Content: (annotation?, openContent?, (group | all | choice | sequence)?, ((attribute | attributeGroup)*, anyAttribute?), assert*)
</restriction>

<extension
  base = QName
  id = ID
  {any attributes with non-schema namespace . . .}>
  Content: (annotation?, openContent?, ((group | all | choice | sequence)?, ((attribute | attributeGroup)*, anyAttribute?), assert*))
</extension>

<openContent
  id = ID
  mode = (none | interleave | suffix) : interleave
  {any attributes with non-schema namespace . . .}>
  Content: (annotation?, any?)
</openContent>

Complex types with complex content can be the image of two different forms of <complexType> element: one with a <complexContent> child (discussed in Mapping Rules for Complex Types with Explicit Complex Content (§3.4.2.3.1)), and one with neither <simpleContent> nor <complexContent> as a child (discussed in Mapping Rules for Complex Types with Implicit Complex Content (§3.4.2.3.2)). The mapping of the {content type} is the same in both cases; it is described in Mapping Rules for Content Type Property of Complex Content (§3.4.2.3.3).

3.4.2.3.1 Mapping Rules for Complex Types with Explicit Complex Content

When the <complexType> source declaration has a <complexContent> child, the following mappings apply, supplemented by those specified in Mapping Rules for Content Type Property of Complex Content (§3.4.2.3.3), Common Mapping Rules for Complex Type Definitions (§3.4.2.1), Mapping Rule for Attribute Uses Property (§3.4.2.4), and Mapping Rule for Attribute Wildcard Property (§3.4.2.5).

XML Mapping Summary for Complex Type Definition with complex content Schema Component

Property

Representation

{base type definition}

The type definition ·resolved· to by the ·actual value· of the base [attribute]

{derivation method}

If the <restriction> alternative is chosen, then restriction, otherwise (the <extension> alternative is chosen) extension.

3.4.2.3.2 Mapping Rules for Complex Types with Implicit Complex Content

When the <complexType> source declaration has neither <simpleContent> nor <complexContent> as a child, it is taken as shorthand for complex content restricting ·xs:anyType·. The mapping rules specific to this situation are as follows; the mapping rules for properties not described here are as given in Mapping Rules for Content Type Property of Complex Content (§3.4.2.3.3), Common Mapping Rules for Complex Type Definitions (§3.4.2.1), Mapping Rule for Attribute Uses Property (§3.4.2.4), and Mapping Rule for Attribute Wildcard Property (§3.4.2.5).

XML Mapping Summary for Complex Type Definition with complex content Schema Component

Property

Representation

{base type definition}

·xs:anyType·

{derivation method}

restriction

3.4.2.3.3 Mapping Rules for Content Type Property of Complex Content

For complex types with complex content, the {content type} property is calculated as follows. (For the {content type} on complex types with simple content, see Mapping Rules for Complex Types with Simple Content (§3.4.2.2).)

Note: The mapping rule below refers here and there to elements not necessarily present within a <complexType> source declaration. For purposes of evaluating tests like "If the abc attribute is present on the xyz element", if no xyz element information item is present, then no abc attribute is present on the (non-existent) xyz element.

When the mapping rule below refers to "the [children]", then for a <complexType> source declaration with a <complexContent> child, then the [children] of <extension> or <restriction> (whichever appears as a child of <complexContent>) are meant. If no <complexContent> is present, then the [children] of the <complexType> source declaration itself are meant.

The mapping rule also refers to the value of the {derivation method} property, whose value is determined as specified in the preceding sections.

XML Mapping Summary for Complex Type Definition with complex content Schema Component

Property

Representation

{content type}

1 [Definition:] Let the effective mixed be the appropriate case among the following:

1.1 If the mixed [attribute] is present on <complexContent>, then its ·actual value·;

1.2 If the mixed [attribute] is present on <complexType>, then its ·actual value·;

1.3 otherwise false.

Note: It is a consequence of clause 4 of Complex Type Definition Representation OK (§3.4.3) that clause 1.1 and clause 1.2 above will never contradict each other in a conforming schema document.

2 [Definition:] Let the explicit content be the appropriate case among the following:

2.1 If at least one of the following is true

2.1.1 There is no <group>, <all>, <choice> or <sequence> among the [children];

2.1.2 There is an <all> or <sequence> among the [children] with no [children] of its own excluding <annotation>;

2.1.3 There is a <choice> among the [children] whose minOccurs [attribute] has the ·actual value· 0 and which has no [children] of its own except for <annotation>;

2.1.4 The <group>, <all>, <choice> or <sequence> element among the [children] has a maxOccurs [attribute] with an ·actual value· of 0;

then empty

2.2 otherwise the particle corresponding to the <all>, <choice>, <group> or <sequence> among the [children].

3 [Definition:] Let the effective content be the appropriate case among the following:

3.1 If the ·explicit content· is empty , then the appropriate case among the following:

3.1.1 If the ·effective mixed· is true, then A particle whose properties are as follows:

Property

Value

a model group whose {compositor} is sequence and whose {particles} is empty.

3.1.2 otherwise empty

3.2 otherwise the ·explicit content·.

4 [Definition:] Let the explicit content type be the appropriate case among the following:

4.1 If {derivation method} = restriction, then the appropriate case among the following:

4.1.1 If the ·effective content· is empty , then a Content Type as follows:

Property

Value

empty

4.1.2 otherwise a Content Type as follows:

Property

Value

mixed if the ·effective mixed· is true, otherwise element-only

The ·effective content·

4.2 If {derivation method} = extension, then the appropriate case among the following:

4.2.1 If the {base type definition} is a simple type definition or is a complex type definition whose {content type}.{variety} = empty or simple, then a Content Type as per clause 4.1.1 and clause 4.1.2 above;

4.2.2 If the {base type definition} is a complex type definition whose {content type}.{variety} = element-only or mixed and the ·effective content· is empty, then {base type definition}.{content type};

4.2.3 otherwise a Content Type as follows:

Property

Value

mixed if the ·effective mixed· is true, otherwise element-only

[Definition:] Let the base particle be the particle of the {content type} of the {base type definition}. Then the appropriate case among the following:

4.2.3.1 If the {term} of the ·base particle· has {compositor} all and the ·explicit content· is empty, then the ·base particle·.

4.2.3.2 If the {term} of the ·base particle· has {compositor} all and the {term} of the ·effective content· also has {compositor} all, then a Particle whose properties are as follows:

the {min occurs} of the ·effective content·.

1

a model group whose {compositor} is all and whose {particles} are the {particles} of the {term} of the ·base particle· followed by the {particles} of the {term} of the ·effective content·.

4.2.3.3 otherwise

1

1

a model group whose {compositor} is sequence and whose {particles} are the ·base particle· followed by the ·effective content·.

the {open content} of the {content type} of the {base type definition}.

5 [Definition:] Let the wildcard element be the appropriate case among the following:

5.1 If the <openContent> [child] is present , then the <openContent> [child].

5.2 If the <openContent> [child] is not present, the <schema> ancestor has a <defaultOpenContent> [child], and one of the following is true

5.2.1 the ·explicit content type· has {variety} ≠ empty

5.2.2 the ·explicit content type· has {variety} = empty and the <defaultOpenContent> element has appliesToEmpty = true

then the <defaultOpenContent> [child] of the <schema>.

5.3 otherwise ·absent·.

6 Then the value of the property is the appropriate case among the following:

6.1 If the ·wildcard element· is ·absent· ↑or is present and has mode = 'none'↑ , then the ·explicit content type·.

↓

6.2 If the ·wildcard element· is present and has mode = 'none' , then a Content Type as follows:

Property

Value

The {variety} of the ·explicit content type·

The {particle} of the ·explicit content type·

·absent·

·absent·

↓

6.3 otherwise

Property

Value

The {variety} of the ·explicit content type· if it's not empty; otherwise element-only.

The {particle} of the ·explicit content type· if the {variety} of the ·explicit content type· is not empty; otherwise a Particle as follows:

Property

Value

a model group whose {compositor} is sequence and whose {particles} is empty.

An Open Content as follows:

Property

Value

{mode}

The ·actual value· of the mode [attribute] of the ·wildcard element·, if present, otherwise interleave.

{wildcard}

↓A↓ ↑Let W be the↑ wildcard corresponding to the <any> [child] of the ·wildcard element·. ↑If the {open content} of the ·explicit content type· is ·absent·, then W; otherwise a wildcard whose {process contents} and {annotations} are those of W, and whose {namespace constraint} is the wildcard union of the {namespace constraint} of W and of {open content}.{wildcard} of the ·explicit content type·, as defined in Attribute Wildcard Union (§3.10.6.3).↑