schema/mathml2/content/calculus.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 calculus operators of content
  13   MathML.
  14   Author: St&#233;phane Dalmas, INRIA.
  15   </xs:documentation>
  16 </xs:annotation>
  17
  18 <!-- "int" -->
  19
  20 <xs:attributeGroup name="int.attlist">
  21   <xs:attributeGroup ref="Definition.attrib"/>
  22   <xs:attributeGroup ref="Common.attrib"/>
  23 </xs:attributeGroup>
  24
  25 <xs:complexType name="int.type">
  26   <xs:attributeGroup ref="int.attlist"/>
  27 </xs:complexType>
  28
  29 <xs:element name="int" type="int.type"/>
  30
  31 <!-- "diff" -->
  32
  33 <xs:attributeGroup name="diff.attlist">
  34   <xs:attributeGroup ref="Definition.attrib"/>
  35   <xs:attributeGroup ref="Common.attrib"/>
  36 </xs:attributeGroup>
  37
  38 <xs:complexType name="diff.type">
  39   <xs:attributeGroup ref="diff.attlist"/>
  40 </xs:complexType>
  41
  42 <xs:element name="diff" type="diff.type"/>
  43
  44 <!-- "partialdiff" -->
  45
  46 <xs:attributeGroup name="partialdiff.attlist">
  47   <xs:attributeGroup ref="Definition.attrib"/>
  48   <xs:attributeGroup ref="Common.attrib"/>
  49 </xs:attributeGroup>
  50
  51 <xs:complexType name="partialdiff.type">
  52   <xs:attributeGroup ref="partialdiff.attlist"/>
  53 </xs:complexType>
  54
  55 <xs:element name="partialdiff" type="partialdiff.type"/>
  56
  57 <!-- "limit" -->
  58
  59 <xs:attributeGroup name="limit.attlist">
  60   <xs:attributeGroup ref="Definition.attrib"/>
  61   <xs:attributeGroup ref="Common.attrib"/>
  62 </xs:attributeGroup>
  63
  64
  65 <xs:complexType name="limit.type">
  66   <xs:attributeGroup ref="limit.attlist"/>
  67 </xs:complexType>
  68
  69 <xs:element name="limit" type="limit.type"/>
  70
  71 <!-- "lowlimit" -->
  72
  73 <xs:attributeGroup name="lowlimit.attlist">
  74   <xs:attributeGroup ref="Definition.attrib"/>
  75   <xs:attributeGroup ref="Common.attrib"/>
  76 </xs:attributeGroup>
  77
  78 <xs:group name="lowlimit.content">
  79   <xs:sequence>
  80     <xs:group ref="Content-expr.class"/>
  81   </xs:sequence>
  82 </xs:group>
  83
  84 <xs:complexType name="lowlimit.type">
  85   <xs:group ref="lowlimit.content"  minOccurs="1" maxOccurs="unbounded"/>
  86   <xs:attributeGroup ref="lowlimit.attlist"/>
  87 </xs:complexType>
  88
  89 <xs:element name="lowlimit" type="lowlimit.type"/>
  90
  91 <!-- "uplimit" -->
  92
  93 <xs:attributeGroup name="uplimit.attlist">
  94   <xs:attributeGroup ref="Definition.attrib"/>
  95   <xs:attributeGroup ref="Common.attrib"/>
  96 </xs:attributeGroup>
  97
  98 <xs:group name="uplimit.content">
  99   <xs:sequence>
 100     <xs:group ref="Content-expr.class"/>
 101   </xs:sequence>
 102 </xs:group>
 103
 104 <xs:complexType name="uplimit.type">
 105   <xs:group ref="uplimit.content"  minOccurs="1" maxOccurs="unbounded"/>
 106   <xs:attributeGroup ref="uplimit.attlist"/>
 107 </xs:complexType>
 108
 109 <xs:element name="uplimit" type="uplimit.type"/>
 110
 111 <!-- "tendsto" -->
 112
 113 <xs:attributeGroup name="tendsto.attlist">
 114   <xs:attribute name="type" type="xs:string"/>
 115   <xs:attributeGroup ref="Definition.attrib"/>
 116   <xs:attributeGroup ref="Common.attrib"/>
 117 </xs:attributeGroup>
 118
 119
 120 <xs:complexType name="tendsto.type">
 121   <xs:attributeGroup ref="tendsto.attlist"/>
 122 </xs:complexType>
 123
 124 <xs:element name="tendsto" type="tendsto.type"/>
 125
 126 <!-- And the group of everything -->
 127
 128 <xs:group name="Content-calculus.class">
 129   <xs:choice>
 130     <xs:element ref="int"/>
 131     <xs:element ref="diff"/>
 132     <xs:element ref="partialdiff"/>
 133     <xs:element ref="limit"/>
 134     <xs:element ref="lowlimit"/>
 135     <xs:element ref="uplimit"/>
 136     <xs:element ref="tendsto"/>
 137   </xs:choice>
 138 </xs:group>
 139
 140 </xs:schema>
 141 <!--
 142   Copyright &#251; 2002 World Wide Web Consortium, (Massachusetts Institute
 143   of Technology, Institut National de Recherche en Informatique et en
 144   Automatique, Keio University). All Rights Reserved. See
 145   http://www.w3.org/Consortium/Legal/.
 146   -->