diff options
Diffstat (limited to 'tiger-compiler/tests/unit/parse/tiger_factory')
14 files changed, 378 insertions, 0 deletions
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 |