1 # Copyright (C) 2003-2004, 2007-2014 Free Software Foundation, Inc.
3 # This file is part of GNU Emacs.
5 # GNU Emacs is free software: you can redistribute it and/or modify
6 # it under the terms of the GNU General Public License as published by
7 # the Free Software Foundation, either version 3 of the License, or
8 # (at your option) any later version.
10 # GNU Emacs is distributed in the hope that it will be useful,
11 # but WITHOUT ANY WARRANTY; without even the implied warranty of
12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 # GNU General Public License for more details.
15 # You should have received a copy of the GNU General Public License
16 # along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>.
18 default
namespace this
= "http://thaiopensource.com/ns/locating-rules/1.0"
23 locatingRules
= element locatingRules
{ common, rule*
}
34 # | typeIdProcessingInstruction
40 ## Group of rules. Useful with xml:base.
41 group
= element group
{ common, rule*
}
46 attribute rules
{ xsd:anyURI
}
50 element applyFollowingRules
{
58 |
"typeIdProcessingInstruction"
64 ## Matches if the prefix and/or local name of document element
65 ## match the values of the prefix and localName attributes.
66 element documentElement
{
72 ## If there's no prefix attribute, then only the local name must match.
73 ## If there's no local name attribute, then only the prefix must match.
74 nameAtts
= (prefixAtt, localNameAtt?) | localNameAtt
76 ## prefix="" matches if the document element has no prefix.
77 prefixAtt
= attribute prefix
{ (xsd:NCName -
"xmlns") |
"" }
78 localNameAtt
= attribute localName
{ xsd:NCName -
"xmlns" }
81 ## Matches if the document has a DOCTYPE declaration with a public
82 ## identifier that, after normalization, matches the value of the
83 ## publicId attribute.
84 element doctypePublicId
{
86 attribute publicId
{ publicIdValue
},
92 ## Newline and tab are excluded, because pattern applies to
93 ## the post-normalization value.
94 pattern
= "[\-'()+,./:=?;!*#@$_%a-zA-Z0-9 ]*"
97 # This is separate from documentElement so it can be distinguished
98 # by applyFollowingRules.
100 ## Matches if the document element has a namespace URI equal to the value
101 ## of the ns attribute. A document element with no namespace matches if
102 ## the value of the ns attribute is the empty string.
105 attribute ns
{ xsd:string
},
110 ## Matches based on the URI of the document.
113 (resourceAtt | patternAtt),
117 ## Matches if it can be determined that the document resource is
118 ## the same resource as that identified by the value of the resource
119 ## attribute. In determining this, the implementation should apply
120 ## the semantics of the URI scheme used by the URI.
121 resourceAtt
= attribute resource
{ xsd:anyURI
}
123 ## Matches if the document's URI matches the pattern specified
124 ## by the pattern attribute. A * in the path component matches
125 ## zero or more characters other than / (after resolving escapes).
126 ## If the pattern is a relative URI, it means that there must
127 ## be some URI such that when the pattern is resolved relative
128 ## to that URI, it matches the document's URI. Thus an empty
129 ## pattern will always match.
130 patternAtt
= attribute pattern
{ uriPattern
}
132 ## A pattern for a URI. Same syntax as a URI, except that a * in
133 ## the path component has a special meaning.
134 uriPattern
= xsd:anyURI
137 ## Generates a URI for the related resource by transforming
138 ## the URI of the document. Matches if the transformation
139 ## yields a valid URI that identifies an existing resource.
140 element transformURI
{
142 ## Semantics are the same as the pattern attribute of the uri element.
143 attribute fromPattern
{ uriPattern
},
144 ## The result of the transformation is produced from the toPattern
145 ## by replacing each * by the string that matched the corresponding
146 ## * in the toPattern. The toPattern is appended to the initial
147 ## part of the document's URI that was not explicitly matched
149 attribute toPattern
{ uriPattern
}
159 ## A document can be mapped onto a URI either indirectly via a typeId
161 targetAtt
= uriAtt | typeIdAtt
163 ## Specifies the URI of the related resource.
164 ## xml:base is used if it's relative.
165 uriAtt
= attribute uri
{ xsd:anyURI
}
167 ## Specifies an identifier of the type of document. typeId and
168 ## typeIdBase rules will be used to map this to a URI.
169 typeIdAtt
= attribute typeId
{ typeIdValue
}
171 ## A type identifier can be anything convenient (e.g. a public identifier,
172 ## a URL or just a string with no formal structure). Whitespace is
173 ## normalized like a public identifier before comparing type identifiers
175 typeIdValue
= xsd:token
177 typeIdProcessingInstruction
=
178 ## Matches if there's a processing instruction in the prolog
179 ## before any DOCTYPE declaration whose target is the value of
180 ## the target attribute. The value of the processing instruction
181 ## is interpreted as a typeId, which will be mapped to a
183 element typeIdProcessingInstruction
{
185 attribute target
{ xsd:NCName
}
189 ## Maps a typeId onto a URI.
192 attribute id
{ typeIdValue
},
197 ## Used to map a typeId onto a URI. First, any URI reserved characters
198 ## are URI encoded. If the append attribute is specified, it is appended.
199 ## This is then treated as a URI. If relative, it is resolved using
200 ## the applicable base URI as usual. If the resulting URI identifies
201 ## an existing resource, then the typeId is mapped to this resource.
202 ## This is intended to be useful with file URIs.
205 attribute append
{ xsd:string
}?
210 attribute *
{ text
}*, (text|anyElement)*
213 anyElement
= element *
{ attribute *
{ text
}*, (text|anyElement)*
}
216 # attribute xml:base { xsd:anyURI }?,
217 attribute * - (xml:base|this:*|local:*)
{ text
}*