forked from OpenMath/OMSTD
-
Notifications
You must be signed in to change notification settings - Fork 0
/
omcdsig2.xsd
54 lines (52 loc) · 2.12 KB
/
omcdsig2.xsd
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
<?xml version="1.0" encoding="UTF-8"?>
<!--
*********************************************
Relax NG Schema for OpenMath CD Signatures
*********************************************
-->
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema" elementFormDefault="qualified" targetNamespace="http://www.openmath.org/OpenMathCDS" xmlns:o="http://www.openmath.org/OpenMathCDS" xmlns:openmath="http://www.openmath.org/OpenMath">
<xs:import namespace="http://www.openmath.org/OpenMath" schemaLocation="openmath2.xsd"/>
<xs:element name="CDSComment" type="xs:string"/>
<xs:element name="CDSReviewDate" type="xs:string"/>
<xs:element name="CDSStatus">
<xs:simpleType>
<xs:restriction base="xs:token">
<xs:enumeration value="official"/>
<xs:enumeration value="experimental"/>
<xs:enumeration value="private"/>
<xs:enumeration value="obsolete"/>
</xs:restriction>
</xs:simpleType>
</xs:element>
<xs:element name="CDSignatures">
<xs:complexType>
<xs:sequence>
<xs:element minOccurs="0" maxOccurs="unbounded" ref="o:CDSComment"/>
<xs:choice minOccurs="0" maxOccurs="unbounded">
<xs:element ref="o:CDSReviewDate"/>
<xs:element ref="o:CDSStatus"/>
</xs:choice>
<xs:choice minOccurs="0" maxOccurs="unbounded">
<xs:element ref="o:CDSComment"/>
<xs:element ref="o:Signature"/>
</xs:choice>
</xs:sequence>
<xs:attributeGroup ref="o:attlist.CDSignatures"/>
</xs:complexType>
</xs:element>
<xs:attributeGroup name="attlist.CDSignatures">
<xs:attribute name="cd" use="required" type="xs:NCName"/>
<xs:attribute name="type" use="required" type="xs:NCName"/>
</xs:attributeGroup>
<xs:element name="Signature">
<xs:complexType>
<xs:sequence>
<xs:element minOccurs="0" ref="openmath:OMOBJ"/>
</xs:sequence>
<xs:attributeGroup ref="o:attlist.Signature"/>
</xs:complexType>
</xs:element>
<xs:attributeGroup name="attlist.Signature">
<xs:attribute name="name" use="required"/>
</xs:attributeGroup>
</xs:schema>