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.onautocomplete?
 119                 &       scripting.attr.onautocompleteerror?
 120                 &       scripting.attr.onblur?
 121                 &       scripting.attr.oncancel?
 122                 &       scripting.attr.oncanplay?
 123                 &       scripting.attr.oncanplaythrough?
 124                 &       scripting.attr.onchange?
 125                 &       scripting.attr.onclick?
 126                 &       scripting.attr.onclose?
 127                 &       scripting.attr.oncuechange?
 128                 &       scripting.attr.oncontextmenu?
 129                 &       scripting.attr.ondblclick?
 130                 &       scripting.attr.ondrag?
 131                 &       scripting.attr.ondragend?
 132                 &       scripting.attr.ondragenter?
 133                 &       scripting.attr.ondragexit?
 134                 &       scripting.attr.ondragleave?
 135                 &       scripting.attr.ondragover?
 136                 &       scripting.attr.ondragstart?
 137                 &       scripting.attr.ondrop?
 138                 &       scripting.attr.ondurationchange?
 139                 &       scripting.attr.onemptied?
 140                 &       scripting.attr.onended?
 141                 &       scripting.attr.onerror?
 142                 &       scripting.attr.onfocus?
 143                 &       scripting.attr.oninput?
 144                 &       scripting.attr.oninvalid?
 145                 &       scripting.attr.onkeydown?
 146                 &       scripting.attr.onkeypress?
 147                 &       scripting.attr.onkeyup?
 148                 &       scripting.attr.onload?
 149                 &       scripting.attr.onloadeddata?
 150                 &       scripting.attr.onloadedmetadata?
 151                 &       scripting.attr.onloadstart?
 152                 &       scripting.attr.onmousedown?
 153                 &       scripting.attr.onmouseenter?
 154                 &       scripting.attr.onmouseleave?
 155                 &       scripting.attr.onmousemove?
 156                 &       scripting.attr.onmouseout?
 157                 &       scripting.attr.onmouseover?
 158                 &       scripting.attr.onmouseup?
 159                 &       scripting.attr.onwheel?
 160                 &       scripting.attr.onpause?
 161                 &       scripting.attr.onplay?
 162                 &       scripting.attr.onplaying?
 163                 &       scripting.attr.onprogress?
 164                 &       scripting.attr.onratechange?
 165                 &       scripting.attr.onreset?
 166                 &       scripting.attr.onresize?
 167                 &       scripting.attr.onscroll?
 168                 &       scripting.attr.onseeked?
 169                 &       scripting.attr.onseeking?
 170                 &       scripting.attr.onselect?
 171                 &       scripting.attr.onshow?
 172                 &       scripting.attr.onsort?
 173                 &       scripting.attr.onstalled?
 174                 &       scripting.attr.onsubmit?
 175                 &       scripting.attr.onsuspend?
 176                 &       scripting.attr.ontimeupdate?
 177                 &       scripting.attr.ontoggle?
 178                 &       scripting.attr.onvolumechange?
 179                 &       scripting.attr.onwaiting?
 180                 )
 181
 182         common.attrs.other &= common.attrs.scripting
 183
 184         scripting.attr.onabort =
 185                 attribute onabort { common.data.functionbody }
 186         scripting.attr.onautocomplete =
 187                 attribute onautocomplete { common.data.functionbody }
 188         scripting.attr.onautocompleteerror =
 189                 attribute onautocompleteerror { common.data.functionbody }
 190         scripting.attr.onblur =
 191                 attribute onblur { common.data.functionbody }
 192         scripting.attr.oncanplay =
 193                 attribute oncanplay { common.data.functionbody }
 194         scripting.attr.oncancel =
 195                 attribute oncancel { common.data.functionbody }
 196         scripting.attr.oncanplaythrough =
 197                 attribute oncanplaythrough { common.data.functionbody }
 198         scripting.attr.onchange =
 199                 attribute onchange { common.data.functionbody }
 200         scripting.attr.onclick =
 201                 attribute onclick { common.data.functionbody }
 202         scripting.attr.onclose =
 203                 attribute onclose { common.data.functionbody }
 204         scripting.attr.oncontextmenu =
 205                 attribute oncontextmenu { common.data.functionbody }
 206         scripting.attr.oncuechange =
 207                 attribute oncuechange { common.data.functionbody }
 208         scripting.attr.ondblclick =
 209                 attribute ondblclick { common.data.functionbody }
 210         scripting.attr.ondrag =
 211                 attribute ondrag { common.data.functionbody }
 212         scripting.attr.ondragend =
 213                 attribute ondragend { common.data.functionbody }
 214         scripting.attr.ondragenter =
 215                 attribute ondragenter { common.data.functionbody }
 216         scripting.attr.ondragexit =
 217                 attribute ondragexit { common.data.functionbody }
 218         scripting.attr.ondragleave =
 219                 attribute ondragleave { common.data.functionbody }
 220         scripting.attr.ondragover =
 221                 attribute ondragover { common.data.functionbody }
 222         scripting.attr.ondragstart =
 223                 attribute ondragstart { common.data.functionbody }
 224         scripting.attr.ondrop =
 225                 attribute ondrop { common.data.functionbody }
 226         scripting.attr.ondurationchange =
 227                 attribute ondurationchange { common.data.functionbody }
 228         scripting.attr.onemptied =
 229                 attribute onemptied { common.data.functionbody }
 230         scripting.attr.onended =
 231                 attribute onended { common.data.functionbody }
 232         scripting.attr.onerror =
 233                 attribute onerror { common.data.functionbody }
 234         scripting.attr.onfocus =
 235                 attribute onfocus { common.data.functionbody }
 236         scripting.attr.onformchange =
 237                 attribute onformchange { common.data.functionbody }
 238         scripting.attr.onforminput =
 239                 attribute onforminput { common.data.functionbody }
 240         scripting.attr.oninput =
 241                 attribute oninput { common.data.functionbody }
 242         scripting.attr.oninvalid =
 243                 attribute oninvalid { common.data.functionbody }
 244         scripting.attr.onkeydown =
 245                 attribute onkeydown { common.data.functionbody }
 246         scripting.attr.onkeypress =
 247                 attribute onkeypress { common.data.functionbody }
 248         scripting.attr.onkeyup =
 249                 attribute onkeyup { common.data.functionbody }
 250         scripting.attr.onload =
 251                 attribute onload { common.data.functionbody }
 252         scripting.attr.onloadeddata =
 253                 attribute onloadeddata { common.data.functionbody }
 254         scripting.attr.onloadedmetadata =
 255                 attribute onloadedmetadata { common.data.functionbody }
 256         scripting.attr.onloadstart =
 257                 attribute onloadstart { common.data.functionbody }
 258         scripting.attr.onmousedown =
 259                 attribute onmousedown { common.data.functionbody }
 260         scripting.attr.onmouseenter =
 261                 attribute onmouseenter { common.data.functionbody }
 262         scripting.attr.onmouseleave =
 263                 attribute onmouseleave { common.data.functionbody }
 264         scripting.attr.onmousemove =
 265                 attribute onmousemove { common.data.functionbody }
 266         scripting.attr.onmouseout =
 267                 attribute onmouseout { common.data.functionbody }
 268         scripting.attr.onmouseover =
 269                 attribute onmouseover { common.data.functionbody }
 270         scripting.attr.onmouseup =
 271                 attribute onmouseup { common.data.functionbody }
 272         scripting.attr.onwheel =
 273                 attribute onwheel { common.data.functionbody }
 274         scripting.attr.onpause =
 275                 attribute onpause { common.data.functionbody }
 276         scripting.attr.onplay =
 277                 attribute onplay { common.data.functionbody }
 278         scripting.attr.onplaying =
 279                 attribute onplaying { common.data.functionbody }
 280         scripting.attr.onprogress =
 281                 attribute onprogress { common.data.functionbody }
 282         scripting.attr.onratechange =
 283                 attribute onratechange { common.data.functionbody }
 284         scripting.attr.onreset =
 285                 attribute onreset { common.data.functionbody }
 286         scripting.attr.onresize =
 287                 attribute onresize { common.data.functionbody }
 288         scripting.attr.onscroll =
 289                 attribute onscroll { common.data.functionbody }
 290         scripting.attr.onseeked =
 291                 attribute onseeked { common.data.functionbody }
 292         scripting.attr.onseeking =
 293                 attribute onseeking { common.data.functionbody }
 294         scripting.attr.onselect =
 295                 attribute onselect { common.data.functionbody }
 296         scripting.attr.onshow =
 297                 attribute onshow { common.data.functionbody }
 298         scripting.attr.onsort =
 299                 attribute onsort { common.data.functionbody }
 300         scripting.attr.onstalled =
 301                 attribute onstalled { common.data.functionbody }
 302         scripting.attr.onsubmit =
 303                 attribute onsubmit { common.data.functionbody }
 304         scripting.attr.onsuspend =
 305                 attribute onsuspend { common.data.functionbody }
 306         scripting.attr.ontimeupdate =
 307                 attribute ontimeupdate { common.data.functionbody }
 308         scripting.attr.ontoggle =
 309                 attribute ontoggle { common.data.functionbody }
 310         scripting.attr.onvolumechange =
 311                 attribute onvolumechange { common.data.functionbody }
 312         scripting.attr.onwaiting =
 313                 attribute onwaiting { common.data.functionbody }
 314
 315 #       scripting.attr.common =
 316 #               (       scripting.attr.mouse
 317 #               &       scripting.attr.keyboard
 318 #               &       scripting.attr.focus
 319 #               )
 320 #
 321 #       scripting.attr.mouse =
 322 #               (       scripting.attr.mouse.click?
 323 #               &       scripting.attr.mouse.dblclick?
 324 #               &       scripting.attr.mouse.down?
 325 #               &       scripting.attr.mouse.up?
 326 #               &       scripting.attr.mouse.over?
 327 #               &       scripting.attr.mouse.move?
 328 #               &       scripting.attr.mouse.out?
 329 #               )
 330 #               scripting.attr.mouse.click =
 331 #                       attribute onclick { string }
 332 #               scripting.attr.mouse.dblclick =
 333 #                       attribute ondblclick { string }
 334 #               scripting.attr.mouse.down =
 335 #                       attribute onmousedown { string }
 336 #               scripting.attr.mouse.up =
 337 #                       attribute onmouseup { string }
 338 #               scripting.attr.mouse.over =
 339 #                       attribute onmouseover { string }
 340 #               scripting.attr.mouse.move =
 341 #                       attribute onmousemove { string }
 342 #               scripting.attr.mouse.out =
 343 #                       attribute onmouseout { string }
 344 #
 345 #       scripting.attr.keyboard =
 346 #               (       scripting.attr.keyboard.press?
 347 #               &       scripting.attr.keyboard.down?
 348 #               &       scripting.attr.keyboard.up?
 349 #               )
 350 #               scripting.attr.keyboard.press =
 351 #                       attribute onkeypress { string }
 352 #               scripting.attr.keyboard.down =
 353 #                       attribute onkeydown { string }
 354 #               scripting.attr.keyboard.up =
 355 #                       attribute onkeyup { string }
 356 #
 357 #
 358 #       scripting.attr.focus =
 359 #               (       scripting.attr.focus.gain?
 360 #               &       scripting.attr.focus.lose?
 361 #               )
 362 #               scripting.attr.focus.gain =
 363 #                       attribute onfocus { string }
 364 #               scripting.attr.focus.lose =
 365 #                       attribute onblur { string }
 366 #
 367 #       scripting.attr.loading =
 368 #               (       scripting.attr.loading.load?
 369 #               &       scripting.attr.loading.unload?
 370 #               )
 371 #               scripting.attr.loading.load =
 372 #                       attribute onload { string }
 373 #               scripting.attr.loading.unload =
 374 #                       attribute onunload { string }
 375
 376
 377 # #####################################################################
 378 # Event Handler Attribute Assignments
 379
 380 #       body.attrs   &= scripting.attr.loading