1 datatypes w = "http://whattf.org/datatype-draft"
3 # #####################################################################
4 ## RELAX NG Schema for HTML 5: Web Forms 1.0 markup #
5 # #####################################################################
7 ## Shared attributes for form controls
10 ( common-form.attrs.name?
11 & common-form.attrs.disabled?
14 common-form.attrs.name =
16 form.data.nonemptystring
19 common-form.attrs.disabled =
21 w:string "disabled" | w:string ""
24 shared-form.attrs.readonly =
26 w:string "readonly" | w:string ""
29 shared-form.attrs.maxlength =
31 common.data.integer.non-negative
34 shared-form.attrs.size =
36 common.data.integer.positive
39 # REVISIT tabindex goes in common.attrs
41 ## Shared attributes for <input>
45 w:string "checked" | w:string ""
48 ## Text Field: <input type='text'>
51 element input { input.text.attrs }
55 & input.text.attrs.type?
56 & shared-form.attrs.maxlength?
57 & shared-form.attrs.readonly?
58 & shared-form.attrs.size?
59 & input.text.attrs.value?
60 & ( common.attrs.aria.implicit.textbox
61 | common.attrs.aria.implicit.combobox
62 | common.attrs.aria.role.textbox
63 | common.attrs.aria.role.combobox
66 input.text.attrs.type =
70 input.text.attrs.value =
72 form.data.stringwithoutlinebreaks
75 input.elem = input.text.elem
77 ## Password Field: <input type='password'>
80 element input { input.password.attrs }
81 input.password.attrs =
84 & input.password.attrs.type
85 & shared-form.attrs.maxlength?
86 & shared-form.attrs.readonly?
87 & shared-form.attrs.size?
88 & input.password.attrs.value?
89 & ( common.attrs.aria.implicit.textbox
90 | common.attrs.aria.role.textbox
93 input.password.attrs.type =
97 input.password.attrs.value =
99 form.data.stringwithoutlinebreaks
102 input.elem |= input.password.elem
104 ## Checkbox: <input type='checkbox'>
106 input.checkbox.elem =
107 element input { input.checkbox.attrs }
108 input.checkbox.attrs =
111 & input.checkbox.attrs.type
112 & input.attrs.checked?
113 & input.checkbox.attrs.value?
114 & ( common.attrs.aria.implicit.checkbox
115 | common.attrs.aria.role.checkbox
116 | common.attrs.aria.role.menuitemcheckbox
117 | common.attrs.aria.role.switch
120 input.checkbox.attrs.type =
124 input.checkbox.attrs.value =
126 string #REVISIT require non-empty value?
129 input.elem |= input.checkbox.elem
131 ## Radiobutton: <input type='radio'>
134 element input { input.radio.attrs }
138 & input.radio.attrs.type
139 & input.attrs.checked?
140 & input.radio.attrs.value?
141 & ( common.attrs.aria.implicit.radio
142 | common.attrs.aria.role.radio
143 | common.attrs.aria.role.menuitemradio
146 input.radio.attrs.type =
150 input.radio.attrs.value =
152 string #REVISIT require non-empty value?
155 input.elem |= input.radio.elem
157 ## Scripting Hook Button: <input type='button'>
160 element input { input.button.attrs }
164 & input.button.attrs.type
165 & input.button.attrs.value?
166 & ( common.attrs.aria.implicit.button
167 | common.attrs.aria.role.button
168 | common.attrs.aria.role.link
169 | common.attrs.aria.role.menuitem
170 | common.attrs.aria.role.menuitemcheckbox
171 | common.attrs.aria.role.menuitemradio
172 | common.attrs.aria.role.radio
173 | common.attrs.aria.role.switch
176 input.button.attrs.type =
180 input.button.attrs.value =
182 string #REVISIT require non-empty value?
185 input.elem |= input.button.elem
186 #REVISIT should this be enabled by a scripting module only?
188 ## Submit Button: <input type='submit'>
191 element input { input.submit.attrs }
195 & input.submit.attrs.type
196 & input.submit.attrs.value?
197 & ( common.attrs.aria.implicit.button
198 | common.attrs.aria.role.button
201 input.submit.attrs.type =
205 input.submit.attrs.value =
207 string #REVISIT require non-empty value?
210 input.elem |= input.submit.elem
212 ## Reset Button: <input type='reset'>
215 element input { input.reset.attrs }
219 & input.reset.attrs.type
220 & input.reset.attrs.value?
221 & ( common.attrs.aria.implicit.button
222 | common.attrs.aria.role.button
225 input.reset.attrs.type =
229 input.reset.attrs.value =
231 string #REVISIT require non-empty value?
234 input.elem |= input.reset.elem
235 # REVISIT does reset make sense outside a form?
237 ## File Upload: <input type='file'>
240 element input { input.file.attrs }
244 & input.file.attrs.type
245 & input.file.attrs.accept?
248 input.file.attrs.type =
252 input.file.attrs.accept =
254 form.data.mimetypelist
257 input.elem |= input.file.elem
259 ## Hidden String: <input type='hidden'>
262 element input { input.hidden.attrs }
266 & input.hidden.attrs.type
267 & input.hidden.attrs.value?
270 input.hidden.attrs.type =
274 input.hidden.attrs.value =
279 input.elem |= input.hidden.elem
281 ## Image Submit Button: <input type='image'>
284 element input { input.image.attrs }
288 & input.image.attrs.type
289 & input.image.attrs.alt
290 & input.image.attrs.src?
291 & ( common.attrs.aria.implicit.button
292 | common.attrs.aria.role.button
293 | common.attrs.aria.role.link
294 | common.attrs.aria.role.menuitem
295 | common.attrs.aria.role.menuitemcheckbox
296 | common.attrs.aria.role.menuitemradio
297 | common.attrs.aria.role.radio
298 | common.attrs.aria.role.switch
301 input.image.attrs.type =
305 input.image.attrs.alt =
307 form.data.nonemptystring
309 input.image.attrs.src =
311 common.data.uri.non-empty
314 input.elem |= input.image.elem
316 common.elem.phrasing |= input.elem
318 ## Text Area: <textarea>
321 element textarea { textarea.inner & textarea.attrs }
325 & shared-form.attrs.readonly?
326 & textarea.attrs.rows-and-cols-wf1
327 & ( common.attrs.aria.implicit.textbox
328 | common.attrs.aria.role.textbox
330 #FIXME onfocus, onblur, onselect,onchange
333 textarea.attrs.rows-and-cols-wf1 =
334 textarea.attrs.rows-and-cols-wf1.inner
335 textarea.attrs.rows-and-cols-wf1.inner =
336 ( textarea.attrs.cols
337 & textarea.attrs.rows
339 textarea.attrs.cols =
341 common.data.integer.positive
343 textarea.attrs.rows =
345 common.data.integer.positive
350 common.elem.phrasing |= textarea.elem
352 # Due to limitations with interleave, handling single/multiple selection
353 # enforcement in RELAX NG seems to be possible but really awkward.
354 # Tried it. Leaving it to Schematron.
356 ## Select menu option: <option selected>
359 element option { option.inner & option.attrs }
362 & common-form.attrs.disabled?
363 & option.attrs.selected?
364 & option.attrs.label?
365 & option.attrs.value?
366 & ( common.attrs.aria.implicit.option
367 | common.attrs.aria.role.option
370 option.attrs.selected =
372 w:string "selected" | w:string ""
376 form.data.nonemptystring
385 ## Option Group: <optgroup>
388 element optgroup { optgroup.inner & optgroup.attrs }
391 & optgroup.attrs.label
392 & common-form.attrs.disabled?
393 & ( common.attrs.aria.role.presentation
394 | common.attrs.aria.role.menuitem
397 optgroup.attrs.label =
403 & common.elem.script-supporting*
406 ## Selection Menu: <select>
409 element select { select.inner & select.attrs }
414 & select.attrs.multiple?
415 # FIXME onfocus, onblur, onchange
416 & ( common.attrs.aria.implicit.listbox
417 | common.attrs.aria.role.listbox # aria-multiselectable depends on "multiple" value; check in assertions
422 common.data.integer.positive
424 select.attrs.multiple =
426 w:string "multiple" | w:string ""
431 & common.elem.script-supporting*
434 common.elem.phrasing |= select.elem
436 ## Shared Definitions for Complex Button
443 ( common.inner.phrasing )
445 ## Complex Submit Button: <button type='submit'>
448 element button { button.inner & button.submit.attrs }
449 button.submit.attrs =
452 & button.submit.attrs.type?
453 & button.attrs.value?
454 & ( common.attrs.aria.implicit.button
455 | common.attrs.aria.role.button
456 | common.attrs.aria.role.checkbox
457 | common.attrs.aria.role.link
458 | common.attrs.aria.role.menuitem
459 | common.attrs.aria.role.menuitemcheckbox
460 | common.attrs.aria.role.menuitemradio
461 | common.attrs.aria.role.radio
464 button.submit.attrs.type =
469 button.elem = button.submit.elem
471 ## Complex Reset Button: <button type='reset'>
474 element button { button.inner & button.reset.attrs }
478 & button.reset.attrs.type
479 & button.attrs.value? #REVISIT I guess this still affects the DOM
480 & ( common.attrs.aria.implicit.button
481 | common.attrs.aria.role.button
482 | common.attrs.aria.role.checkbox
483 | common.attrs.aria.role.link
484 | common.attrs.aria.role.menuitem
485 | common.attrs.aria.role.menuitemcheckbox
486 | common.attrs.aria.role.menuitemradio
487 | common.attrs.aria.role.radio
488 | common.attrs.aria.role.switch
491 button.reset.attrs.type =
496 button.elem |= button.reset.elem
498 ## Complex Push Button: <button type='button'>
501 element button { button.inner & button.button.attrs }
502 button.button.attrs =
505 & button.button.attrs.type
506 & button.attrs.value? #REVISIT I guess this still affects the DOM
507 & ( common.attrs.aria.implicit.button
508 | common.attrs.aria.role.button
509 | common.attrs.aria.role.checkbox
510 | common.attrs.aria.role.link
511 | common.attrs.aria.role.menuitem
512 | common.attrs.aria.role.menuitemcheckbox
513 | common.attrs.aria.role.menuitemradio
514 | common.attrs.aria.role.radio
515 | common.attrs.aria.role.switch
518 button.button.attrs.type =
523 button.elem |= button.button.elem
525 common.elem.phrasing |= button.elem
530 element form { form.inner & form.attrs }
533 & form.attrs.action? #REVISIT Should this be required anyway?
535 & form.attrs.enctype?
536 & common-form.attrs.name?
537 & form.attrs.accept-charset?
538 & ( common.attrs.aria.implicit.form
539 | common.attrs.aria.landmark.form
540 | common.attrs.aria.role.search
541 | common.attrs.aria.role.presentation
546 common.data.uri.non-empty
550 form.attrs.method.data
552 form.attrs.method.data =
553 ( w:string "get" | w:string "post" )
556 form.attrs.enctype.data
558 form.attrs.enctype.data =
559 ( w:string "application/x-www-form-urlencoded"
560 | w:string "multipart/form-data"
562 form.attrs.accept-charset =
563 attribute accept-charset {
564 form.data.charsetlist
567 ( common.inner.flow )
569 common.elem.flow |= form.elem
571 ## Fieldset: <fieldset>
574 element fieldset { fieldset.inner & fieldset.attrs }
577 & ( common.attrs.aria.implicit.group
582 ( legend.elem? #REVISIT should this be required?
586 common.elem.flow |= fieldset.elem
591 element label { label.inner & label.attrs }
595 & ( common.attrs.aria.role.presentation
596 | common.attrs.aria.role.menuitem
604 ( common.inner.phrasing ) #REVISIT making obvious guess
606 common.elem.phrasing |= label.elem