diff options
| author | kartofen <kartofen.mail.0@protonmail.com> | 2025-07-24 23:43:25 +0300 |
|---|---|---|
| committer | kartofen <kartofen.mail.0@protonmail.com> | 2025-07-24 23:43:25 +0300 |
| commit | 059ee9afcc575572f87f224c93288e2835cd1a52 (patch) | |
| tree | 07c315c5bfa192722e4bfb974b1df651089fbacc /demos/sample-files/gram-defs.c | |
| parent | 1d6f6e7c6a07832b3524871fdec86f5329736598 (diff) | |
actually parsing grammar and generating a def.c file
Diffstat (limited to 'demos/sample-files/gram-defs.c')
| -rw-r--r-- | demos/sample-files/gram-defs.c | 72 |
1 files changed, 45 insertions, 27 deletions
diff --git a/demos/sample-files/gram-defs.c b/demos/sample-files/gram-defs.c index 733a866..b93a950 100644 --- a/demos/sample-files/gram-defs.c +++ b/demos/sample-files/gram-defs.c @@ -1,12 +1,13 @@ #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) \ +#define SYMBOLS(X) \ + X(TERMINAL) X(NONTERM) X(LEFT) X(RIGHT) \ + X(COLON) X(PIPE) X(SEMICOL) X(DOT) \ + X(IDEN) X(NUM) X(ACTION) X(END_INPUT) \ + \ + X(Sp) X(A) X(B) X(C) \ + X(Type) X(Prec) X(Prod) X(Preclist) X(Prodlist) \ + X(Actionlist) X(Idenlist) X(IorNlist) \ + X(SYMBOLS_END) \ #include "parts/symbol.h" enum symbol { SYMBOLS(X_TO_ENUM) }; @@ -20,25 +21,41 @@ 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 GRAMMAR_ACTION_DEF(X) \ + X(PROD(Sp, -->, A, B, C, END_INPUT), "") \ + \ + X(PROD(A, -->, TERMINAL, Idenlist, \ + SEMICOL, NONTERM, Idenlist, DOT), "handle_type(A(1), A(4))") \ + \ + X(PROD(B, -->, Preclist), "handle_prec(A(0));") \ + X(PROD(Preclist, -->, Prec, SEMICOL, Preclist), \ + "v = list_new_head(A(2), A(0));") \ + X(PROD(Preclist, -->, Prec, DOT), "v = A(0);") \ + X(PROD(Prec, -->, LEFT, IorNlist), \ + "v = prec_new(A(1), PRECEDENCE_LEFT_ASSOC);") \ + X(PROD(Prec, -->, RIGHT, IorNlist), \ + "v = prec_new(A(1), PRECEDENCE_RIGHT_ASSOC);") \ + \ + X(PROD(C, -->, Prodlist), "handle_prod(A(0));") \ + X(PROD(Prodlist, -->, Prod, SEMICOL, Prodlist), \ + "v = list_new_head(A(2), A(0));") \ + X(PROD(Prodlist, -->, Prod, DOT), "v = A(0);") \ + X(PROD(Prod, -->, IDEN, COLON, Actionlist), \ + "v = prod_new(A(0), A(2));") \ + X(PROD(Actionlist, -->, Idenlist, ACTION, PIPE, Actionlist), \ + "v = list_new_head(A(3), action_new(A(0), A(1)));") \ + X(PROD(Actionlist, -->, Idenlist, ACTION), \ + "v = action_new(A(0), A(1));") \ + \ + X(PROD(Idenlist, -->, IDEN, Idenlist), \ + "v = list_new_head(A(1), ptr_new(A(0)));") \ + X(PROD(Idenlist, -->, IDEN), "v = ptr_new(A(0));") \ + X(PROD(IorNlist, -->, IDEN, IorNlist), \ + "v = list_new_head(A(1), ptr_new(A(0)));") \ + X(PROD(IorNlist, -->, IDEN), "v = ptr_new(A(0));") \ + X(PROD(IorNlist, -->, NUM, IorNlist), \ + "v = list_new_head(A(1), num_new(A(0)));") \ + X(PROD(IorNlist, -->, NUM), "v = num_new(A(0));") \ #define X_GRAMMAR(G, A) G, #define X_ACTION(G, A) A, @@ -61,5 +78,6 @@ struct precedence_def { int *list; size_t nlist; }; + struct precedence_def *precedence_defs = NULL; size_t nprecedence_defs = 0; |