start of grammar parsing

1 files changed, 65 insertions, 0 deletions

diff --git a/demos/sample-files/gram-defs.c b/demos/sample-files/gram-defs.c
new file mode 100644
index 0000000..733a866
--- /dev/null
+++ b/demos/sample-files/gram-defs.c
@@ -0,0 +1,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;