Remove TODO(#653)

[nothing.git] / test / parser_suite.h

diff --git a/test/parser_suite.h b/test/parser_suite.h
index 13805a7b2a567368d15eb53d990440d621a6b49a..911291b1bdfd2bcc97bca081cea412298194b585 100644 (file)
--- a/test/parser_suite.h
+++ b/test/parser_suite.h
@@ -2,13 +2,21 @@
 #define PARSER_SUITE_H_
 
 #include "test.h"
-#include "script/parser.h"
+#include "ebisp/parser.h"
+#include "ebisp/gc.h"
+#include "ebisp/builtins.h"
 
 TEST(read_expr_from_file_test)
 {
-    struct ParseResult result = read_expr_from_file("test-data/simple-sum.lisp");
+    Gc *gc = create_gc();
 
-    ASSERT_TRUE(!result.is_error, result.error_message);
+    struct ParseResult result = read_expr_from_file(gc, "test-data/simple-sum.lisp");
+
+    ASSERT_TRUE(!result.is_error, {
+            fprintf(stderr,
+                    "Parsing failed: %s",
+                    result.error_message);
+    });
 
     struct Expr head = result.expr;
 
@@ -22,34 +30,163 @@ TEST(read_expr_from_file_test)
     ASSERT_INTEQ(EXPR_CONS, expr.type);
     ASSERT_INTEQ(EXPR_ATOM, expr.cons->car.type);
     ASSERT_INTEQ(ATOM_NUMBER, expr.cons->car.atom->type);
-    ASSERT_FLOATEQ(1.0f, expr.cons->car.atom->num, 1e-3f);
+    ASSERT_LONGINTEQ(1L, expr.cons->car.atom->num);
 
     expr = expr.cons->cdr;
     ASSERT_INTEQ(EXPR_CONS, expr.type);
     ASSERT_INTEQ(EXPR_ATOM, expr.cons->car.type);
     ASSERT_INTEQ(ATOM_NUMBER, expr.cons->car.atom->type);
-    ASSERT_FLOATEQ(2.0f, expr.cons->car.atom->num, 1e-3f);
+    ASSERT_LONGINTEQ(2L, expr.cons->car.atom->num);
 
     expr = expr.cons->cdr;
     ASSERT_INTEQ(EXPR_CONS, expr.type);
     ASSERT_INTEQ(EXPR_ATOM, expr.cons->car.type);
     ASSERT_INTEQ(ATOM_NUMBER, expr.cons->car.atom->type);
-    ASSERT_FLOATEQ(3.0f, expr.cons->car.atom->num, 1e-3f);
+    ASSERT_LONGINTEQ(3L, expr.cons->car.atom->num);
 
     expr = expr.cons->cdr;
     ASSERT_INTEQ(EXPR_ATOM, expr.type);
     ASSERT_INTEQ(ATOM_SYMBOL, expr.atom->type);
     ASSERT_STREQ("nil", expr.atom->sym);
 
-    destroy_expr(head);
+    destroy_gc(gc);
+
+    return 0;
+}
+
+TEST(parse_negative_numbers_test)
+{
+    Gc *gc = create_gc();
+    struct ParseResult result = read_expr_from_string(gc, "-12345");
+
+    ASSERT_FALSE(result.is_error, {
+            fprintf(stderr, "Parsing failed: %s", result.error_message);
+    });
+    ASSERT_EQ(enum ExprType, EXPR_ATOM, result.expr.type, {
+            fprintf(stderr, "Expected: %s\n", expr_type_as_string(_expected));
+            fprintf(stderr, "Actual: %s\n", expr_type_as_string(_actual));
+    });
+    ASSERT_EQ(enum AtomType, ATOM_NUMBER, result.expr.atom->type, {
+            fprintf(stderr, "Expected: %s\n", atom_type_as_string(_expected));
+            fprintf(stderr, "Actual: %s\n", atom_type_as_string(_actual));
+    });
+    ASSERT_LONGINTEQ(-12345L, result.expr.atom->num);
+
+    destroy_gc(gc);
+
+    return 0;
+}
+
+TEST(read_all_exprs_from_string_empty_test)
+{
+    Gc *gc = create_gc();
+    struct ParseResult result = read_all_exprs_from_string(gc, "");
+
+    ASSERT_TRUE(result.is_error, {
+            fprintf(stderr,
+                    "Parsing is expected to fail, "
+                    "but it did not\n");
+    });
+
+    destroy_gc(gc);
+
+    return 0;
+}
+
+TEST(read_all_exprs_from_string_one_test)
+{
+    Gc *gc = create_gc();
+    struct ParseResult result = read_all_exprs_from_string(gc, "(+ 1 2)");
+
+    ASSERT_FALSE(result.is_error, {
+            fprintf(stderr,
+                    "Parsing was unsuccessful: %s\n",
+                    result.error_message);
+    });
+
+    ASSERT_EQ(long int, 1, length_of_list(result.expr), {
+            fprintf(stderr, "Expected: %ld\n", _expected);
+            fprintf(stderr, "Actual: %ld\n", _actual);
+            fprintf(stderr, "Expression: ");
+            print_expr_as_sexpr(stderr, result.expr);
+            fprintf(stderr, "\n");
+    });
+
+    destroy_gc(gc);
+
+    return 0;
+}
+
+TEST(read_all_exprs_from_string_two_test)
+{
+    Gc *gc = create_gc();
+    struct ParseResult result = read_all_exprs_from_string(
+        gc,
+        "(+ 1 2) (+ 3 4)");
+
+    ASSERT_FALSE(result.is_error, {
+            fprintf(stderr,
+                    "Parsing was unsuccessful: %s\n",
+                    result.error_message);
+    });
+
+    ASSERT_EQ(long int, 2, length_of_list(result.expr), {
+            fprintf(stderr, "Expected: %ld\n", _expected);
+            fprintf(stderr, "Actual: %ld\n", _actual);
+            fprintf(stderr, "Expression: ");
+            print_expr_as_sexpr(stderr, result.expr);
+            fprintf(stderr, "\n");
+    });
+
+    destroy_gc(gc);
+
+    return 0;
+}
+
+TEST(read_all_exprs_from_string_bad_test)
+{
+    Gc *gc = create_gc();
+    struct ParseResult result = read_all_exprs_from_string(
+        gc,
+        "(+ 1 2) + 3 4)");
+
+    ASSERT_TRUE(result.is_error, {
+            fprintf(stderr, "Parsing didn't fail as expected\n");
+    });
+
+    destroy_gc(gc);
+
+    return 0;
+}
+
+TEST(read_all_exprs_from_string_trailing_spaces_test)
+{
+    Gc *gc = create_gc();
+    const char *source_code = "5  ";
+    struct ParseResult result = read_all_exprs_from_string(gc, source_code);
+
+    ASSERT_FALSE(result.is_error, {
+            fprintf(stderr, "Parsing failed: %s\n", result.error_message);
+            fprintf(stderr, "Position: %ld\n", result.end - source_code);
+    });
+
     return 0;
 }
 
 TEST_SUITE(parser_suite)
 {
     TEST_RUN(read_expr_from_file_test);
+    TEST_RUN(parse_negative_numbers_test);
+    TEST_RUN(read_all_exprs_from_string_empty_test);
+    TEST_RUN(read_all_exprs_from_string_one_test);
+    TEST_RUN(read_all_exprs_from_string_two_test);
+    // TODO(#467): read_all_exprs_from_string_bad_test is failing
+    TEST_IGNORE(read_all_exprs_from_string_bad_test);
+    TEST_RUN(read_all_exprs_from_string_trailing_spaces_test);
 
     return 0;
 }
 
+
+
 #endif  // PARSER_SUITE_H_