Required assertions
ID | Spec. Reference | Abstract |
---|
1 | [2.4] |
alternative reference to NULL (external)
|
2 | [2.4] |
alternative reference to NULL (external)
|
3 | [2.4] |
alternative reference to NULL (inline)
|
4 | [2.4] |
alternative reference to NULL (inline)
|
5 | [2.4] |
one-of element containing a single item (external)
|
6 | [2.4] |
one-of element containing a single item (external)
|
7 | [2.4] |
one-of element containing a single item (inline)
|
8 | [2.4] |
one-of element containing a single item (inline)
|
9 | [2.4] |
alternative reference to a single tag (external)
|
10 | [2.4] |
alternative reference to a single tag (external)
|
11 | [2.4] |
alternative reference to a single tag (inline)
|
12 | [2.4] |
alternative reference to a single tag (inline)
|
13 | [2.4] |
a set of alternatives with a legal weight on every alternative (external)
|
14 | [2.4] |
a set of alternatives with a legal weight on every alternative (external)
|
15 | [2.4] |
a set of alternatives with a legal weight on every alternative (inline)
|
16 | [2.4] |
a set of alternatives with a legal weight on every alternative (inline)
|
17 | [2.4] |
a set of alternatives with no weights (external)
|
18 | [2.4] |
a set of alternatives with no weights (external)
|
19 | [2.4] |
a set of alternatives with no weights (inline)
|
20 | [2.4] |
a set of alternatives with no weights (inline)
|
21 | [2.4] |
a single alternative without a weight (external)
|
22 | [2.4] |
a single alternative without a weight (external)
|
23 | [2.4] |
a single alternative without a weight (inline)
|
24 | [2.4] |
a single alternative without a weight (inline)
|
25 | [2.4] |
a single alternative with a weight (external)
|
26 | [2.4] |
a single alternative with a weight (external)
|
27 | [2.4] |
a single alternative with a weight (inline)
|
28 | [2.4] |
a single alternative with a weight (inline)
|
29 | [2.4] |
a set of alternatives with legal weights on one or many but not all alternatives (external)
|
30 | [2.4] |
a set of alternatives with legal weights on one or many but not all alternatives (external)
|
31 | [2.4] |
a set of alternatives with legal weights on one or many but not all alternatives (inline)
|
32 | [2.4] |
a set of alternatives with legal weights on one or many but not all alternatives (inline)
|
33 | [4.9] |
base uri declaration (external)
|
34 | [4.9] |
base uri declaration (external)
|
35 | [4.9] |
base uri declaration (inline)
|
36 | [4.9] |
base uri declaration (inline)
|
37 | [4.9.1] |
base uri precedence (external)
|
38 | [4.9.1] |
base uri precedence (external)
|
39 | [4.9.1] |
base uri precedence (inline)
|
40 | [4.9.1] |
base uri precedence (inline)
|
41 | [4.12] |
comments (external)
|
42 | [4.12] |
comments (external)
|
43 | [4.12] |
comments (inline)
|
44 | [4.12] |
comments (inline)
|
45 | [5.4] |
activate root, single public rule, set of public rules or roots of one or many grammars directly or indirectly referenced (same language) (external)
|
46 | [5.4] |
activate root, single public rule, set of public rules or roots of one or many grammars directly or indirectly referenced (same language) (external)
|
47 | [2.1] |
basic tokens (external)
|
48 | [2.1] |
basic tokens (external)
|
49 | [5.4] |
inform hosting environment if unable to process content (external)
|
50 | [5.4] |
inform hosting environment if unable to process content (inline)
|
71 | [2.2] |
duplicate rulenames (external)
|
72 | [2.2] |
duplicate rulenames (inline)
|
73 | [2.2] |
redefining special rulenames (external)
|
74 | [2.2] |
redefining special rulenames (inline)
|
75 | [AppJ.1] |
Example 1 XML (external)
|
76 | [AppJ.1] |
Example 1 XML (external)
|
77 | [AppJ.1] |
Example 1 XML (inline)
|
78 | [AppJ.1] |
Example 1 XML (inline)
|
79 | [AppJ.2] |
Example 2 booking (external)
|
80 | [AppJ.2] |
Example 2 booking (external)
|
81 | [] |
example 2 booking (external)
|
82 | [] |
example 2 booking (external)
|
83 | [AppJ.2] |
Example 2 places (external)
|
84 | [AppJ.2] |
Example 2 places (external)
|
85 | [AppJ.2] |
Example 2 places (inline)
|
86 | [AppJ.2] |
Example 2 places (inline)
|
87 | [3.3] |
example phrases (external)
|
88 | [3.3] |
example phrases (external)
|
89 | [3.3] |
example phrases (inline)
|
90 | [3.3] |
example phrases (inline)
|
91 | [4.4] |
no character encoding (external)
|
92 | [4.4] |
no character encoding (external)
|
93 | [4.4] |
no character encoding (inline)
|
94 | [4.4] |
no character encoding (inline)
|
99 | [4.5] |
language declaration of en-US for mode="voice" (external)
|
100 | [4.5] |
language declaration of en-US for mode="voice" (external)
|
101 | [4.5] |
language declaration of en-US for mode="voice" (inline)
|
102 | [4.5] |
language declaration of en-US for mode="voice" (inline)
|
123 | [4.11] |
meta declarations (external)
|
124 | [4.11] |
meta declarations (external)
|
125 | [4.11] |
HTTP response headers (external)
|
126 | [4.11] |
HTTP response headers (external)
|
127 | [4.11] |
HTTP response headers (inline)
|
128 | [4.11] |
HTTP response headers (inline)
|
129 | [4.11] |
meta declarations (inline)
|
130 | [4.11] |
meta declarations (inline)
|
135 | [4.6] |
no mode declaration implies (external)
|
136 | [4.6] |
no mode declaration implies (external)
|
137 | [4.6] |
no mode declaration implies (inline)
|
138 | [4.6] |
no mode declaration implies (inline)
|
139 | [4.6] |
mode declaration (external)
|
140 | [4.6] |
mode declaration (external)
|
141 | [4.6] |
mode declaration (inline)
|
142 | [4.6] |
mode declaration (inline)
|
143 | [4] |
XML grammar with no DOCTYPE (external)
|
144 | [4] |
XML grammar with no DOCTYPE (external)
|
145 | [4] |
XML grammar with no DOCTYPE (inline)
|
146 | [4] |
XML grammar with no DOCTYPE (inline)
|
149 | [4] |
Grammar with no version (external)
|
150 | [4] |
Grammar with no version (inline)
|
151 | [2.5] |
zero repetitions never matched (external)
|
152 | [2.5] |
zero repetitions never matched (external)
|
153 | [2.5] |
zero repetitions never matched (inline)
|
154 | [2.5] |
zero repetitions never matched (inline)
|
155 | [2.5] |
any number of NULL's is equivalent to a single NULL (external)
|
156 | [2.5] |
any number of NULL's is equivalent to a single NULL (external)
|
157 | [2.5] |
any number of NULL's is equivalent to a single NULL (inline)
|
158 | [2.5] |
any number of NULL's is equivalent to a single NULL (inline)
|
159 | [2.5] |
repeat an expansion between "n" and "m" times (external)
|
160 | [2.5] |
repeat an expansion between "n" and "m" times (external)
|
161 | [2.5] |
repeat an expansion between "n" and "m" times (inline)
|
162 | [2.5] |
repeat an expansion between "n" and "m" times (inline)
|
163 | [2.5] |
repeat an expansion "m" or more times (external)
|
164 | [2.5] |
repeat an expansion "m" or more times (external)
|
165 | [2.5] |
repeat an expansion "m" or more times (inline)
|
166 | [2.5] |
repeat an expansion "m" or more times (inline)
|
167 | [2.5] |
2.5 repeat an expansion exactly "n" times (external)
|
168 | [2.5] |
2.5 repeat an expansion exactly "n" times (external)
|
169 | [2.5] |
2.5 repeat an expansion exactly "n" times (inline)
|
170 | [2.5] |
2.5 repeat an expansion exactly "n" times (inline)
|
171 | [2.5] |
optional expansion (external)
|
172 | [2.5] |
optional expansion (external)
|
173 | [2.5] |
optional expansion (inline)
|
174 | [2.5] |
optional expansion (inline)
|
175 | [2.5] |
optional VOID equivalent to NULL (external)
|
176 | [2.5] |
optional VOID equivalent to NULL (external)
|
177 | [2.5] |
optional VOID equivalent to NULL (inline)
|
178 | [2.5] |
optional VOID equivalent to NULL (inline)
|
179 | [2.5] |
repeat probabilities (external)
|
180 | [2.5] |
repeat probabilities (external)
|
181 | [2.5] |
repeat probabilities (inline)
|
182 | [2.5] |
repeat probabilities (inline)
|
183 | [4.7] |
root rule declaration (external)
|
184 | [4.7] |
root rule declaration (external)
|
185 | [4.7] |
root rule declaration (inline)
|
186 | [4.7] |
root rule declaration (inline)
|
187 | [3.1] |
rule definition (external)
|
188 | [3.1] |
rule definition (external)
|
189 | [3.1] |
rule definition (inline)
|
190 | [3.1] |
rule definition (inline)
|
191 | [3.1] |
empty item expansion (external)
|
192 | [3.1] |
empty item expansion (external)
|
193 | [3.1] |
empty item expansion (inline)
|
194 | [3.1] |
empty item expansion (inline)
|
195 | [3.1] |
no empty expansions (external)
|
196 | [3.1] |
no empty expansions (inline)
|
197 | [3.1] |
NULL expansion (external)
|
198 | [3.1] |
NULL expansion (external)
|
199 | [3.1] |
NULL expansion (inline)
|
200 | [3.1] |
NULL expansion (inline)
|
201 | [3.2] |
declaration of private rule (external)
|
202 | [3.2] |
declaration of private rule (external)
|
203 | [3.2] |
declaration of private rule (inline)
|
204 | [3.2] |
declaration of private rule (inline)
|
205 | [3.2] |
declaration of public rule (external)
|
206 | [3.2] |
declaration of public rule (external)
|
207 | [3.2] |
declaration of public rule (inline)
|
208 | [3.2] |
declaration of public rule (inline)
|
209 | [3.2] |
external reference to private root rule (external)
|
210 | [3.2] |
external reference to private root rule (external)
|
211 | [3.2] |
declaration of private rule (external)
|
212 | [3.2] |
declaration of private rule (external)
|
213 | [2.2.2] |
reference to the root rule of a grammar identified by a URI with a Media Type (external)
|
214 | [2.2.2] |
reference to the root rule of a grammar identified by a URI with a Media Type (external)
|
215 | [2.2.2] |
reference to the root rule of a grammar identified by URI with a Media Type (inline)
|
216 | [2.2.2] |
reference to the root rule of a grammar identified by URI with a Media Type (inline)
|
217 | [2.2.2] |
reference to a named rule of a grammar identified by a URI (external)
|
218 | [2.2.2] |
reference to a named rule of a grammar identified by a URI (external)
|
219 | [2.2.2] |
reference to a named rule of a grammar identified by URI (inline)
|
220 | [2.2.2] |
reference to a named rule of a grammar identified by URI (inline)
|
221 | [2.2.2] |
reference to a named rule of a grammar identified by a URI with a Media Type (external)
|
222 | [2.2.2] |
reference to a named rule of a grammar identified by a URI with a Media Type (external)
|
223 | [2.2.2] |
reference to a named rule of a grammar identified by a URI with a Media Type (inline)
|
224 | [2.2.2] |
reference to a named rule of a grammar identified by a URI with a Media Type (inline)
|
225 | [2.2.1] |
local rule reference (external)
|
226 | [2.2.1] |
local rule reference (external)
|
227 | [2.2.1] |
local rule reference (inline)
|
228 | [2.2.1] |
local rule reference (inline)
|
229 | [2.2.2] |
media type specified does not match actual content (external)
|
230 | [2.2.2] |
media type specified does not match actual content (inline)
|
231 | [2.2.2] |
modes do not agree between rulerefs (external)
|
232 | [2.2.2] |
reference to grammar with mismatched mode
|
233 | [2.2] |
reference to a non-existent local rule reference (external)
|
234 | [2.2] |
reference to a non-existent local rule reference (inline)
|
235 | [3.1] |
single tag expansion (external)
|
236 | [3.1] |
single tag expansion (external)
|
237 | [3.1] |
single tag expansion (inline)
|
238 | [3.1] |
single tag expansion (inline)
|
239 | [2.3] |
empty item element (external)
|
240 | [2.3] |
empty item element (external)
|
241 | [2.3] |
empty item element (inline)
|
242 | [2.3] |
empty item element (inline)
|
243 | [2.3] |
element containing only whitespace (external)
|
244 | [2.3] |
element containing only whitespace (external)
|
245 | [2.3] |
element containing only whitespace (inline)
|
246 | [2.3] |
element containing only whitespace (inline)
|
247 | [2.3] |
sequence of rule references (external)
|
248 | [2.3] |
sequence of rule references (external)
|
249 | [2.3] |
sequence of rule references (inline)
|
250 | [2.3] |
sequence of rule references (inline)
|
251 | [2.3] |
sequence of tokens and rule references (external)
|
252 | [2.3] |
sequence of tokens and rule references (external)
|
253 | [2.3] |
sequence of tokens and rule references (inline)
|
254 | [2.3] |
sequence of tokens and rule references (inline)
|
255 | [2.3] |
sequence of tokens (external)
|
256 | [2.3] |
sequence of tokens (external)
|
257 | [2.3] |
sequence of tokens (inline)
|
258 | [2.3] |
sequence of tokens (inline)
|
259 | [2.2.3] |
special rule definitions ($GARBAGE) (external)
|
260 | [2.2.3] |
special rule definitions ($GARBAGE) (external)
|
261 | [2.2.3] |
special rule definitions ($GARBAGE) (inline)
|
262 | [2.2.3] |
special rule definitions ($GARBAGE) (inline)
|
263 | [2.2.3] |
special rule definitions ($NULL) (external)
|
264 | [2.2.3] |
special rule definitions ($NULL) (external)
|
265 | [2.2.3] |
special rule definitions ($NULL) (inline)
|
266 | [2.2.3] |
special rule definitions ($NULL) (inline)
|
267 | [2.2.3] |
special rule definitions ($VOID) (external)
|
268 | [2.2.3] |
special rule definitions ($VOID) (external)
|
269 | [2.2.3] |
special rule definitions ($VOID) (inline)
|
270 | [2.2.3] |
special rule definitions ($VOID) (inline)
|
271 | [4.8] |
tag format declaration (external)
|
272 | [4.8] |
tag format declaration (external)
|
273 | [4.8] |
tag format declaration (inline)
|
274 | [4.8] |
tag format declaration (inline)
|
275 | [2.6] |
any number of tags may be included (external)
|
276 | [2.6] |
any number of tags may be included (external)
|
277 | [2.6] |
any number of tags may be included (inline)
|
278 | [2.6] |
any number of tags may be included (inline)
|
283 | [2.6] |
standalone tags are legal (external)
|
284 | [2.6] |
standalone tags are legal (external)
|
285 | [2.6] |
standalone tags are legal (inline)
|
286 | [2.6] |
standalone tags are legal (inline)
|
287 | [2.1] |
basic tokens (external)
|
288 | [2.1] |
basic tokens (external)
|
289 | [2.1] |
basic tokens (inline)
|
290 | [2.1] |
basic tokens (inline)
|
291 | [2.1] |
quoted tokens (external)
|
292 | [2.1] |
quoted tokens (external)
|
293 | [2.1] |
quoted tokens (inline)
|
294 | [2.1] |
quoted tokens (inline)
|
295 | [2.1] |
Unicode tokens (external)
|
296 | [2.1] |
Unicode tokens (external)
|
297 | [2.1] |
Unicode tokens (inline)
|
298 | [2.1] |
Unicode tokens (inline)
|
299 | [4.7] |
reference to undefined root rule (external)
|
300 | [4.7] |
reference to undefined root rule (inline)
|
305 | [4.7] |
grammar ref with no fragment and no root rule (external)
|
306 | [] |
Cannot refer to an undefined rule without fragment with a uri; referring grammar (external)
|
307 | [] |
duplicated special rule names (inline)
|
308 | [] |
duplicated special rule names (inline)
|
309 | [] |
Need to add description and spec reference
|
310 | [] |
Need to add description and spec reference
|
311 | [] |
Need to add description and spec reference
|
312 | [] |
Need to add description and spec reference
|
315 | [] |
Need to add description and spec reference
|
316 | [] |
Need to add description and spec reference
|