aboutsummaryrefslogtreecommitdiff
path: root/demos/instant-parser.c
diff options
context:
space:
mode:
Diffstat (limited to 'demos/instant-parser.c')
-rw-r--r--demos/instant-parser.c61
1 files changed, 61 insertions, 0 deletions
diff --git a/demos/instant-parser.c b/demos/instant-parser.c
new file mode 100644
index 0000000..3a82b07
--- /dev/null
+++ b/demos/instant-parser.c
@@ -0,0 +1,61 @@
+#include <stdio.h>
+#include <stdlib.h>
+
+#include "parts/symbol.h"
+enum symbol {
+ PLUS = 0,
+ MINUS,
+ LPAREN,
+ RPAREN,
+ N0, N1,
+ END_INPUT,
+
+ EP, E, T, N,
+ SYMBOLS_END,
+};
+
+size_t total_symbols = SYMBOLS_END;
+
+int symbol_is_terminal(symbol s) { return s < EP; }
+int symbol_is_input_end(symbol s) { return s == END_INPUT; }
+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)}
+struct production grammar[] = {
+ PROD(EP, ->, E, END_INPUT),
+ PROD(E, -->, E, PLUS, T),
+ PROD(E, -->, E, MINUS, T),
+ PROD(E, -->, T),
+ PROD(T, -->, LPAREN, E, RPAREN),
+ PROD(T, -->, N),
+ PROD(N, -->, N0),
+ PROD(N, -->, N1),
+};
+
+const size_t total_productions = sizeof(grammar)/sizeof(*grammar);
+
+#include "parts/toklist.h"
+static symbol toklist[] = {N0, PLUS, N1, MINUS, N0, END_INPUT};
+static symbol *tok = toklist;
+
+symbol toklist_eat() { return *(tok++); } // unsafe
+symbol toklist_peek() { return *tok; } // unsafe
+
+#include "slr-table.c"
+#include "util-tables.c"
+#include "lr-parser.c"
+
+int main(void)
+{
+ util_tables_fill();
+ table_fill();
+
+ int r = 0;
+ r = lr_parser();
+
+ table_free();
+ util_tables_free();
+
+ return r;
+}