53595046d9bd6642e222892e3663044886567db4
[bpt/emacs.git] / etc / schema / relaxng.rnc
1 # RELAX NG XML syntax expressed in RELAX NG Compact syntax.
2
3 # Copyright (C) 2003-2004, 2007-2013 Free Software Foundation, Inc.
4
5 # This file is part of GNU Emacs.
6
7 # GNU Emacs is free software: you can redistribute it and/or modify
8 # it under the terms of the GNU General Public License as published by
9 # the Free Software Foundation, either version 3 of the License, or
10 # (at your option) any later version.
11
12 # GNU Emacs is distributed in the hope that it will be useful,
13 # but WITHOUT ANY WARRANTY; without even the implied warranty of
14 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 # GNU General Public License for more details.
16
17 # You should have received a copy of the GNU General Public License
18 # along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>.
19
20 default namespace rng = "http://relaxng.org/ns/structure/1.0"
21 namespace local = ""
22 datatypes xsd = "http://www.w3.org/2001/XMLSchema-datatypes"
23
24 start = pattern
25
26 pattern =
27 element element { (nameQName | nameClass), (common & pattern+) }
28 | element attribute { (nameQName | nameClass), (common & pattern?) }
29 | element group|interleave|choice|optional
30 |zeroOrMore|oneOrMore|list|mixed { common & pattern+ }
31 | element ref|parentRef { nameNCName, common }
32 | element empty|notAllowed|text { common }
33 | element data { type, param*, (common & exceptPattern?) }
34 | element value { commonAttributes, type?, xsd:string }
35 | element externalRef { href, common }
36 | element grammar { common & grammarContent* }
37
38 param = element param { commonAttributes, nameNCName, xsd:string }
39
40 exceptPattern = element except { common & pattern+ }
41
42 grammarContent =
43 definition
44 | element div { common & grammarContent* }
45 | element include { href, (common & includeContent*) }
46
47 includeContent =
48 definition
49 | element div { common & includeContent* }
50
51 definition =
52 element start { combine?, (common & pattern+) }
53 | element define { nameNCName, combine?, (common & pattern+) }
54
55 combine = attribute combine { "choice" | "interleave" }
56
57 nameClass =
58 element name { commonAttributes, xsd:QName }
59 | element anyName { common & exceptNameClass? }
60 | element nsName { common & exceptNameClass? }
61 | element choice { common & nameClass+ }
62
63 exceptNameClass = element except { common & nameClass+ }
64
65 nameQName = attribute name { xsd:QName }
66 nameNCName = attribute name { xsd:NCName }
67 href = attribute href { xsd:anyURI }
68 type = attribute type { xsd:NCName }
69
70 common = commonAttributes, foreignElement*
71
72 commonAttributes =
73 attribute ns { xsd:string }?,
74 attribute datatypeLibrary { xsd:anyURI }?,
75 foreignAttribute*
76
77 foreignElement = element * - rng:* { (anyAttribute | text | anyElement)* }
78 foreignAttribute = attribute * - (rng:*|local:*) { text }
79 anyElement = element * { (anyAttribute | text | anyElement)* }
80 anyAttribute = attribute * { text }