aboutsummaryrefslogtreecommitdiff
path: root/demos/sample-files/gram-defs.c
blob: 733a866abf70aa1671a701cc20705ee36412df40 (plain)
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
56
57
58
59
60
61
62
63
64
65
#include "util/util.h"
#define SYMBOLS(X)                                  \
    X(COLON) X(PIPE) X(SEMICOL) X(DOT)              \
    X(D_LEFT) X(D_RIGHT) X(D_TERMINAL) X(D_NONTERM) \
    X(IDEN) X(NUM) X(ACTION) X(END_INPUT)           \
                                                    \
    X(Sp) X(S) X(Slist) X(Prod) X(Prec)             \
    X(Prodlist) X(Idenlist) X(IorN) X(IorNlist)     \
    X(SYMBOLS_END)                                  \

#include "parts/symbol.h"
enum symbol { SYMBOLS(X_TO_ENUM) };
size_t total_symbols = SYMBOLS_END;

char **symbol_to_str = (char *([])){ SYMBOLS(X_TO_STR) };

IMPLEMENT_FUNCPTR(int, symbol_is_terminal, (symbol s)) { return s < Sp; }
IMPLEMENT_FUNCPTR(int, symbol_is_input_end, (symbol s)) { return s == END_INPUT; }
IMPLEMENT_FUNCPTR(int, symbol_is_valid, (symbol s)) { return s < SYMBOLS_END; }

#include "parts/grammar.h"
#define PROD(LHS, _, ...) {LHS, (symbol[]){__VA_ARGS__}, sizeof((symbol[]){__VA_ARGS__})/sizeof(symbol)}
#define GRAMMAR_ACTION_DEF(X)                                          \
    X(PROD(Sp, ->, Slist, END_INPUT), "v = 0;")                        \
    X(PROD(Slist, -->, S, SEMICOL, Slist), "v = 0;")                   \
    X(PROD(Slist, -->, S, DOT), "v = 0;")                              \
    X(PROD(S, -->, Prod), "v = 0;")                                    \
    X(PROD(S, -->, Prec), "v = 0;")                                    \
    X(PROD(Idenlist, -->, IDEN, Idenlist), "v = 0;")                   \
    X(PROD(Idenlist, -->, IDEN), "v = 0;")                             \
    X(PROD(Prod, -->, IDEN, COLON, Prodlist), "v = 0;")                \
    X(PROD(Prodlist, -->, Idenlist, ACTION, PIPE, Prodlist), "printf(\"ACTION: '%s'\\n\", A(1));") \
    X(PROD(Prodlist, -->, Idenlist, ACTION), "printf(\"ACTION: '%s'\\n\", A(1));") \
    X(PROD(Prec, -->, D_TERMINAL, Idenlist), "v = 0;")                 \
    X(PROD(Prec, -->, D_NONTERM,  Idenlist), "v = 0;")                 \
    X(PROD(Prec, -->, D_LEFT,  IorNlist), "v = 0;")                    \
    X(PROD(Prec, -->, D_RIGHT, IorNlist), "v = 0;")                    \
    X(PROD(IorNlist,  -->, IorN, IorNlist), "v = 0;")                  \
    X(PROD(IorNlist,  -->, IorN), "v = 0;")                            \
    X(PROD(IorN, -->, IDEN), "v = 0;")                                 \
    X(PROD(IorN, -->, NUM), "v = 0;")

#define X_GRAMMAR(G, A) G,
#define X_ACTION(G, A) A,

static struct production _grammar[] = {
    GRAMMAR_ACTION_DEF(X_GRAMMAR)
};

struct production *grammar = _grammar;
size_t total_productions = sizeof(_grammar) / sizeof(*_grammar);

// #include "???.h"
char **semantic_action_str = (char *([])){
    GRAMMAR_ACTION_DEF(X_ACTION)
};

#include "parts/precedence.h"
struct precedence_def {
    int flag;
    int *list;
    size_t nlist;
};
struct precedence_def *precedence_defs = NULL;
size_t nprecedence_defs = 0;