diff options
Diffstat (limited to 'tiger-compiler/tests/unit')
34 files changed, 610 insertions, 0 deletions
diff --git a/tiger-compiler/tests/unit/ast/local.am b/tiger-compiler/tests/unit/ast/local.am new file mode 100644 index 0000000..6f01dc2 --- /dev/null +++ b/tiger-compiler/tests/unit/ast/local.am @@ -0,0 +1 @@ +check_unit_SOURCES += %D%/test_hello.cc diff --git a/tiger-compiler/tests/unit/ast/test_hello.cc b/tiger-compiler/tests/unit/ast/test_hello.cc new file mode 100644 index 0000000..b52d5ac --- /dev/null +++ b/tiger-compiler/tests/unit/ast/test_hello.cc @@ -0,0 +1,6 @@ +#include <criterion/criterion.h> + +Test(ast, hello) +{ + 1; +} diff --git a/tiger-compiler/tests/unit/local.am b/tiger-compiler/tests/unit/local.am new file mode 100644 index 0000000..f5e4165 --- /dev/null +++ b/tiger-compiler/tests/unit/local.am @@ -0,0 +1,4 @@ +include %D%/ast/local.am +include %D%/misc/local.am +include %D%/parse/local.am +include %D%/tasks/local.am diff --git a/tiger-compiler/tests/unit/misc/local.am b/tiger-compiler/tests/unit/misc/local.am new file mode 100644 index 0000000..db96069 --- /dev/null +++ b/tiger-compiler/tests/unit/misc/local.am @@ -0,0 +1,5 @@ +include %D%/unique/local.am +include %D%/symbol/local.am +include %D%/variant/local.am + +check_unit_SOURCES += %D%/test_hello.cc diff --git a/tiger-compiler/tests/unit/misc/symbol/local.am b/tiger-compiler/tests/unit/misc/symbol/local.am new file mode 100644 index 0000000..fbc4825 --- /dev/null +++ b/tiger-compiler/tests/unit/misc/symbol/local.am @@ -0,0 +1,2 @@ +check_unit_SOURCES += \ + %D%/test_symbol_simple.cc diff --git a/tiger-compiler/tests/unit/misc/symbol/test_symbol_simple.cc b/tiger-compiler/tests/unit/misc/symbol/test_symbol_simple.cc new file mode 100644 index 0000000..a49ed27 --- /dev/null +++ b/tiger-compiler/tests/unit/misc/symbol/test_symbol_simple.cc @@ -0,0 +1,21 @@ +#include <criterion/criterion.h> +#include <criterion/assert.h> +#include <misc/symbol.hh> + +Test(test_symbol, simple) +{ + const misc::symbol toto1("toto"); + const misc::symbol toto2("toto"); + const misc::symbol titi1("titi"); + + cr_expect_eq(toto1, "toto"); + cr_expect_neq(toto1, "titi"); + + cr_expect_eq(toto1, toto2); + cr_expect_neq(toto1, titi1); + + std::string junk = "tata"; + const misc::symbol tata1(junk); + junk = "toto"; + cr_expect_eq(tata1, "tata"); +} diff --git a/tiger-compiler/tests/unit/misc/test_hello.cc b/tiger-compiler/tests/unit/misc/test_hello.cc new file mode 100644 index 0000000..e18e1d8 --- /dev/null +++ b/tiger-compiler/tests/unit/misc/test_hello.cc @@ -0,0 +1,6 @@ +#include <criterion/criterion.h> + +Test(misc, hello) +{ + 1; +} diff --git a/tiger-compiler/tests/unit/misc/unique/local.am b/tiger-compiler/tests/unit/misc/unique/local.am new file mode 100644 index 0000000..9911c25 --- /dev/null +++ b/tiger-compiler/tests/unit/misc/unique/local.am @@ -0,0 +1,4 @@ +check_unit_SOURCES += \ + %D%/test_unique_int.cc \ + %D%/test_unique_char.cc \ + %D%/test_unique_string.cc diff --git a/tiger-compiler/tests/unit/misc/unique/test_unique_char.cc b/tiger-compiler/tests/unit/misc/unique/test_unique_char.cc new file mode 100644 index 0000000..d69b42c --- /dev/null +++ b/tiger-compiler/tests/unit/misc/unique/test_unique_char.cc @@ -0,0 +1,18 @@ +#include <criterion/criterion.h> +#include <criterion/assert.h> +#include <misc/unique.hh> + +Test(unique_char, simple) +{ + misc::unique<char> the_answer = 'a'; + misc::unique<char> the_same_answer = 'a'; + misc::unique<char> the_solution = 'b'; + + cr_expect_eq(the_answer, misc::unique<char>('a')); + cr_expect_eq(the_answer, the_same_answer); + cr_expect_neq(the_answer, the_solution); + + cr_expect_eq(the_answer.get(), the_same_answer.get()); + cr_expect_eq(the_answer.get(), misc::unique<char>('a').get()); + cr_expect_neq(the_answer.get(), the_solution.get()); +} diff --git a/tiger-compiler/tests/unit/misc/unique/test_unique_int.cc b/tiger-compiler/tests/unit/misc/unique/test_unique_int.cc new file mode 100644 index 0000000..f25c3c2 --- /dev/null +++ b/tiger-compiler/tests/unit/misc/unique/test_unique_int.cc @@ -0,0 +1,18 @@ +#include <criterion/criterion.h> +#include <criterion/assert.h> +#include <misc/unique.hh> + +Test(unique_int, simple) +{ + misc::unique<int> the_answer = 42; + misc::unique<int> the_same_answer = 42; + misc::unique<int> the_solution = 51; + + cr_expect_eq(the_answer, misc::unique<int>(42)); + cr_expect_eq(the_answer, the_same_answer); + cr_expect_neq(the_answer, the_solution); + + cr_expect_eq(the_answer.get(), the_same_answer.get()); + cr_expect_eq(the_answer.get(), misc::unique<int>(42).get()); + cr_expect_neq(the_answer.get(), the_solution.get()); +} diff --git a/tiger-compiler/tests/unit/misc/unique/test_unique_string.cc b/tiger-compiler/tests/unit/misc/unique/test_unique_string.cc new file mode 100644 index 0000000..2542375 --- /dev/null +++ b/tiger-compiler/tests/unit/misc/unique/test_unique_string.cc @@ -0,0 +1,19 @@ +#include <criterion/criterion.h> +#include <criterion/assert.h> +#include <misc/unique.hh> +#include <string> + +Test(unique_string, simple) +{ + misc::unique<std::string> the_answer = std::string("skibidi"); + misc::unique<std::string> the_same_answer = std::string("skibidi"); + misc::unique<std::string> the_solution = std::string("yes yes"); + + cr_expect_eq(the_answer, misc::unique<std::string>(std::string("skibidi"))); + cr_expect_eq(the_answer, the_same_answer); + cr_expect_neq(the_answer, the_solution); + + cr_expect_eq(the_answer.get(), the_same_answer.get()); + cr_expect_eq(the_answer.get(), misc::unique<std::string>(std::string("skibidi")).get()); + cr_expect_neq(the_answer.get(), the_solution.get()); +} diff --git a/tiger-compiler/tests/unit/misc/variant/local.am b/tiger-compiler/tests/unit/misc/variant/local.am new file mode 100644 index 0000000..f09d993 --- /dev/null +++ b/tiger-compiler/tests/unit/misc/variant/local.am @@ -0,0 +1,3 @@ +check_unit_SOURCES += \ + %D%/test_variant_two_types.cc \ + %D%/test_variant_three_types.cc diff --git a/tiger-compiler/tests/unit/misc/variant/test_variant_three_types.cc b/tiger-compiler/tests/unit/misc/variant/test_variant_three_types.cc new file mode 100644 index 0000000..8728059 --- /dev/null +++ b/tiger-compiler/tests/unit/misc/variant/test_variant_three_types.cc @@ -0,0 +1,35 @@ +#include <criterion/criterion.h> +#include <criterion/assert.h> +#include <misc/variant.hh> + +using multiple_variant_type = misc::variant<int, std::string, double>; + +Test(variant_three_types, simple_success_type_a) +{ + multiple_variant_type v("Hello"); + std::string s = v; + cr_expect_str_eq(s.c_str(), "Hello"); +} + +Test(variant_three_types, simple_success_type_b) +{ + multiple_variant_type v(56.7); + double d = v; + cr_expect_eq(d, 56.7); +} + +Test(variant_three_types, simple_failure_type_c) +{ + multiple_variant_type v(34.5); + + try + { + [[maybe_unused]] int i = v; + } + catch (const std::bad_variant_access& e) + { + return; + } + + cr_expect_eq(1, 0, "copy assignment did not throw an exception"); +} diff --git a/tiger-compiler/tests/unit/misc/variant/test_variant_two_types.cc b/tiger-compiler/tests/unit/misc/variant/test_variant_two_types.cc new file mode 100644 index 0000000..9a63d6a --- /dev/null +++ b/tiger-compiler/tests/unit/misc/variant/test_variant_two_types.cc @@ -0,0 +1,28 @@ +#include <criterion/criterion.h> +#include <criterion/assert.h> +#include <misc/variant.hh> + +using variant_type = misc::variant<int, std::string>; + +Test(variant_two_types, simple_success) +{ + misc::variant<int, std::string> v("Hello"); + std::string s = v; + cr_expect_str_eq(s.c_str(), "Hello"); +} + +Test(variant_two_types, simple_failure) +{ + variant_type v(42); + + try + { + std::string s = v; + } + catch (const std::bad_variant_access& e) + { + return; + } + + cr_expect_eq(1, 0, "copy assignment did not throw an exception"); +} diff --git a/tiger-compiler/tests/unit/parse/local.am b/tiger-compiler/tests/unit/parse/local.am new file mode 100644 index 0000000..2c9f827 --- /dev/null +++ b/tiger-compiler/tests/unit/parse/local.am @@ -0,0 +1,4 @@ +include %D%/tiger_driver/local.am +include %D%/tiger_factory/local.am + +check_unit_SOURCES += %D%/test_hello.cc diff --git a/tiger-compiler/tests/unit/parse/test_hello.cc b/tiger-compiler/tests/unit/parse/test_hello.cc new file mode 100644 index 0000000..5828ca2 --- /dev/null +++ b/tiger-compiler/tests/unit/parse/test_hello.cc @@ -0,0 +1,36 @@ +#include <ast/exp.hh> +#include <ast/libast.hh> +#include <criterion/criterion.h> +#include <criterion/assert.h> +#include <parse/libparse.hh> +#include <ast/fwd.hh> +#include <ast/pretty-printer.hh> + +Test(Basic, SimpleBody) +{ + std::cout << "----- basicTests -----"; + ast::PrettyPrinter print(std::cout); + ast::Exp* boiiiiiii = parse::parse("let " + " var i := 3 " + " in " + " i + 1 " + " end"); + cr_assert_not_null(boiiiiiii); + print(boiiiiiii); + cr_assert_eq(1, 1); +} + +Test(Basic, ChunkList) +{ + ast::PrettyPrinter print(std::cout); + ast::Exp* test = parse::parse("let " + " var i := 1 " + " var j := 2 " + " var k := 3 " + " in " + " i + j + k " + " end"); + cr_assert_not_null(test); + print(test); + cr_assert_eq(1, 1); +} diff --git a/tiger-compiler/tests/unit/parse/tiger_driver/local.am b/tiger-compiler/tests/unit/parse/tiger_driver/local.am new file mode 100644 index 0000000..bd58ff7 --- /dev/null +++ b/tiger-compiler/tests/unit/parse/tiger_driver/local.am @@ -0,0 +1,2 @@ +check_unit_SOURCES += \ + %D%/test_parse_no_check.cc diff --git a/tiger-compiler/tests/unit/parse/tiger_driver/test_parse_no_check.cc b/tiger-compiler/tests/unit/parse/tiger_driver/test_parse_no_check.cc new file mode 100644 index 0000000..81ebea2 --- /dev/null +++ b/tiger-compiler/tests/unit/parse/tiger_driver/test_parse_no_check.cc @@ -0,0 +1,19 @@ +#include <ast/exp.hh> +#include <ast/libast.hh> +#include <criterion/criterion.h> +#include <criterion/assert.h> +#include <parse/libparse.hh> + +Test(parse_no_check, simple) +{ + ast::Exp* e = parse::parse("a + b"); +} + +Test(parse_no_check, let_function) +{ + parse::parse("let" + "function f(a : int, b : string) : int = a" + "in" + "a" + "end"); +} diff --git a/tiger-compiler/tests/unit/parse/tiger_factory/define_test_location.cc b/tiger-compiler/tests/unit/parse/tiger_factory/define_test_location.cc new file mode 100644 index 0000000..71fd96b --- /dev/null +++ b/tiger-compiler/tests/unit/parse/tiger_factory/define_test_location.cc @@ -0,0 +1,5 @@ +#include "define_test_location.hh" + +#include <parse/tiger-factory.hh> + +parse::location test_l; diff --git a/tiger-compiler/tests/unit/parse/tiger_factory/define_test_location.hh b/tiger-compiler/tests/unit/parse/tiger_factory/define_test_location.hh new file mode 100644 index 0000000..f29ddae --- /dev/null +++ b/tiger-compiler/tests/unit/parse/tiger_factory/define_test_location.hh @@ -0,0 +1,5 @@ +#pragma once + +#include <parse/tiger-factory.hh> + +extern parse::location test_l; diff --git a/tiger-compiler/tests/unit/parse/tiger_factory/local.am b/tiger-compiler/tests/unit/parse/tiger_factory/local.am new file mode 100644 index 0000000..3c4bd9d --- /dev/null +++ b/tiger-compiler/tests/unit/parse/tiger_factory/local.am @@ -0,0 +1,12 @@ +check_unit_SOURCES += \ + %D%/define_test_location.cc \ + %D%/test_make_array_exp.cc \ + %D%/test_make_break_exp.cc \ + %D%/test_make_call_exp.cc \ + %D%/test_make_field_var.cc \ + %D%/test_make_if_exp.cc \ + %D%/test_make_int_exp.cc \ + %D%/test_make_let_exp.cc \ + %D%/test_make_object_exp.cc \ + %D%/test_make_record_ty.cc \ + %D%/test_make_string_exp.cc diff --git a/tiger-compiler/tests/unit/parse/tiger_factory/test_make_array_exp.cc b/tiger-compiler/tests/unit/parse/tiger_factory/test_make_array_exp.cc new file mode 100644 index 0000000..949f92e --- /dev/null +++ b/tiger-compiler/tests/unit/parse/tiger_factory/test_make_array_exp.cc @@ -0,0 +1,30 @@ +#include <ast/exp.hh> +#include <ast/libast.hh> +#include <criterion/criterion.h> +#include <criterion/assert.h> +#include <parse/libparse.hh> +#include <ast/fwd.hh> +#include <ast/pretty-printer.hh> + +TestSuite(BasicArr); + +Test(BasicArr, MakeArray) +{ + std::cout << "----- MakeArray -----"; + ast::PrettyPrinter print(std::cout); + ast::Exp* test = parse::parse("stuff[5] of 3"); + cr_assert_not_null(test); + print(test); + cr_assert_eq(1, 1); +} + +TestSuite(ExprsArr); + +Test(ExprsArr, MakeArray_WExprs) +{ + ast::PrettyPrinter print(std::cout); + ast::Exp* test = parse::parse("stuff[(36+6)] of \"Tiggered\""); + cr_assert_not_null(test); + print(test); + cr_assert_eq(1, 1); +}
\ No newline at end of file diff --git a/tiger-compiler/tests/unit/parse/tiger_factory/test_make_break_exp.cc b/tiger-compiler/tests/unit/parse/tiger_factory/test_make_break_exp.cc new file mode 100644 index 0000000..02fb390 --- /dev/null +++ b/tiger-compiler/tests/unit/parse/tiger_factory/test_make_break_exp.cc @@ -0,0 +1,30 @@ +#include <ast/exp.hh> +#include <ast/libast.hh> +#include <criterion/criterion.h> +#include <criterion/assert.h> +#include <parse/libparse.hh> +#include <ast/fwd.hh> +#include <ast/pretty-printer.hh> + +TestSuite(BasicBrk); + +Test(BasicBrk, MakeBreak) +{ + std::cout << "----- Break -----"; + ast::PrettyPrinter print(std::cout); + ast::Exp* test = parse::parse("while (a < 5) do break"); + cr_assert_not_null(test); + print(test); + cr_assert_eq(1, 1); +} + +TestSuite(RealisticBrk); + +Test(RealisticBrk, MakeBetterBreak) +{ + ast::PrettyPrinter print(std::cout); + ast::Exp* test = parse::parse("while (a < 5) do (a := a + 1; break)"); + cr_assert_not_null(test); + print(test); + cr_assert_eq(1, 1); +}
\ No newline at end of file diff --git a/tiger-compiler/tests/unit/parse/tiger_factory/test_make_call_exp.cc b/tiger-compiler/tests/unit/parse/tiger_factory/test_make_call_exp.cc new file mode 100644 index 0000000..5c4b9bb --- /dev/null +++ b/tiger-compiler/tests/unit/parse/tiger_factory/test_make_call_exp.cc @@ -0,0 +1,41 @@ +#include <ast/exp.hh> +#include <ast/libast.hh> +#include <criterion/criterion.h> +#include <criterion/assert.h> +#include <parse/libparse.hh> +#include <ast/fwd.hh> +#include <ast/pretty-printer.hh> + +TestSuite(BasicCall); + +Test(BasicCall, SimpleCall) +{ + std::cout << "----- FunCall -----"; + ast::PrettyPrinter print(std::cout); + ast::Exp* test = parse::parse("let " + " function test(a : int, b : string) : int = " + " a " + " in " + " test(1, \"2M, 22H->H, f.L, RS, RC, 55M, 632146M\") " + " end \n"); + cr_assert_not_null(test); + print(test); + cr_assert_eq(1, 1); +} + +TestSuite(RealisticCall); + +Test(RealisticCall, Call_WExprs) +{ + ast::PrettyPrinter print(std::cout); + // If someone get this and sends me a video proof, you have my utmost respect (the sequence in itself is not that hard tbh) + ast::Exp* test = parse::parse("let " + " function test(a : int, b : string) : int = " + " a " + " in " + " test(1 + 2 + c + inexistant, \"2M, 22H->H, f.L, RS, RC, 55M, 632146M\")" + " end \n"); + cr_assert_not_null(test); + print(test); + cr_assert_eq(1, 1); +} diff --git a/tiger-compiler/tests/unit/parse/tiger_factory/test_make_field_var.cc b/tiger-compiler/tests/unit/parse/tiger_factory/test_make_field_var.cc new file mode 100644 index 0000000..1d85afa --- /dev/null +++ b/tiger-compiler/tests/unit/parse/tiger_factory/test_make_field_var.cc @@ -0,0 +1,30 @@ +#include <ast/exp.hh> +#include <ast/libast.hh> +#include <criterion/criterion.h> +#include <criterion/assert.h> +#include <parse/libparse.hh> +#include <ast/fwd.hh> +#include <ast/pretty-printer.hh> + +TestSuite(BasicVar); + +Test(BasicVar, SimpleVar) +{ + std::cout << "----- BaseVars -----"; + ast::PrettyPrinter print(std::cout); + ast::Exp* test = parse::parse("var test := \"Code harder, not smarter\""); + cr_assert_not_null(test); + print(test); + cr_assert_eq(1, 1); +} + +TestSuite(RealisticVar); + +Test(RealisticVar, Var_WExprs) +{ + ast::PrettyPrinter print(std::cout); + ast::Exp* test = parse::parse("var test : int := 3 + 6 + 9"); + cr_assert_not_null(test); + print(test); + cr_assert_eq(1, 1); +}
\ No newline at end of file diff --git a/tiger-compiler/tests/unit/parse/tiger_factory/test_make_if_exp.cc b/tiger-compiler/tests/unit/parse/tiger_factory/test_make_if_exp.cc new file mode 100644 index 0000000..d324591 --- /dev/null +++ b/tiger-compiler/tests/unit/parse/tiger_factory/test_make_if_exp.cc @@ -0,0 +1,48 @@ +#include <ast/exp.hh> +#include <ast/libast.hh> +#include <criterion/criterion.h> +#include <criterion/assert.h> +#include <parse/libparse.hh> +#include <ast/fwd.hh> +#include <ast/pretty-printer.hh> + +TestSuite(BasicIf); + +Test(BasicIf, OnlyIf) +{ + std::cout << "----- IfLoops -----"; + ast::PrettyPrinter print(std::cout); + ast::Exp* test = parse::parse("if a > 5 then a"); + cr_assert_not_null(test); + print(test); + cr_assert_eq(1, 1); +} + +TestSuite(RealisticIf); + +Test(RealisticIf, IfElse) +{ + ast::PrettyPrinter print(std::cout); + ast::Exp* test = parse::parse("if a > 5 then a else b"); + cr_assert_not_null(test); + print(test); + cr_assert_eq(1, 1); +} + +Test(RealisticIf, IfsElses) +{ + ast::PrettyPrinter print(std::cout); + ast::Exp* test = parse::parse("if a > 5 then a else if a < 0 then b else c"); + cr_assert_not_null(test); + print(test); + cr_assert_eq(1, 1); +} + +Test(RealisticIf, DanglingElse) +{ + ast::PrettyPrinter print(std::cout); + ast::Exp* test = parse::parse("if a > 5 then if a < 0 then b else c else d"); + cr_assert_not_null(test); + print(test); + cr_assert_eq(1, 1); +}
\ No newline at end of file diff --git a/tiger-compiler/tests/unit/parse/tiger_factory/test_make_int_exp.cc b/tiger-compiler/tests/unit/parse/tiger_factory/test_make_int_exp.cc new file mode 100644 index 0000000..01a5f97 --- /dev/null +++ b/tiger-compiler/tests/unit/parse/tiger_factory/test_make_int_exp.cc @@ -0,0 +1,38 @@ +#include <ast/exp.hh> +#include <ast/libast.hh> +#include <criterion/criterion.h> +#include <criterion/assert.h> +#include <parse/libparse.hh> +#include <ast/fwd.hh> +#include <ast/pretty-printer.hh> + +TestSuite(BasicInt); + +Test(BasicInt, SimpleVal) +{ + std::cout << "----- MakeInt -----"; + ast::PrettyPrinter print(std::cout); + ast::Exp* test = parse::parse("215"); + cr_assert_not_null(test); + print(test); + cr_assert_eq(1, 1); +} + +Test(BasicInt, SimpleUnaryVal) +{ + ast::PrettyPrinter print(std::cout); + ast::Exp* test = parse::parse("-215"); + cr_assert_not_null(test); + print(test); + cr_assert_eq(1, 1); +} + +TestSuite(RealisticInt); + +Test(RealisticInt, Exception) +{ + ast::PrettyPrinter print(std::cout); + ast::Exp* test = parse::parse("2147483648"); + cr_assert_null(test); + cr_assert_eq(1, 1); +}
\ No newline at end of file diff --git a/tiger-compiler/tests/unit/parse/tiger_factory/test_make_let_exp.cc b/tiger-compiler/tests/unit/parse/tiger_factory/test_make_let_exp.cc new file mode 100644 index 0000000..b88bd76 --- /dev/null +++ b/tiger-compiler/tests/unit/parse/tiger_factory/test_make_let_exp.cc @@ -0,0 +1,30 @@ +#include <ast/exp.hh> +#include <ast/libast.hh> +#include <criterion/criterion.h> +#include <criterion/assert.h> +#include <parse/libparse.hh> +#include <ast/fwd.hh> +#include <ast/pretty-printer.hh> + +TestSuite(BasicLet); + +Test(BasicLet, SimpleLet) +{ + std::cout << "----- SimpleLet -----"; + ast::PrettyPrinter print(std::cout); + ast::Exp* test = parse::parse("let function test(a : int) : int = a in end"); + cr_assert_not_null(test); + print(test); + cr_assert_eq(1, 1); +} + +TestSuite(RealisticLet); + +Test(RealisticLet, StuffedLet) +{ + ast::PrettyPrinter print(std::cout); + ast::Exp* test = parse::parse("let function test(a : int) : int = a var b := 84 type badaboum = array of int in test(b) end"); + cr_assert_not_null(test); + print(test); + cr_assert_eq(1, 1); +}
\ No newline at end of file diff --git a/tiger-compiler/tests/unit/parse/tiger_factory/test_make_object_exp.cc b/tiger-compiler/tests/unit/parse/tiger_factory/test_make_object_exp.cc new file mode 100644 index 0000000..f80dc75 --- /dev/null +++ b/tiger-compiler/tests/unit/parse/tiger_factory/test_make_object_exp.cc @@ -0,0 +1,19 @@ +#include <ast/exp.hh> +#include <ast/libast.hh> +#include <criterion/criterion.h> +#include <criterion/assert.h> +#include <parse/libparse.hh> +#include <ast/fwd.hh> +#include <ast/pretty-printer.hh> + +Test(make_object_exp, simple) +{ + std::cout << "----- SimpleObject -----"; + ast::PrettyPrinter print(std::cout); + ast::Exp* test = parse::parse("class test extends bobby { " + " var field := 5 " + " method maths(a : int) : int = a }", true); + cr_assert_not_null(test); + print(test); + cr_assert_eq(1, 1); +}
\ No newline at end of file diff --git a/tiger-compiler/tests/unit/parse/tiger_factory/test_make_record_exp.cc b/tiger-compiler/tests/unit/parse/tiger_factory/test_make_record_exp.cc new file mode 100644 index 0000000..7ffc23a --- /dev/null +++ b/tiger-compiler/tests/unit/parse/tiger_factory/test_make_record_exp.cc @@ -0,0 +1,30 @@ +#include <ast/exp.hh> +#include <ast/libast.hh> +#include <criterion/criterion.h> +#include <criterion/assert.h> +#include <parse/libparse.hh> +#include <ast/fwd.hh> +#include <ast/pretty-printer.hh> + +TestSuite(BasicRec); + +Test(BasicRec, SimpleRec) +{ + std::cout << "----- BaseRec -----"; + ast::PrettyPrinter print(std::cout); + ast::Exp* test = parse::parse("pair = {value : int, key : string}"); + cr_assert_not_null(test); + print(test); + cr_assert_eq(1, 1); +} + +TestSuite(RealisticRec); + +Test(RealisticRec, RecRec) +{ + ast::PrettyPrinter print(std::cout); + ast::Exp* test = parse::parse("node = {value : int, next : node}"); + cr_assert_not_null(test); + print(test); + cr_assert_eq(1, 1); +}
\ No newline at end of file diff --git a/tiger-compiler/tests/unit/parse/tiger_factory/test_make_record_ty.cc b/tiger-compiler/tests/unit/parse/tiger_factory/test_make_record_ty.cc new file mode 100644 index 0000000..fcea129 --- /dev/null +++ b/tiger-compiler/tests/unit/parse/tiger_factory/test_make_record_ty.cc @@ -0,0 +1,30 @@ +#include <ast/exp.hh> +#include <ast/libast.hh> +#include <criterion/criterion.h> +#include <criterion/assert.h> +#include <parse/libparse.hh> +#include <ast/fwd.hh> +#include <ast/pretty-printer.hh> + +TestSuite(BasicRecTy); + +Test(BasicRecTy, SimpleTy) +{ + std::cout << "----- BaseTyRec -----"; + ast::PrettyPrinter print(std::cout); + ast::Exp* test = parse::parse("type pair = {value : int, key : string}"); + cr_assert_not_null(test); + print(test); + cr_assert_eq(1, 1); +} + +TestSuite(RealisticRecTy); + +Test(RealisticRecTy, RecTy) +{ + ast::PrettyPrinter print(std::cout); + ast::Exp* test = parse::parse("type node = {value : int, next : node}"); + cr_assert_not_null(test); + print(test); + cr_assert_eq(1, 1); +}
\ No newline at end of file diff --git a/tiger-compiler/tests/unit/parse/tiger_factory/test_make_string_exp.cc b/tiger-compiler/tests/unit/parse/tiger_factory/test_make_string_exp.cc new file mode 100644 index 0000000..2b898b0 --- /dev/null +++ b/tiger-compiler/tests/unit/parse/tiger_factory/test_make_string_exp.cc @@ -0,0 +1,30 @@ +#include <ast/exp.hh> +#include <ast/libast.hh> +#include <criterion/criterion.h> +#include <criterion/assert.h> +#include <parse/libparse.hh> +#include <ast/fwd.hh> +#include <ast/pretty-printer.hh> + +TestSuite(BasicStr); + +Test(BasicStr, SimpleStr) +{ + std::cout << "----- BaseTyRec -----"; + ast::PrettyPrinter print(std::cout); + ast::Exp* test = parse::parse("Screw gravity!"); + cr_assert_not_null(test); + print(test); + cr_assert_eq(1, 1); +} + +TestSuite(RealisticStr); + +Test(RealisticStr, Escapes) +{ + ast::PrettyPrinter print(std::cout); + ast::Exp* test = parse::parse("Something's wrong \\\"\n, I can feel it...\r"); + cr_assert_not_null(test); + print(test); + cr_assert_eq(1, 1); +}
\ No newline at end of file diff --git a/tiger-compiler/tests/unit/tasks/bind/local.am b/tiger-compiler/tests/unit/tasks/bind/local.am new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/tiger-compiler/tests/unit/tasks/bind/local.am diff --git a/tiger-compiler/tests/unit/tasks/local.am b/tiger-compiler/tests/unit/tasks/local.am new file mode 100644 index 0000000..eca6000 --- /dev/null +++ b/tiger-compiler/tests/unit/tasks/local.am @@ -0,0 +1 @@ +include %D%/bind/local.am |