code.delx.au - gnu-emacs-elpa/blob - core-scripting.rnc

   1 datatypes w = "http://whattf.org/datatype-draft"
   2
   3 # #####################################################################
   4 ##  RELAX NG Schema for HTML 5: Core Scripting                        #
   5 # #####################################################################
   6
   7 # #####################################################################
   8 ## Scripting Elements
   9
  10 ## Inline Scripts: <script>
  11
  12         script.elem.embedded =
  13                 element script { script.inner.embedded & script.attrs.embedded }
  14         script.attrs.embedded =
  15                 (       common.attrs
  16                 &       script.attrs.type?
  17                 &       script.attrs.language? # restricted in Schematron
  18                 &       script.attrs.integrity?
  19                 &       embedded.content.attrs.crossorigin?
  20                 &       (       common.attrs.aria.role.presentation
  21                         |       common.attrs.aria.role.menuitem
  22                         )?
  23                 )
  24         script.elem.imported =
  25                 element script { script.inner.imported & script.attrs.imported }
  26         script.attrs.imported =
  27                 (       common.attrs
  28                 &       script.attrs.src?
  29                 &       script.attrs.defer?
  30                 &       script.attrs.async?
  31                 &       script.attrs.type?
  32                 &       script.attrs.charset?
  33                 &       script.attrs.language? # restricted in Schematron
  34                 &       script.attrs.integrity?
  35                 &       embedded.content.attrs.crossorigin?
  36                 &       (       common.attrs.aria.role.presentation
  37                         |       common.attrs.aria.role.menuitem
  38                         )?
  39                 )
  40                 script.attrs.src =
  41                         attribute src {
  42                                 common.data.uri.non-empty
  43                         }
  44                 script.attrs.defer =
  45                         attribute defer {
  46                                 w:string "defer" | w:string ""
  47                         }
  48                 script.attrs.async =
  49                         attribute async {
  50                                 w:string "async" | w:string ""
  51                         } & v5only
  52                 script.attrs.type =
  53                         attribute type {
  54                                 common.data.mimetype # XXX without charset parameter!
  55                         }
  56                 script.attrs.charset =
  57                         attribute charset {
  58                                 common.data.charset
  59                         }
  60                 script.attrs.language =
  61                         attribute language {
  62                                 string
  63                         }
  64                 script.attrs.integrity =
  65                         attribute integrity {
  66                                 common.data.integrity
  67                         }
  68         script.inner.embedded =
  69                 ( common.inner.anything )
  70         script.inner.imported =
  71                 ( common.inner.anything )
  72
  73         script.elem =
  74                 (       script.elem.embedded
  75                 |       script.elem.imported
  76                 )
  77
  78         common.elem.metadata |= script.elem
  79         common.elem.phrasing |= script.elem
  80
  81 ## Fallback Unscripted Content: <noscript>
  82
  83         noscript.elem.head =
  84                 element noscript { noscript.inner.head & noscript.attrs }
  85                 & HTMLonly
  86                 noscript.inner.head =
  87                         (       link.elem
  88                         |       meta.http-equiv.default-style.elem
  89                         |       meta.http-equiv.refresh.elem
  90                         |       style.elem
  91                         )*
  92         noscript.elem.phrasing =
  93                 element noscript { noscript.inner.phrasing & noscript.attrs }
  94                 & HTMLonly
  95         noscript.inner.phrasing =
  96                 ( common.inner.phrasing )
  97         noscript.elem.flow =
  98                 element noscript { noscript.inner.flow & noscript.attrs }
  99                 & HTMLonly
 100         noscript.inner.flow =
 101                 ( common.inner.flow )
 102         noscript.attrs =
 103                 (       common.attrs
 104                 &       (       common.attrs.aria.role.presentation
 105                         |       common.attrs.aria.role.menuitem
 106                         )?
 107                 )
 108
 109         common.elem.metadata |= noscript.elem.head
 110         common.elem.phrasing |= noscript.elem.phrasing
 111         common.elem.flow |= noscript.elem.flow
 112
 113 # #####################################################################
 114 ## Event Handler Attribute Definitions
 115
 116         common.attrs.scripting &=
 117                 (       scripting.attr.onabort?
 118                 &       scripting.attr.onblur?
 119                 &       scripting.attr.oncanplay?
 120                 &       scripting.attr.oncanplaythrough?
 121                 &       scripting.attr.onchange?
 122                 &       scripting.attr.onclick?
 123                 &       scripting.attr.onclose?
 124                 &       scripting.attr.oncontextmenu?
 125                 &       scripting.attr.ondblclick?
 126                 &       scripting.attr.ondrag?
 127                 &       scripting.attr.ondragend?
 128                 &       scripting.attr.ondragenter?
 129                 &       scripting.attr.ondragleave?
 130                 &       scripting.attr.ondragover?
 131                 &       scripting.attr.ondragstart?
 132                 &       scripting.attr.ondrop?
 133                 &       scripting.attr.ondurationchange?
 134                 &       scripting.attr.onemptied?
 135                 &       scripting.attr.onended?
 136                 &       scripting.attr.onerror?
 137                 &       scripting.attr.onfocus?
 138                 &       scripting.attr.oninput?
 139                 &       scripting.attr.oninvalid?
 140                 &       scripting.attr.onkeydown?
 141                 &       scripting.attr.onkeypress?
 142                 &       scripting.attr.onkeyup?
 143                 &       scripting.attr.onload?
 144                 &       scripting.attr.onloadeddata?
 145                 &       scripting.attr.onloadedmetadata?
 146                 &       scripting.attr.onloadstart?
 147                 &       scripting.attr.onmousedown?
 148                 &       scripting.attr.onmousemove?
 149                 &       scripting.attr.onmouseout?
 150                 &       scripting.attr.onmouseover?
 151                 &       scripting.attr.onmouseup?
 152                 &       scripting.attr.onmousewheel?
 153                 &       scripting.attr.onpause?
 154                 &       scripting.attr.onplay?
 155                 &       scripting.attr.onplaying?
 156                 &       scripting.attr.onprogress?
 157                 &       scripting.attr.onratechange?
 158                 &       scripting.attr.onreset?
 159                 &       scripting.attr.onscroll?
 160                 &       scripting.attr.onseeked?
 161                 &       scripting.attr.onseeking?
 162                 &       scripting.attr.onselect?
 163                 &       scripting.attr.onshow?
 164                 &       scripting.attr.onstalled?
 165                 &       scripting.attr.onsubmit?
 166                 &       scripting.attr.onsuspend?
 167                 &       scripting.attr.ontimeupdate?
 168                 &       scripting.attr.onvolumechange?
 169                 &       scripting.attr.onwaiting?
 170                 )
 171
 172         common.attrs.other &= common.attrs.scripting
 173
 174         scripting.attr.onabort =
 175                 attribute onabort { common.data.functionbody }
 176         scripting.attr.onblur =
 177                 attribute onblur { common.data.functionbody }
 178         scripting.attr.oncanplay =
 179                 attribute oncanplay { common.data.functionbody }
 180         scripting.attr.oncanplaythrough =
 181                 attribute oncanplaythrough { common.data.functionbody }
 182         scripting.attr.onchange =
 183                 attribute onchange { common.data.functionbody }
 184         scripting.attr.onclick =
 185                 attribute onclick { common.data.functionbody }
 186         scripting.attr.onclose =
 187                 attribute onclose { common.data.functionbody }
 188         scripting.attr.oncontextmenu =
 189                 attribute oncontextmenu { common.data.functionbody }
 190         scripting.attr.ondblclick =
 191                 attribute ondblclick { common.data.functionbody }
 192         scripting.attr.ondrag =
 193                 attribute ondrag { common.data.functionbody }
 194         scripting.attr.ondragend =
 195                 attribute ondragend { common.data.functionbody }
 196         scripting.attr.ondragenter =
 197                 attribute ondragenter { common.data.functionbody }
 198         scripting.attr.ondragleave =
 199                 attribute ondragleave { common.data.functionbody }
 200         scripting.attr.ondragover =
 201                 attribute ondragover { common.data.functionbody }
 202         scripting.attr.ondragstart =
 203                 attribute ondragstart { common.data.functionbody }
 204         scripting.attr.ondrop =
 205                 attribute ondrop { common.data.functionbody }
 206         scripting.attr.ondurationchange =
 207                 attribute ondurationchange { common.data.functionbody }
 208         scripting.attr.onemptied =
 209                 attribute onemptied { common.data.functionbody }
 210         scripting.attr.onended =
 211                 attribute onended { common.data.functionbody }
 212         scripting.attr.onerror =
 213                 attribute onerror { common.data.functionbody }
 214         scripting.attr.onfocus =
 215                 attribute onfocus { common.data.functionbody }
 216         scripting.attr.onformchange =
 217                 attribute onformchange { common.data.functionbody }
 218         scripting.attr.onforminput =
 219                 attribute onforminput { common.data.functionbody }
 220         scripting.attr.oninput =
 221                 attribute oninput { common.data.functionbody }
 222         scripting.attr.oninvalid =
 223                 attribute oninvalid { common.data.functionbody }
 224         scripting.attr.onkeydown =
 225                 attribute onkeydown { common.data.functionbody }
 226         scripting.attr.onkeypress =
 227                 attribute onkeypress { common.data.functionbody }
 228         scripting.attr.onkeyup =
 229                 attribute onkeyup { common.data.functionbody }
 230         scripting.attr.onload =
 231                 attribute onload { common.data.functionbody }
 232         scripting.attr.onloadeddata =
 233                 attribute onloadeddata { common.data.functionbody }
 234         scripting.attr.onloadedmetadata =
 235                 attribute onloadedmetadata { common.data.functionbody }
 236         scripting.attr.onloadstart =
 237                 attribute onloadstart { common.data.functionbody }
 238         scripting.attr.onmousedown =
 239                 attribute onmousedown { common.data.functionbody }
 240         scripting.attr.onmousemove =
 241                 attribute onmousemove { common.data.functionbody }
 242         scripting.attr.onmouseout =
 243                 attribute onmouseout { common.data.functionbody }
 244         scripting.attr.onmouseover =
 245                 attribute onmouseover { common.data.functionbody }
 246         scripting.attr.onmouseup =
 247                 attribute onmouseup { common.data.functionbody }
 248         scripting.attr.onmousewheel =
 249                 attribute onmousewheel { common.data.functionbody }
 250         scripting.attr.onpause =
 251                 attribute onpause { common.data.functionbody }
 252         scripting.attr.onplay =
 253                 attribute onplay { common.data.functionbody }
 254         scripting.attr.onplaying =
 255                 attribute onplaying { common.data.functionbody }
 256         scripting.attr.onprogress =
 257                 attribute onprogress { common.data.functionbody }
 258         scripting.attr.onratechange =
 259                 attribute onratechange { common.data.functionbody }
 260         scripting.attr.onreset =
 261                 attribute onreset { common.data.functionbody }
 262         scripting.attr.onscroll =
 263                 attribute onscroll { common.data.functionbody }
 264         scripting.attr.onseeked =
 265                 attribute onseeked { common.data.functionbody }
 266         scripting.attr.onseeking =
 267                 attribute onseeking { common.data.functionbody }
 268         scripting.attr.onselect =
 269                 attribute onselect { common.data.functionbody }
 270         scripting.attr.onshow =
 271                 attribute onshow { common.data.functionbody }
 272         scripting.attr.onstalled =
 273                 attribute onstalled { common.data.functionbody }
 274         scripting.attr.onsubmit =
 275                 attribute onsubmit { common.data.functionbody }
 276         scripting.attr.onsuspend =
 277                 attribute onsuspend { common.data.functionbody }
 278         scripting.attr.ontimeupdate =
 279                 attribute ontimeupdate { common.data.functionbody }
 280         scripting.attr.onvolumechange =
 281                 attribute onvolumechange { common.data.functionbody }
 282         scripting.attr.onwaiting =
 283                 attribute onwaiting { common.data.functionbody }
 284
 285 #       scripting.attr.common =
 286 #               (       scripting.attr.mouse
 287 #               &       scripting.attr.keyboard
 288 #               &       scripting.attr.focus
 289 #               )
 290 #
 291 #       scripting.attr.mouse =
 292 #               (       scripting.attr.mouse.click?
 293 #               &       scripting.attr.mouse.dblclick?
 294 #               &       scripting.attr.mouse.down?
 295 #               &       scripting.attr.mouse.up?
 296 #               &       scripting.attr.mouse.over?
 297 #               &       scripting.attr.mouse.move?
 298 #               &       scripting.attr.mouse.out?
 299 #               )
 300 #               scripting.attr.mouse.click =
 301 #                       attribute onclick { string }
 302 #               scripting.attr.mouse.dblclick =
 303 #                       attribute ondblclick { string }
 304 #               scripting.attr.mouse.down =
 305 #                       attribute onmousedown { string }
 306 #               scripting.attr.mouse.up =
 307 #                       attribute onmouseup { string }
 308 #               scripting.attr.mouse.over =
 309 #                       attribute onmouseover { string }
 310 #               scripting.attr.mouse.move =
 311 #                       attribute onmousemove { string }
 312 #               scripting.attr.mouse.out =
 313 #                       attribute onmouseout { string }
 314 #
 315 #       scripting.attr.keyboard =
 316 #               (       scripting.attr.keyboard.press?
 317 #               &       scripting.attr.keyboard.down?
 318 #               &       scripting.attr.keyboard.up?
 319 #               )
 320 #               scripting.attr.keyboard.press =
 321 #                       attribute onkeypress { string }
 322 #               scripting.attr.keyboard.down =
 323 #                       attribute onkeydown { string }
 324 #               scripting.attr.keyboard.up =
 325 #                       attribute onkeyup { string }
 326 #
 327 #
 328 #       scripting.attr.focus =
 329 #               (       scripting.attr.focus.gain?
 330 #               &       scripting.attr.focus.lose?
 331 #               )
 332 #               scripting.attr.focus.gain =
 333 #                       attribute onfocus { string }
 334 #               scripting.attr.focus.lose =
 335 #                       attribute onblur { string }
 336 #
 337 #       scripting.attr.loading =
 338 #               (       scripting.attr.loading.load?
 339 #               &       scripting.attr.loading.unload?
 340 #               )
 341 #               scripting.attr.loading.load =
 342 #                       attribute onload { string }
 343 #               scripting.attr.loading.unload =
 344 #                       attribute onunload { string }
 345
 346
 347 # #####################################################################
 348 # Event Handler Attribute Assignments
 349
 350 #       body.attrs   &= scripting.attr.loading