diff options
author | Michael Stahl <Michael.Stahl@cib.de> | 2018-06-22 18:20:46 +0200 |
---|---|---|
committer | Thorsten Behrens <Thorsten.Behrens@CIB.de> | 2018-06-26 12:20:31 +0200 |
commit | a09ed7100e07c0416017c06de9e22fa888377d15 (patch) | |
tree | 146739719a89a7ca98dd3fad1afe619c242fd011 /schema/mathml2/content/logic.xsd | |
parent | b88706f98b0859a40b5e50596c9fa75398c90c2f (diff) |
schema: add MathML2 XSD
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>
Diffstat (limited to 'schema/mathml2/content/logic.xsd')
-rw-r--r-- | schema/mathml2/content/logic.xsd | 53 |
1 files changed, 53 insertions, 0 deletions
diff --git a/schema/mathml2/content/logic.xsd b/schema/mathml2/content/logic.xsd new file mode 100644 index 000000000000..6dac2abe4a31 --- /dev/null +++ b/schema/mathml2/content/logic.xsd @@ -0,0 +1,53 @@ +<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 logic operators of content MathML. + Author: Stéphane Dalmas, INRIA. + </xs:documentation> +</xs:annotation> + +<!-- a common type for all this --> + +<xs:complexType name="Logic.type"> + <xs:attributeGroup ref="Definition.attrib"/> + <xs:attributeGroup ref="Common.attrib"/> +</xs:complexType> + +<xs:element name="and" type="Elementary-functions.type"/> +<xs:element name="or" type="Logic.type"/> +<xs:element name="xor" type="Logic.type"/> + +<xs:element name="not" type="Logic.type"/> + +<xs:element name="exists" type="Logic.type"/> +<xs:element name="forall" type="Logic.type"/> + +<xs:element name="implies" type="Logic.type"/> + +<!-- And the group of everything --> + +<xs:group name="Content-logic.class"> + <xs:choice> + <xs:element ref="and"/> + <xs:element ref="or"/> + <xs:element ref="xor"/> + <xs:element ref="not"/> + <xs:element ref="exists"/> + <xs:element ref="forall"/> + <xs:element ref="implies"/> + </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/. + --> |