From 34357640c0676f33ad13aac1fe28effc6f6e47c7 Mon Sep 17 00:00:00 2001
From: kartofen <kartofen.mail.0@protonmail.com>
Date: Sun, 20 Jul 2025 01:32:24 +0300
Subject: start of grammar parsing

---
 demos/sample-files/calc-defs.c | 41 +++++++++++++++++++++++++++++------------
 1 file changed, 29 insertions(+), 12 deletions(-)

(limited to 'demos/sample-files/calc-defs.c')

diff --git a/demos/sample-files/calc-defs.c b/demos/sample-files/calc-defs.c
index 7321a88..103b69e 100644
--- a/demos/sample-files/calc-defs.c
+++ b/demos/sample-files/calc-defs.c
@@ -1,17 +1,19 @@
-#include <stddef.h> // size_t
+#include "util/util.h"
+#define SYMBOLS(X)                                    \
+    X(PLUS) X(MINUS) X(TIMES) X(MORE) X(LESS) X(EQUA) \
+    X(LPAREN) X(RPAREN)                               \
+    X(QMARK) X(COLON)                                 \
+    X(NUM) X(END_INPUT)                               \
+                                                      \
+    X(EP) X(E)                                        \
+    X(SYMBOLS_END)
 
 #include "parts/symbol.h"
-enum symbol {
-    PLUS, MINUS, TIMES,
-    LPAREN, RPAREN,
-    NUM, END_INPUT,
-
-    EP, E, T,
-    SYMBOLS_END,
-};
-
+enum symbol { SYMBOLS(X_TO_ENUM) };
 size_t total_symbols = SYMBOLS_END;
 
+extern char **symbol_to_str = (char *([])){ SYMBOLS(X_TO_STR) };
+
 IMPLEMENT_FUNCPTR(int, symbol_is_terminal, (symbol s)) { return s < EP; }
 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; }
@@ -24,6 +26,12 @@ static struct production _grammar[] = {
     PROD(E, -->, E, MINUS, E),
     PROD(E, -->, E, TIMES, E),
     PROD(E, -->, LPAREN, E, RPAREN),
+    PROD(E, -->, MINUS, E),
+    PROD(E, -->, E, QMARK, E, COLON, E),
+    PROD(E, -->, E, QMARK, E),
+    PROD(E, -->, E, MORE, E),
+    PROD(E, -->, E, LESS, E),
+    PROD(E, -->, E, EQUA, E),
     PROD(E, -->, NUM),
 };
 
@@ -37,20 +45,29 @@ char **semantic_action_str = (char *([])){
     "v = A(0) - A(2);",
     "v = A(0) * A(2);",
     "v = A(1);",
+    "v = - A(1);",
+    "v = A(0) ? A(2) : A(4);",
+    "v = A(0) ? A(2) : 0;",
+    "v = A(0) > A(1);",
+    "v = A(0) < A(1);",
+    "v = A(0) = A(1);",
     "v = A(0);",
 };
 
 #include "parts/precedence.h"
-
 struct precedence_def {
     int flag;
     int *list;
     size_t nlist;
 };
 #define PREC(f, ...) {f, (int[]){__VA_ARGS__}, sizeof((int[]){__VA_ARGS__})/sizeof(int)}
+#define USE_PROD(n) (~(n))
 struct precedence_def _precedence_defs[] = {
+    PREC(0, QMARK),
+    PREC(0, USE_PROD(7)),
+    PREC(PRECEDENCE_LEFT_ASSOC, MORE, LESS, EQUA),
     PREC(PRECEDENCE_LEFT_ASSOC, MINUS, PLUS),
-    PREC(PRECEDENCE_LEFT_ASSOC, TIMES),
+    PREC(PRECEDENCE_LEFT_ASSOC, TIMES, USE_PROD(5)),
     PREC(PRECEDENCE_LEFT_ASSOC, LPAREN, RPAREN),
 };
 
-- 
cgit v1.2.3