aboutsummaryrefslogtreecommitdiff
path: root/demos/sample-files/calc-defs.c
diff options
context:
space:
mode:
Diffstat (limited to 'demos/sample-files/calc-defs.c')
-rw-r--r--demos/sample-files/calc-defs.c41
1 files changed, 29 insertions, 12 deletions
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),
};