| datatypes w = "http://whattf.org/datatype-draft" |
| |
| # ##################################################################### |
| ## RELAX NG Schema for HTML 5: Web Application Features # |
| # ##################################################################### |
| |
| ## Additions to Common Attributes |
| |
| common.attrs.interact &= |
| ( common.attrs.contextmenu? |
| & common.attrs.contenteditable? |
| & common.attrs.draggable? |
| & common.attrs.dropzone? |
| & common.attrs.hidden? |
| & common.attrs.spellcheck? |
| ) |
| |
| common.attrs.other &= common.attrs.interact |
| |
| ## Context Menu: contextmenu |
| |
| common.attrs.contextmenu = |
| attribute contextmenu { |
| common.data.idref |
| } |
| |
| ## Editable Content: contenteditable |
| |
| common.attrs.contenteditable = |
| attribute contenteditable { |
| w:string "true" | w:string "false" | w:string "" |
| } |
| |
| ## Draggable Element: draggable |
| |
| common.attrs.draggable = |
| attribute draggable { |
| w:string "true" | w:string "false" |
| } |
| |
| ## Dropzone: dropzone |
| |
| common.attrs.dropzone = |
| attribute dropzone { |
| list { |
| ( xsd:string { pattern = "[sS][tT][rR][iI][nN][gG]:.+" } |
| | xsd:string { pattern = "[fF][iI][lL][eE]:.+" } |
| )* |
| , |
| ( w:string "copy" |
| | w:string "move" |
| | w:string "link" |
| )? |
| , |
| ( xsd:string { pattern = "[sS][tT][rR][iI][nN][gG]:.+" } |
| | xsd:string { pattern = "[fF][iI][lL][eE]:.+" } |
| )* |
| } |
| } |
| |
| ## Hidden Element: hidden |
| |
| common.attrs.hidden = |
| attribute hidden { |
| w:string "hidden" | w:string "" |
| } |
| |
| ## Spellchecking and grammar checking: spellcheck |
| |
| common.attrs.spellcheck = |
| attribute spellcheck{ |
| w:string "true" | w:string "false" | w:string "" |
| } |
| |
| ## Application Cache: manifest |
| |
| html.attrs.manifest = |
| attribute manifest { |
| common.data.uri.non-empty |
| } |
| |
| html.attrs &= html.attrs.manifest? |
| |
| ## Progess Indicator: <progress> |
| |
| progress.elem = |
| element progress { progress.inner & progress.attrs } |
| progress.attrs = |
| ( common.attrs |
| & progress.attrs.value? |
| & progress.attrs.max? |
| & ( common.attrs.aria.implicit.progressbar |
| | common.attrs.aria.role.progressbar |
| | common.attrs.aria.role.presentation |
| | common.attrs.aria.role.menuitem |
| )? |
| ) |
| progress.attrs.value = |
| attribute value { |
| common.data.float.non-negative |
| } |
| progress.attrs.max = |
| attribute max { |
| common.data.float.positive |
| } |
| progress.inner = |
| ( common.inner.phrasing ) #Cannot enforce textContent format here |
| |
| common.elem.phrasing |= progress.elem |
| |
| ## Dialog box, inspector, or window: <dialog> |
| dialog.elem = |
| element dialog { dialog.inner & dialog.attrs } |
| dialog.attrs = |
| ( common.attrs |
| & dialog.attrs.open? |
| & ( common.attrs.aria.implicit.dialog |
| | common.attrs.aria.role.alert |
| | common.attrs.aria.role.alertdialog |
| | common.attrs.aria.role.contentinfo |
| | common.attrs.aria.role.dialog |
| | common.attrs.aria.role.log |
| | common.attrs.aria.role.marquee |
| | common.attrs.aria.role.region |
| | common.attrs.aria.role.status |
| | common.attrs.aria.landmark.application |
| | common.attrs.aria.landmark.document |
| | common.attrs.aria.landmark.main |
| | common.attrs.aria.landmark.search |
| )? |
| ) |
| dialog.attrs.open = |
| attribute open { |
| w:string "open" | w:string "" |
| } |
| dialog.inner = |
| ( common.inner.flow ) |
| common.elem.flow |= dialog.elem |
| |
| ## Toolbar: <menu type=toolbar> |
| |
| menu.toolbar.elem = |
| element menu { menu.toolbar.inner & menu.toolbar.attrs } |
| menu.toolbar.attrs = |
| ( common.attrs |
| & menu.toolbar.attrs.type? |
| & ( common.attrs.aria.implicit.toolbar |
| | common.attrs.aria.role.directory |
| | common.attrs.aria.role.list |
| | common.attrs.aria.role.listbox |
| | common.attrs.aria.role.menu |
| | common.attrs.aria.role.menubar |
| | common.attrs.aria.role.tablist |
| | common.attrs.aria.role.toolbar |
| | common.attrs.aria.role.tree |
| | common.attrs.aria.role.presentation |
| )? |
| ) |
| menu.toolbar.attrs.type = |
| attribute type { |
| w:string "toolbar" |
| } |
| menu.toolbar.inner = |
| ( mli.elem* |
| | common.inner.flow |
| ) |
| menu.elem |= menu.toolbar.elem |
| |
| ## Toolbar item: <li> |
| |
| mli.elem = |
| element li { mli.inner & mli.attrs } |
| mli.attrs = |
| ( common.attrs |
| & ( ( common.attrs.aria.role.listitem |
| | common.attrs.aria.role.menuitem |
| | common.attrs.aria.role.menuitemcheckbox |
| | common.attrs.aria.role.menuitemradio |
| | common.attrs.aria.role.option |
| | common.attrs.aria.role.tab |
| | common.attrs.aria.role.treeitem |
| | common.attrs.aria.role.presentation |
| ) |
| )? |
| ) |
| mli.inner = |
| ( common.inner.flow ) |
| |
| ## Popup menu: <menu type=popup> |
| |
| menu.popup.elem = |
| element menu { menu.popup.inner & menu.popup.attrs } |
| menu.popup.attrs = |
| ( common.attrs |
| & menu.popup.attrs.type? |
| & menu.attrs.label? |
| & common.attrs.aria? |
| ) |
| menu.popup.attrs.type = |
| attribute type { |
| w:string "popup" |
| } |
| menu.attrs.label = |
| attribute label { |
| string |
| } |
| menu.popup.inner = |
| ( menuitem.elem* |
| & hr.elem* |
| & menu.popup.elem* |
| & common.elem.script-supporting* |
| ) |
| menu.elem |= menu.popup.elem |
| |
| ## Ambiguous menu: <menu> (with no "type" attribute) |
| menu.ambiguous.elem = |
| element menu { menu.ambiguous.inner & menu.ambiguous.attrs } |
| menu.ambiguous.attrs = |
| ( common.attrs |
| & menu.attrs.label? |
| & common.attrs.aria? |
| ) |
| menu.ambiguous.inner = |
| ( ( menuitem.elem* |
| & hr.elem* |
| & menu.ambiguous.elem* |
| & common.elem.script-supporting* |
| ) |
| | ( mli.elem* |
| | common.inner.flow |
| ) |
| ) |
| menu.elem |= menu.ambiguous.elem |
| |
| common.elem.flow |= menu.elem |
| # REVISIT allow nested menus |
| |
| ## Explicit command in popup menu: <menuitem type=command> |
| menuitem.explicit.command.elem = |
| element menuitem { menuitem.inner & menuitem.explicit.command.attrs } |
| menuitem.explicit.command.attrs = |
| ( common.attrs |
| & menuitem.explicit.command.attrs.type? |
| & menuitem.attrs.label? |
| & menuitem.attrs.icon? |
| & menuitem.attrs.disabled? |
| & menuitem.attrs.default? |
| & common.attrs.aria? |
| ) |
| menuitem.explicit.command.attrs.type = |
| attribute type { |
| w:string "command" |
| } |
| menuitem.attrs.label = |
| attribute label { |
| w:non-empty-string |
| } |
| menuitem.attrs.icon = |
| attribute icon { |
| common.data.uri.non-empty |
| } |
| menuitem.attrs.disabled = |
| attribute disabled { |
| w:string "" | w:string "disabled" |
| } |
| menuitem.attrs.default = |
| attribute default { |
| w:string "" | w:string "default" |
| } |
| menuitem.elem |= menuitem.explicit.command.elem |
| |
| ## Checkbox in popup menu: <menuitem type=checkbox> |
| menuitem.checkbox.elem = |
| element menuitem { menuitem.inner & menuitem.checkbox.attrs } |
| menuitem.checkbox.attrs = |
| ( common.attrs |
| & menuitem.checkbox.attrs.type |
| & menuitem.attrs.label? |
| & menuitem.attrs.icon? |
| & menuitem.attrs.disabled? |
| & menuitem.attrs.checked? |
| & menuitem.attrs.radiogroup? |
| & menuitem.attrs.default? |
| & common.attrs.aria? |
| ) |
| menuitem.checkbox.attrs.type = |
| attribute type { |
| w:string "checkbox" |
| } |
| menuitem.attrs.checked = |
| attribute checked { |
| w:string "checked" | w:string "" |
| } |
| menuitem.attrs.radiogroup = |
| attribute radiogroup { |
| string |
| } |
| menuitem.elem |= menuitem.checkbox.elem |
| |
| ## Radio button in popup menu: <menuitem type=radio> |
| menuitem.radio.elem = |
| element menuitem { menuitem.inner & menuitem.radio.attrs } |
| menuitem.radio.attrs = |
| ( common.attrs |
| & menuitem.radio.attrs.type |
| & menuitem.attrs.label? |
| & menuitem.attrs.icon? |
| & menuitem.attrs.disabled? |
| & menuitem.attrs.checked? |
| & menuitem.attrs.radiogroup? |
| & menuitem.attrs.default? |
| & common.attrs.aria? |
| ) |
| menuitem.radio.attrs.type = |
| attribute type { |
| w:string "radio" |
| } |
| menuitem.elem |= menuitem.radio.elem |
| |
| ## Indirect command in popup menu: <menuitem command> |
| menuitem.indirect.command.elem = |
| element menuitem { menuitem.inner & menuitem.indirect.command.attrs } |
| menuitem.indirect.command.attrs = |
| ( common.attrs |
| & menuitem.attrs.default? |
| & menuitem.attrs.command |
| & common.attrs.aria? |
| ) |
| menuitem.attrs.command = |
| attribute command { |
| common.data.idref |
| } |
| menuitem.elem |= menuitem.indirect.command.elem |
| |
| menuitem.inner = |
| ( empty ) |
| |
| ## Canvas for Dynamic Graphics: <canvas> |
| |
| canvas.elem.flow = |
| element canvas { canvas.inner.flow & canvas.attrs } |
| canvas.elem.phrasing = |
| element canvas { canvas.inner.phrasing & canvas.attrs } |
| canvas.attrs = |
| ( common.attrs |
| & canvas.attrs.height? |
| & canvas.attrs.width? |
| & common.attrs.aria? |
| ) |
| canvas.attrs.height = |
| attribute height { |
| common.data.integer.non-negative |
| } |
| canvas.attrs.width = |
| attribute width { |
| common.data.integer.non-negative |
| } |
| canvas.inner.flow = |
| ( common.inner.transparent.flow ) |
| canvas.inner.phrasing = |
| ( common.inner.phrasing ) |
| |
| common.elem.flow |= canvas.elem.flow |
| common.elem.phrasing |= canvas.elem.phrasing |
| |
| ## Additional On-Demand Information: <details> |
| |
| details.elem = |
| element details { details.inner & details.attrs } |
| details.attrs = |
| ( common.attrs |
| & details.attrs.open? |
| & ( common.attrs.aria.implicit.group # aria-expanded must be true if open attr present; check by assertions |
| | common.attrs.aria.role.alertdialog |
| | common.attrs.aria.role.banner |
| | common.attrs.aria.role.button |
| | common.attrs.aria.role.combobox |
| | common.attrs.aria.role.dialog |
| | common.attrs.aria.role.directory |
| | common.attrs.aria.role.group |
| | common.attrs.aria.role.heading |
| | common.attrs.aria.role.img |
| | common.attrs.aria.role.link |
| | common.attrs.aria.role.list |
| | common.attrs.aria.role.listbox |
| | common.attrs.aria.role.listitem |
| | common.attrs.aria.role.log |
| | common.attrs.aria.role.marquee |
| | common.attrs.aria.role.menu |
| | common.attrs.aria.role.menubar |
| | common.attrs.aria.role.note |
| | common.attrs.aria.role.status |
| | common.attrs.aria.role.tab |
| | common.attrs.aria.role.tablist |
| | common.attrs.aria.role.tabpanel |
| | common.attrs.aria.role.toolbar |
| | common.attrs.aria.role.tree |
| | common.attrs.aria.role.treeitem |
| | common.attrs.aria.landmark.application |
| | common.attrs.aria.landmark.article |
| | common.attrs.aria.landmark.complementary |
| | common.attrs.aria.landmark.contentinfo |
| | common.attrs.aria.landmark.document |
| | common.attrs.aria.landmark.form |
| | common.attrs.aria.landmark.main |
| | common.attrs.aria.landmark.navigation |
| | common.attrs.aria.landmark.search |
| )? |
| ) |
| details.attrs.open = |
| attribute open { |
| w:string "open" | w:string "" |
| } |
| details.inner = |
| ( summary.elem |
| , common.inner.flow |
| ) |
| |
| common.elem.flow |= details.elem |
| |
| ## Caption/summary for details element: <summary> |
| |
| summary.elem = |
| element summary { summary.inner & summary.attrs } |
| summary.attrs = |
| ( common.attrs |
| & ( common.attrs.aria.role.presentation |
| | common.attrs.aria.role.menuitem |
| | common.attrs.aria.role.button |
| )? |
| ) |
| summary.inner = |
| ( common.inner.phrasing |
| | h1.elem |
| | h2.elem |
| | h3.elem |
| | h4.elem |
| | h5.elem |
| | h6.elem |
| | hgroup.elem |
| ) |
