forked from amazingfate/loongoffice
a09ed7100e
These are needed to invoke the ODF validator with custom ODF schemas. Change-Id: I231b5d8a8573e9ac6171a331362a31aceae08d80 Reviewed-on: https://gerrit.libreoffice.org/56399 Tested-by: Jenkins Reviewed-by: Thorsten Behrens <Thorsten.Behrens@CIB.de>
237 lines
6.0 KiB
XML
237 lines
6.0 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<xs:schema
|
|
xmlns:xs="http://www.w3.org/2001/XMLSchema"
|
|
xmlns="http://www.w3.org/1998/Math/MathML"
|
|
targetNamespace="http://www.w3.org/1998/Math/MathML"
|
|
elementFormDefault="qualified"
|
|
>
|
|
|
|
<xs:annotation>
|
|
<xs:documentation>
|
|
This is an XML Schema module for the part of content MathML dealing with
|
|
sets and lists.
|
|
Author: Stéphane Dalmas, INRIA.
|
|
</xs:documentation>
|
|
</xs:annotation>
|
|
|
|
<!-- "set" -->
|
|
|
|
<!-- "type" could be "multiset" or "normal" or anything else -->
|
|
<xs:attributeGroup name="set.attlist">
|
|
<xs:attribute name="type" type="xs:string"/>
|
|
<xs:attributeGroup ref="Common.attrib"/>
|
|
</xs:attributeGroup>
|
|
|
|
<xs:group name="set.content">
|
|
<xs:sequence>
|
|
<xs:group ref="Content-expr.class"/>
|
|
</xs:sequence>
|
|
</xs:group>
|
|
|
|
<xs:complexType name="set.type">
|
|
<xs:group ref="set.content" minOccurs="0" maxOccurs="unbounded"/>
|
|
<xs:attributeGroup ref="set.attlist"/>
|
|
</xs:complexType>
|
|
|
|
<xs:element name="set" type="set.type"/>
|
|
|
|
<!-- "list" -->
|
|
|
|
<xs:attributeGroup name="list.attlist">
|
|
<xs:attribute name="order">
|
|
<xs:simpleType>
|
|
<xs:restriction base="xs:string">
|
|
<xs:enumeration value="lexicographic"/>
|
|
<xs:enumeration value="numeric"/>
|
|
</xs:restriction>
|
|
</xs:simpleType>
|
|
</xs:attribute>
|
|
<xs:attributeGroup ref="Common.attrib"/>
|
|
</xs:attributeGroup>
|
|
|
|
<xs:group name="list.content">
|
|
<xs:sequence>
|
|
<xs:group ref="Content-expr.class"/>
|
|
</xs:sequence>
|
|
</xs:group>
|
|
|
|
<xs:complexType name="list.type">
|
|
<xs:group ref="list.content" minOccurs="0" maxOccurs="unbounded"/>
|
|
<xs:attributeGroup ref="list.attlist"/>
|
|
</xs:complexType>
|
|
|
|
<xs:element name="list" type="list.type"/>
|
|
|
|
<!-- "union" -->
|
|
|
|
<xs:attributeGroup name="union.attlist">
|
|
<xs:attributeGroup ref="Definition.attrib"/>
|
|
<xs:attributeGroup ref="Common.attrib"/>
|
|
</xs:attributeGroup>
|
|
|
|
<xs:complexType name="union.type">
|
|
<xs:attributeGroup ref="union.attlist"/>
|
|
</xs:complexType>
|
|
|
|
<xs:element name="union" type="union.type"/>
|
|
|
|
<!-- "intersect" -->
|
|
|
|
<xs:attributeGroup name="intersect.attlist">
|
|
<xs:attributeGroup ref="Definition.attrib"/>
|
|
<xs:attributeGroup ref="Common.attrib"/>
|
|
</xs:attributeGroup>
|
|
|
|
<xs:complexType name="intersect.type">
|
|
<xs:attributeGroup ref="intersect.attlist"/>
|
|
</xs:complexType>
|
|
|
|
<xs:element name="intersect" type="intersect.type"/>
|
|
|
|
<!-- "in" -->
|
|
|
|
<xs:attributeGroup name="in.attlist">
|
|
<xs:attributeGroup ref="Definition.attrib"/>
|
|
<xs:attributeGroup ref="Common.attrib"/>
|
|
</xs:attributeGroup>
|
|
|
|
<xs:complexType name="in.type">
|
|
<xs:attributeGroup ref="in.attlist"/>
|
|
</xs:complexType>
|
|
|
|
<xs:element name="in" type="in.type"/>
|
|
|
|
<!-- "notin" -->
|
|
|
|
<xs:attributeGroup name="notin.attlist">
|
|
<xs:attributeGroup ref="Definition.attrib"/>
|
|
<xs:attributeGroup ref="Common.attrib"/>
|
|
</xs:attributeGroup>
|
|
|
|
<xs:complexType name="notin.type">
|
|
<xs:attributeGroup ref="notin.attlist"/>
|
|
</xs:complexType>
|
|
|
|
<xs:element name="notin" type="notin.type"/>
|
|
|
|
<!-- "subset" -->
|
|
|
|
<xs:attributeGroup name="subset.attlist">
|
|
<xs:attributeGroup ref="Definition.attrib"/>
|
|
<xs:attributeGroup ref="Common.attrib"/>
|
|
</xs:attributeGroup>
|
|
|
|
<xs:complexType name="subset.type">
|
|
<xs:attributeGroup ref="subset.attlist"/>
|
|
</xs:complexType>
|
|
|
|
<xs:element name="subset" type="subset.type"/>
|
|
|
|
<!-- "prsubset" -->
|
|
|
|
<xs:attributeGroup name="prsubset.attlist">
|
|
<xs:attributeGroup ref="Definition.attrib"/>
|
|
<xs:attributeGroup ref="Common.attrib"/>
|
|
</xs:attributeGroup>
|
|
|
|
<xs:complexType name="prsubset.type">
|
|
<xs:attributeGroup ref="prsubset.attlist"/>
|
|
</xs:complexType>
|
|
|
|
<xs:element name="prsubset" type="prsubset.type"/>
|
|
|
|
<!-- "notsubset" -->
|
|
|
|
<xs:attributeGroup name="notsubset.attlist">
|
|
<xs:attributeGroup ref="Definition.attrib"/>
|
|
<xs:attributeGroup ref="Common.attrib"/>
|
|
</xs:attributeGroup>
|
|
|
|
<xs:complexType name="notsubset.type">
|
|
<xs:attributeGroup ref="notsubset.attlist"/>
|
|
</xs:complexType>
|
|
|
|
<xs:element name="notsubset" type="notsubset.type"/>
|
|
|
|
<!-- "notprsubset" -->
|
|
|
|
<xs:attributeGroup name="notprsubset.attlist">
|
|
<xs:attributeGroup ref="Definition.attrib"/>
|
|
<xs:attributeGroup ref="Common.attrib"/>
|
|
</xs:attributeGroup>
|
|
|
|
<xs:complexType name="notprsubset.type">
|
|
<xs:attributeGroup ref="notprsubset.attlist"/>
|
|
</xs:complexType>
|
|
|
|
<xs:element name="notprsubset" type="notprsubset.type"/>
|
|
|
|
<!-- "setdiff" -->
|
|
|
|
<xs:attributeGroup name="setdiff.attlist">
|
|
<xs:attributeGroup ref="Definition.attrib"/>
|
|
<xs:attributeGroup ref="Common.attrib"/>
|
|
</xs:attributeGroup>
|
|
|
|
<xs:complexType name="setdiff.type">
|
|
<xs:attributeGroup ref="setdiff.attlist"/>
|
|
</xs:complexType>
|
|
|
|
<xs:element name="setdiff" type="setdiff.type"/>
|
|
|
|
<!-- "card" -->
|
|
|
|
<xs:attributeGroup name="card.attlist">
|
|
<xs:attributeGroup ref="Definition.attrib"/>
|
|
<xs:attributeGroup ref="Common.attrib"/>
|
|
</xs:attributeGroup>
|
|
|
|
<xs:complexType name="card.type">
|
|
<xs:attributeGroup ref="card.attlist"/>
|
|
</xs:complexType>
|
|
|
|
<xs:element name="card" type="card.type"/>
|
|
|
|
<!-- "cartesianproduct" -->
|
|
|
|
<xs:attributeGroup name="cartesianproduct.attlist">
|
|
<xs:attributeGroup ref="Definition.attrib"/>
|
|
<xs:attributeGroup ref="Common.attrib"/>
|
|
</xs:attributeGroup>
|
|
|
|
<xs:complexType name="cartesianproduct.type">
|
|
<xs:attributeGroup ref="cartesianproduct.attlist"/>
|
|
</xs:complexType>
|
|
|
|
<xs:element name="cartesianproduct" type="cartesianproduct.type"/>
|
|
|
|
<!-- And the group of everything -->
|
|
|
|
<xs:group name="Content-sets.class">
|
|
<xs:choice>
|
|
<xs:element ref="set"/>
|
|
<xs:element ref="list"/>
|
|
<xs:element ref="union"/>
|
|
<xs:element ref="intersect"/>
|
|
<xs:element ref="in"/>
|
|
<xs:element ref="notin"/>
|
|
<xs:element ref="subset"/>
|
|
<xs:element ref="prsubset"/>
|
|
<xs:element ref="notsubset"/>
|
|
<xs:element ref="notprsubset"/>
|
|
<xs:element ref="setdiff"/>
|
|
<xs:element ref="card"/>
|
|
<xs:element ref="cartesianproduct"/>
|
|
</xs:choice>
|
|
</xs:group>
|
|
|
|
</xs:schema>
|
|
|
|
<!--
|
|
Copyright û 2002 World Wide Web Consortium, (Massachusetts Institute
|
|
of Technology, Institut National de Recherche en Informatique et en
|
|
Automatique, Keio University). All Rights Reserved. See
|
|
http://www.w3.org/Consortium/Legal/.
|
|
-->
|