add: added projectsHEADmain

18 files changed, 439 insertions, 0 deletions

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