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 string #REVISIT should this be restricted somehow? No & and = perhaps?
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
119 input.checkbox.attrs.type =
123 input.checkbox.attrs.value =
125 string #REVISIT require non-empty value?
128 input.elem |= input.checkbox.elem
130 ## Radiobutton: <input type='radio'>
133 element input { input.radio.attrs }
137 & input.radio.attrs.type
138 & input.attrs.checked?
139 & input.radio.attrs.value?
140 & ( common.attrs.aria.implicit.radio
141 | common.attrs.aria.role.radio
142 | common.attrs.aria.role.menuitemradio
145 input.radio.attrs.type =
149 input.radio.attrs.value =
151 string #REVISIT require non-empty value?
154 input.elem |= input.radio.elem
156 ## Scripting Hook Button: <input type='button'>
159 element input { input.button.attrs }
163 & input.button.attrs.type
164 & input.button.attrs.value?
165 & ( common.attrs.aria.implicit.button
166 | common.attrs.aria.role.button
167 | common.attrs.aria.role.link
168 | common.attrs.aria.role.menuitem
169 | common.attrs.aria.role.menuitemcheckbox
170 | common.attrs.aria.role.menuitemradio
171 | common.attrs.aria.role.radio
174 input.button.attrs.type =
178 input.button.attrs.value =
180 string #REVISIT require non-empty value?
183 input.elem |= input.button.elem
184 #REVISIT should this be enabled by a scripting module only?
186 ## Submit Button: <input type='submit'>
189 element input { input.submit.attrs }
193 & input.submit.attrs.type
194 & input.submit.attrs.value?
195 & ( common.attrs.aria.implicit.button
196 | common.attrs.aria.role.button
199 input.submit.attrs.type =
203 input.submit.attrs.value =
205 string #REVISIT require non-empty value?
208 input.elem |= input.submit.elem
210 ## Reset Button: <input type='reset'>
213 element input { input.reset.attrs }
217 & input.reset.attrs.type
218 & input.reset.attrs.value?
219 & ( common.attrs.aria.implicit.button
220 | common.attrs.aria.role.button
223 input.reset.attrs.type =
227 input.reset.attrs.value =
229 string #REVISIT require non-empty value?
232 input.elem |= input.reset.elem
233 # REVISIT does reset make sense outside a form?
235 ## File Upload: <input type='file'>
238 element input { input.file.attrs }
242 & input.file.attrs.type
243 & input.file.attrs.accept?
246 input.file.attrs.type =
250 input.file.attrs.accept =
252 form.data.mimetypelist
255 input.elem |= input.file.elem
257 ## Hidden String: <input type='hidden'>
260 element input { input.hidden.attrs }
264 & input.hidden.attrs.type
265 & input.hidden.attrs.value?
268 input.hidden.attrs.type =
272 input.hidden.attrs.value =
277 input.elem |= input.hidden.elem
279 ## Image Submit Button: <input type='image'>
282 element input { input.image.attrs }
286 & input.image.attrs.type
287 & input.image.attrs.alt
288 & input.image.attrs.src?
289 & ( common.attrs.aria.implicit.button
290 | common.attrs.aria.role.button
291 | common.attrs.aria.role.link
292 | common.attrs.aria.role.menuitem
293 | common.attrs.aria.role.menuitemcheckbox
294 | common.attrs.aria.role.menuitemradio
295 | common.attrs.aria.role.radio
298 input.image.attrs.type =
302 input.image.attrs.alt =
304 form.data.nonemptystring
306 input.image.attrs.src =
308 common.data.uri.non-empty
311 input.elem |= input.image.elem
313 common.elem.phrasing |= input.elem
315 ## Text Area: <textarea>
318 element textarea { textarea.inner & textarea.attrs }
322 & shared-form.attrs.readonly?
323 & textarea.attrs.rows-and-cols-wf1
324 & ( common.attrs.aria.implicit.textbox
325 | common.attrs.aria.role.presentation
326 | common.attrs.aria.role.menuitem
327 | common.attrs.aria.role.textbox
329 #FIXME onfocus, onblur, onselect,onchange
332 textarea.attrs.rows-and-cols-wf1 =
333 textarea.attrs.rows-and-cols-wf1.inner
334 textarea.attrs.rows-and-cols-wf1.inner =
335 ( textarea.attrs.cols
336 & textarea.attrs.rows
338 textarea.attrs.cols =
340 common.data.integer.positive
342 textarea.attrs.rows =
344 common.data.integer.positive
349 common.elem.phrasing |= textarea.elem
351 # Due to limitations with interleave, handling single/multiple selection
352 # enforcement in RELAX NG seems to be possible but really awkward.
353 # Tried it. Leaving it to Schematron.
355 ## Select menu option: <option selected>
358 element option { option.inner & option.attrs }
361 & common-form.attrs.disabled?
362 & option.attrs.selected?
363 & option.attrs.label?
364 & option.attrs.value?
365 & ( common.attrs.aria.implicit.option
366 | common.attrs.aria.role.option
367 | common.attrs.aria.role.menuitem
368 | common.attrs.aria.role.menuitemradio
369 | common.attrs.aria.role.menuitemcheckbox
370 | common.attrs.aria.role.presentation
373 option.attrs.selected =
375 w:string "selected" | w:string ""
379 form.data.nonemptystring
388 ## Option Group: <optgroup>
391 element optgroup { optgroup.inner & optgroup.attrs }
394 & optgroup.attrs.label
395 & common-form.attrs.disabled?
396 & ( common.attrs.aria.role.presentation
397 | common.attrs.aria.role.menuitem
400 optgroup.attrs.label =
406 & common.elem.script-supporting*
409 ## Selection Menu: <select>
412 element select { select.inner & select.attrs }
417 & select.attrs.multiple?
418 # FIXME onfocus, onblur, onchange
419 & ( common.attrs.aria.implicit.listbox
420 | common.attrs.aria.role.listbox # aria-multiselectable depends on "multiple" value; check in assertions
421 | common.attrs.aria.role.menu
422 | common.attrs.aria.role.presentation
423 | common.attrs.aria.role.menuitem
428 common.data.integer.positive
430 select.attrs.multiple =
432 w:string "multiple" | w:string ""
437 & common.elem.script-supporting*
440 common.elem.phrasing |= select.elem
442 ## Shared Definitions for Complex Button
449 ( common.inner.phrasing )
451 ## Complex Submit Button: <button type='submit'>
454 element button { button.inner & button.submit.attrs }
455 button.submit.attrs =
458 & button.submit.attrs.type?
459 & button.attrs.value?
460 & ( common.attrs.aria.implicit.button
461 | common.attrs.aria.role.button
462 | common.attrs.aria.role.link
463 | common.attrs.aria.role.menuitem
464 | common.attrs.aria.role.menuitemcheckbox
465 | common.attrs.aria.role.menuitemradio
466 | common.attrs.aria.role.radio
469 button.submit.attrs.type =
474 button.elem = button.submit.elem
476 ## Complex Reset Button: <button type='reset'>
479 element button { button.inner & button.reset.attrs }
483 & button.reset.attrs.type
484 & button.attrs.value? #REVISIT I guess this still affects the DOM
485 & ( common.attrs.aria.implicit.button
486 | common.attrs.aria.role.button
487 | common.attrs.aria.role.link
488 | common.attrs.aria.role.menuitem
489 | common.attrs.aria.role.menuitemcheckbox
490 | common.attrs.aria.role.menuitemradio
491 | common.attrs.aria.role.radio
494 button.reset.attrs.type =
499 button.elem |= button.reset.elem
501 ## Complex Push Button: <button type='button'>
504 element button { button.inner & button.button.attrs }
505 button.button.attrs =
508 & button.button.attrs.type
509 & button.attrs.value? #REVISIT I guess this still affects the DOM
510 & ( common.attrs.aria.implicit.button
511 | common.attrs.aria.role.button
512 | common.attrs.aria.role.link
513 | common.attrs.aria.role.menuitem
514 | common.attrs.aria.role.menuitemcheckbox
515 | common.attrs.aria.role.menuitemradio
516 | common.attrs.aria.role.radio
519 button.button.attrs.type =
524 button.elem |= button.button.elem
526 common.elem.phrasing |= button.elem
531 element form { form.inner & form.attrs }
534 & form.attrs.action? #REVISIT Should this be required anyway?
536 & form.attrs.enctype?
537 & common-form.attrs.name?
538 & form.attrs.accept-charset?
543 common.data.uri.non-empty
547 form.attrs.method.data
549 form.attrs.method.data =
550 ( w:string "get" | w:string "post" )
553 form.attrs.enctype.data
555 form.attrs.enctype.data =
556 ( w:string "application/x-www-form-urlencoded"
557 | w:string "multipart/form-data"
559 form.attrs.accept-charset =
560 attribute accept-charset {
561 form.data.charsetlist
564 ( common.inner.flow )
566 common.elem.flow |= form.elem
568 ## Fieldset: <fieldset>
571 element fieldset { fieldset.inner & fieldset.attrs }
574 & ( common.attrs.aria.implicit.group
579 ( legend.elem? #REVISIT should this be required?
583 common.elem.flow |= fieldset.elem
588 element label { label.inner & label.attrs }
592 & ( common.attrs.aria.role.presentation
593 | common.attrs.aria.role.menuitem
601 ( common.inner.phrasing ) #REVISIT making obvious guess
603 common.elem.phrasing |= label.elem