Skip to content

Properties.sdf3

pdmosses/nabl/org.metaborg.meta.lang.nabl/syntax/core/Properties.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

module 

imports

        common/Identifiers  
        terms/Signatures  
        terms/Vars  
        terms/Terms 
        formulas/Formulas 
        core/Namespaces

lexical syntax

   = Id 
   = "type" {reject}
   = SectionKeyword {reject}

  SectionKeyword = "properties" 

   = "<" [A-Za-z\-]* ":" 

context-free syntax

  ModuleSection.Properties = <
  properties   
    <PropertyDef*>
  > 

  PropertyDef.PropertyDef = <
    <PropertyID> of <{NamespaceRef ", "}+> : <Sort>> 

  .TypeProp = <type> 
  .PropertyRef = <<PropertyID>>