Skip to content

WebDSL-JavaScript.sdf3

pdmosses/webdsl-statix/webdslstatix/syntax/WebDSL-JavaScript.sdf3

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55

module WebDSL-JavaScript

imports
  WebDSL-Action
  WebDSL-Attributes
  WebDSL-UI
  WebDSL-XML

context-free syntax

  TemplateElement.JSElement = <
    \< script <Attribute*> \>
      <JSPart*>
    \</ script \>
  >
  TemplateElement.StyleElement = <
    \< style <Attribute*> \>
      <JSPart*>
    \</ style \>
  >

context-free sorts

  

syntax

  -CF.JSExp = "~" Exp-CF
  -CF.JSString = JSString-LEX

lexical sorts

     JSTilde

lexical syntax

   = JSChar+
   = JSChar* "\\" {reject}

   = ~[\<\~]

   = JSSmallerThan
   = [\<]

   = JSTilde
  JSTilde = "\\~"

  XMLTagName = "script" {reject}
  XMLTagName = "style" {reject}

lexical restrictions

  JSSmallerThan -/- [\/]
  JSString -/- ~[\<\~]
  JSString -/- [\<] . ~[\/]