schema/mathml2/content/sets.xsd

   1 <?xml version="1.0" encoding="UTF-8"?>
   2
   3 <xs:schema
   4   xmlns:xs="http://www.w3.org/2001/XMLSchema"
   5   xmlns="http://www.w3.org/1998/Math/MathML"
   6   targetNamespace="http://www.w3.org/1998/Math/MathML"
   7   elementFormDefault="qualified"
   8  >
   9
  10 <xs:annotation>
  11   <xs:documentation>
  12   This is an XML Schema module for the part of content MathML dealing with
  13   sets and lists.
  14   Author: St&#233;phane Dalmas, INRIA.
  15   </xs:documentation>
  16 </xs:annotation>
  17
  18 <!-- "set" -->
  19
  20 <!-- "type" could be "multiset" or "normal" or anything else -->
  21 <xs:attributeGroup name="set.attlist">
  22   <xs:attribute name="type" type="xs:string"/>
  23   <xs:attributeGroup ref="Common.attrib"/>
  24 </xs:attributeGroup>
  25
  26 <xs:group name="set.content">
  27   <xs:sequence>
  28      <xs:group ref="Content-expr.class"/>
  29   </xs:sequence>
  30 </xs:group>
  31
  32 <xs:complexType name="set.type">
  33   <xs:group ref="set.content"  minOccurs="0" maxOccurs="unbounded"/>
  34   <xs:attributeGroup ref="set.attlist"/>
  35 </xs:complexType>
  36
  37 <xs:element name="set" type="set.type"/>
  38
  39 <!-- "list" -->
  40
  41 <xs:attributeGroup name="list.attlist">
  42   <xs:attribute name="order">
  43     <xs:simpleType>
  44        <xs:restriction base="xs:string">
  45           <xs:enumeration value="lexicographic"/>
  46           <xs:enumeration value="numeric"/>
  47        </xs:restriction>
  48     </xs:simpleType>
  49   </xs:attribute>
  50   <xs:attributeGroup ref="Common.attrib"/>
  51 </xs:attributeGroup>
  52
  53 <xs:group name="list.content">
  54   <xs:sequence>
  55      <xs:group ref="Content-expr.class"/>
  56   </xs:sequence>
  57 </xs:group>
  58
  59 <xs:complexType name="list.type">
  60   <xs:group ref="list.content"  minOccurs="0" maxOccurs="unbounded"/>
  61   <xs:attributeGroup ref="list.attlist"/>
  62 </xs:complexType>
  63
  64 <xs:element name="list" type="list.type"/>
  65
  66 <!-- "union" -->
  67
  68 <xs:attributeGroup name="union.attlist">
  69   <xs:attributeGroup ref="Definition.attrib"/>
  70   <xs:attributeGroup ref="Common.attrib"/>
  71 </xs:attributeGroup>
  72
  73 <xs:complexType name="union.type">
  74   <xs:attributeGroup ref="union.attlist"/>
  75 </xs:complexType>
  76
  77 <xs:element name="union" type="union.type"/>
  78
  79 <!-- "intersect" -->
  80
  81 <xs:attributeGroup name="intersect.attlist">
  82   <xs:attributeGroup ref="Definition.attrib"/>
  83   <xs:attributeGroup ref="Common.attrib"/>
  84 </xs:attributeGroup>
  85
  86 <xs:complexType name="intersect.type">
  87   <xs:attributeGroup ref="intersect.attlist"/>
  88 </xs:complexType>
  89
  90 <xs:element name="intersect" type="intersect.type"/>
  91
  92 <!-- "in" -->
  93
  94 <xs:attributeGroup name="in.attlist">
  95   <xs:attributeGroup ref="Definition.attrib"/>
  96   <xs:attributeGroup ref="Common.attrib"/>
  97 </xs:attributeGroup>
  98
  99 <xs:complexType name="in.type">
 100   <xs:attributeGroup ref="in.attlist"/>
 101 </xs:complexType>
 102
 103 <xs:element name="in" type="in.type"/>
 104
 105 <!-- "notin" -->
 106
 107 <xs:attributeGroup name="notin.attlist">
 108   <xs:attributeGroup ref="Definition.attrib"/>
 109   <xs:attributeGroup ref="Common.attrib"/>
 110 </xs:attributeGroup>
 111
 112 <xs:complexType name="notin.type">
 113   <xs:attributeGroup ref="notin.attlist"/>
 114 </xs:complexType>
 115
 116 <xs:element name="notin" type="notin.type"/>
 117
 118 <!-- "subset" -->
 119
 120 <xs:attributeGroup name="subset.attlist">
 121   <xs:attributeGroup ref="Definition.attrib"/>
 122   <xs:attributeGroup ref="Common.attrib"/>
 123 </xs:attributeGroup>
 124
 125 <xs:complexType name="subset.type">
 126   <xs:attributeGroup ref="subset.attlist"/>
 127 </xs:complexType>
 128
 129 <xs:element name="subset" type="subset.type"/>
 130
 131 <!-- "prsubset" -->
 132
 133 <xs:attributeGroup name="prsubset.attlist">
 134   <xs:attributeGroup ref="Definition.attrib"/>
 135   <xs:attributeGroup ref="Common.attrib"/>
 136 </xs:attributeGroup>
 137
 138 <xs:complexType name="prsubset.type">
 139   <xs:attributeGroup ref="prsubset.attlist"/>
 140 </xs:complexType>
 141
 142 <xs:element name="prsubset" type="prsubset.type"/>
 143
 144 <!-- "notsubset" -->
 145
 146 <xs:attributeGroup name="notsubset.attlist">
 147   <xs:attributeGroup ref="Definition.attrib"/>
 148   <xs:attributeGroup ref="Common.attrib"/>
 149 </xs:attributeGroup>
 150
 151 <xs:complexType name="notsubset.type">
 152   <xs:attributeGroup ref="notsubset.attlist"/>
 153 </xs:complexType>
 154
 155 <xs:element name="notsubset" type="notsubset.type"/>
 156
 157 <!-- "notprsubset" -->
 158
 159 <xs:attributeGroup name="notprsubset.attlist">
 160   <xs:attributeGroup ref="Definition.attrib"/>
 161   <xs:attributeGroup ref="Common.attrib"/>
 162 </xs:attributeGroup>
 163
 164 <xs:complexType name="notprsubset.type">
 165   <xs:attributeGroup ref="notprsubset.attlist"/>
 166 </xs:complexType>
 167
 168 <xs:element name="notprsubset" type="notprsubset.type"/>
 169
 170 <!-- "setdiff" -->
 171
 172 <xs:attributeGroup name="setdiff.attlist">
 173   <xs:attributeGroup ref="Definition.attrib"/>
 174   <xs:attributeGroup ref="Common.attrib"/>
 175 </xs:attributeGroup>
 176
 177 <xs:complexType name="setdiff.type">
 178   <xs:attributeGroup ref="setdiff.attlist"/>
 179 </xs:complexType>
 180
 181 <xs:element name="setdiff" type="setdiff.type"/>
 182
 183 <!-- "card" -->
 184
 185 <xs:attributeGroup name="card.attlist">
 186   <xs:attributeGroup ref="Definition.attrib"/>
 187   <xs:attributeGroup ref="Common.attrib"/>
 188 </xs:attributeGroup>
 189
 190 <xs:complexType name="card.type">
 191   <xs:attributeGroup ref="card.attlist"/>
 192 </xs:complexType>
 193
 194 <xs:element name="card" type="card.type"/>
 195
 196 <!-- "cartesianproduct" -->
 197
 198 <xs:attributeGroup name="cartesianproduct.attlist">
 199   <xs:attributeGroup ref="Definition.attrib"/>
 200   <xs:attributeGroup ref="Common.attrib"/>
 201 </xs:attributeGroup>
 202
 203 <xs:complexType name="cartesianproduct.type">
 204   <xs:attributeGroup ref="cartesianproduct.attlist"/>
 205 </xs:complexType>
 206
 207 <xs:element name="cartesianproduct" type="cartesianproduct.type"/>
 208
 209 <!-- And the group of everything -->
 210
 211 <xs:group name="Content-sets.class">
 212   <xs:choice>
 213     <xs:element ref="set"/>
 214     <xs:element ref="list"/>
 215     <xs:element ref="union"/>
 216     <xs:element ref="intersect"/>
 217     <xs:element ref="in"/>
 218     <xs:element ref="notin"/>
 219     <xs:element ref="subset"/>
 220     <xs:element ref="prsubset"/>
 221     <xs:element ref="notsubset"/>
 222     <xs:element ref="notprsubset"/>
 223     <xs:element ref="setdiff"/>
 224     <xs:element ref="card"/>
 225     <xs:element ref="cartesianproduct"/>
 226   </xs:choice>
 227 </xs:group>
 228
 229 </xs:schema>
 230
 231 <!--
 232   Copyright &#251; 2002 World Wide Web Consortium, (Massachusetts Institute
 233   of Technology, Institut National de Recherche en Informatique et en
 234   Automatique, Keio University). All Rights Reserved. See
 235   http://www.w3.org/Consortium/Legal/.
 236   -->