summaryrefslogtreecommitdiffstats
path: root/main.c
diff options
context:
space:
mode:
Diffstat (limited to 'main.c')
-rw-r--r--main.c147
1 files changed, 147 insertions, 0 deletions
diff --git a/main.c b/main.c
new file mode 100644
index 00000000..0a9eefe8
--- /dev/null
+++ b/main.c
@@ -0,0 +1,147 @@
+#include <stdio.h>
+#include <string.h>
+#include "compile.h"
+#include "builtin.h"
+#include "jv.h"
+#include "jv_parse.h"
+#include "locfile.h"
+#include "parser.h"
+
+
+void jq_init(struct bytecode* bc, jv value);
+jv jq_next();
+void jq_teardown();
+
+struct bytecode* jq_compile(const char* str) {
+ struct locfile locations;
+ locfile_init(&locations, str, strlen(str));
+ block program;
+ struct bytecode* bc = 0;
+ int nerrors = jq_parse(&locations, &program);
+ if (nerrors == 0) {
+ block_append(&program, block_join(gen_op_simple(YIELD), gen_op_simple(BACKTRACK)));
+ program = builtins_bind(program);
+ nerrors = block_compile(program, &locations, &bc);
+ block_free(program);
+ }
+ if (nerrors) {
+ fprintf(stderr, "%d compile %s\n", nerrors, nerrors > 1 ? "errors" : "error");
+ }
+ locfile_free(&locations);
+ return bc;
+}
+
+int skipline(const char* buf) {
+ int p = 0;
+ while (buf[p] == ' ' || buf[p] == '\t') p++;
+ if (buf[p] == '#' || buf[p] == '\n' || buf[p] == 0) return 1;
+ return 0;
+}
+
+void run_tests() {
+ FILE* testdata = fopen("testdata","r");
+ char buf[4096];
+ int tests = 0, passed = 0;
+
+ while (1) {
+ if (!fgets(buf, sizeof(buf), testdata)) break;
+ if (skipline(buf)) continue;
+ printf("Testing %s\n", buf);
+ int pass = 1;
+ struct bytecode* bc = jq_compile(buf);
+ assert(bc);
+ printf("Disassembly:\n");
+ dump_disassembly(2, bc);
+ printf("\n");
+ fgets(buf, sizeof(buf), testdata);
+ jv input = jv_parse(buf);
+ assert(jv_is_valid(input));
+ jq_init(bc, input);
+
+ while (fgets(buf, sizeof(buf), testdata)) {
+ if (skipline(buf)) break;
+ jv expected = jv_parse(buf);
+ assert(jv_is_valid(expected));
+ jv actual = jq_next();
+ if (!jv_is_valid(actual)) {
+ jv_free(actual);
+ printf("Insufficient results\n");
+ pass = 0;
+ break;
+ } else if (!jv_equal(jv_copy(expected), jv_copy(actual))) {
+ printf("Expected ");
+ jv_dump(jv_copy(expected), 0);
+ printf(", but got ");
+ jv_dump(jv_copy(actual), 0);
+ printf("\n");
+ pass = 0;
+ }
+ jv as_string = jv_dump_string(jv_copy(expected), rand());
+ jv reparsed = jv_parse_sized(jv_string_value(as_string), jv_string_length(jv_copy(as_string)));
+ assert(jv_equal(jv_copy(expected), jv_copy(reparsed)));
+ jv_free(as_string);
+ jv_free(reparsed);
+ jv_free(expected);
+ jv_free(actual);
+ }
+ if (pass) {
+ jv extra = jq_next();
+ if (jv_is_valid(extra)) {
+ printf("Superfluous result: ");
+ jv_dump(extra, 0);
+ printf("\n");
+ pass = 0;
+ } else {
+ jv_free(extra);
+ }
+ }
+ jq_teardown();
+ bytecode_free(bc);
+ tests++;
+ passed+=pass;
+ }
+ fclose(testdata);
+ printf("%d of %d tests passed\n", passed,tests);
+}
+
+int main(int argc, char* argv[]) {
+ if (argc == 1) { run_tests(); return 0; }
+ struct bytecode* bc = jq_compile(argv[1]);
+ if (!bc) return 1;
+
+#if JQ_DEBUG
+ dump_disassembly(0, bc);
+ printf("\n");
+#endif
+
+ struct jv_parser parser;
+ jv_parser_init(&parser);
+ while (!feof(stdin)) {
+ char buf[4096];
+ if (!fgets(buf, sizeof(buf), stdin)) buf[0] = 0;
+ jv_parser_set_buf(&parser, buf, strlen(buf), !feof(stdin));
+ jv value;
+ while (jv_is_valid((value = jv_parser_next(&parser)))) {
+ jq_init(bc, value);
+ jv result;
+ while (jv_is_valid(result = jq_next())) {
+ jv_dump(result, JV_PRINT_PRETTY);
+ printf("\n");
+ }
+ jv_free(result);
+ jq_teardown();
+ }
+ if (jv_invalid_has_msg(jv_copy(value))) {
+ jv msg = jv_invalid_get_msg(value);
+ fprintf(stderr, "parse error: %s\n", jv_string_value(msg));
+ jv_free(msg);
+ break;
+ } else {
+ jv_free(value);
+ }
+ }
+ jv_parser_free(&parser);
+
+ bytecode_free(bc);
+ return 0;
+}