Skip to content

WebDSL-Attributes.sdf3

pdmosses/webdsl-statix/webdslstatix/syntax/WebDSL-Attributes.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

module 

imports
  WebDSL-Action
  WebDSL-Lexical
  WebDSL-Core
  WebDSL-UI

context-free sorts

   AttributeCollectionOverride AttributeElem AttributeIncludeIgnore 

context-free syntax

  Definition.AttributeCollection = <
    <AttributeCollectionOverride> attributes <Id> {
      <AttributeElem*>
    }
  >
  AttributeElem.AttributeAssign = <<AttributeId> = <Exp>>
  AttributeElem.AttributeInclude = <<AttributeId> attributes <AttributeIncludeIgnore>>
  AttributeElem.AttributeIgnore = <ignore <AttributeId> attributes>
  AttributeIncludeIgnore.AttributeIncludeIgnoreNone = <>
  AttributeIncludeIgnore.AttributeIncludeIgnore = <ignore <AttributeId+>>
  AttributeCollectionOverride.AttributeCollectionOverrideNone = <>
  AttributeCollectionOverride.AttributeCollectionOverride = <override>

lexical sorts

  

lexical syntax

   = Id
   = "all" {reject}
   = "attributes" {reject}

context-free syntax

  .AttributeSelection = <<AttributeId> attributes>
  .AttributeIgnoreDefault = <ignore default <AttributeId>>

  PropertyAssignment = AttributeSelection
   = AttributeSelection