Skip to content

Sdf2-Syntax.sdf3

pdmosses/sdf/org.metaborg.meta.lang.template/syntax/sdf2-core/Sdf2-Syntax.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

module sdf2-core/Sdf2-Syntax

imports kernel/Kernel
        basic/Basic
        modules/Modules
        regular/Regular
        lifting/Lifting
        priority/Priority
        characterclass/CC
        sorts/Sorts
        symbols/Start-Symbols
        literals/Literals
        labels/Labels
        restrictions/Restrictions
        aliases/Aliases

context-free syntax

Symbol.Start = <\<START\>>
Symbol.FileStart = <\<Start\>>
Symbol.EOF = <\<EOF\>>

Grammar.LexicalPriorities = <
        lexical priorities 

                <Priorities>

        >

Grammar.ContextFreePriorities = <
        context-free priorities

                <Priorities>

        >

Grammar.LexicalRestrictions = <
        lexical restrictions

                <Restrictions>

        >

Grammar.ContextFreeRestrictions = <
        context-free restrictions

                <Restrictions>

        >

//SDF.Definition = <definition <Definition>> IGNORED PRODUCTION