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
|