Skip to content
Snippets Groups Projects
Commit 25eacf33 authored by Stéphane Del Pino's avatar Stéphane Del Pino
Browse files

Add a bunch of unit tests for basic operations

parent 5cec98ce
No related branches found
No related tags found
1 merge request!37Feature/language
Show whitespace changes
Inline Side-by-side
tests/test_ASTBuilder.cpp
+ 298
− 30
View file @ 25eacf33
...@@ -4,46 +4,314 @@ ...@@ -4,46 +4,314 @@
#include <ASTPrinter.hpp> #include <ASTPrinter.hpp>
#include <sstream> #include <sstream>
TEST_CASE("ASTBuilder", "[language]") void
build_ast(const std::string_view& data)
{ {
using namespace language; using namespace language;
string_input input{data, "test.pgs"};
buildAST(input);
}
void
check_ast(const std::string_view& data, const std::string_view& expected_output)
{
using namespace language;
string_input input{data, "test.pgs"};
auto ast = buildAST(input);
SECTION("checking AST simplifications"){} std::stringstream ast_output;
ast_output << '\n' << ASTPrinter{*ast, ASTPrinter::Format::raw, {ASTPrinter::Info::none}};
REQUIRE(ast_output.str() == expected_output);
}
TEST_CASE("ASTBuilder", "[language]")
{
rang::setControlMode(rang::control::Off);
SECTION("AST parsing")
{ {
std::stringstream ss{R"( SECTION("declarations with init")
Z a = -3;
Z b = - - + - 2;
Z d;
{ {
Z c=3; std::string_view data = R"(
d = (0 - -c)/3; N n = 2;
Z z = 3;
R r = 2.3e-5;
B b = false;
string s = "foo";
)";
std::string_view result = R"(
(root)
+-(language::declaration)
| +-(language::N_set)
| +-(language::name:n)
| `-(language::integer:2)
+-(language::declaration)
| +-(language::Z_set)
| +-(language::name:z)
| `-(language::integer:3)
+-(language::declaration)
| +-(language::R_set)
| +-(language::name:r)
| `-(language::real:2.3e-5)
+-(language::declaration)
| +-(language::B_set)
| +-(language::name:b)
| `-(language::false_kw)
`-(language::declaration)
+-(language::string_type)
+-(language::name:s)
`-(language::literal:"foo")
)";
check_ast(data, result);
} }
Z e = 0 + +3;
Z f = 0 + -3;
B g = not not true; SECTION("affectations")
R h = 0; {
R i = h++; std::string_view data = R"(
i--; N n; n = 2;
)"}; Z z; z = 3;
R r; r = 2.3e-5;
B b; b = false;
string s; s = "foo";
)";
istream_input input{ss, ss.str().size(), "test.pgs"}; std::string_view result = R"(
auto ast = buildAST(input); (root)
std::stringstream ast_output; +-(language::declaration)
ast_output << ASTPrinter{*ast, ASTPrinter::Format::raw}; | +-(language::N_set)
REQUIRE(true); | `-(language::name:n)
+-(language::eq_op)
| +-(language::name:n)
| `-(language::integer:2)
+-(language::declaration)
| +-(language::Z_set)
| `-(language::name:z)
+-(language::eq_op)
| +-(language::name:z)
| `-(language::integer:3)
+-(language::declaration)
| +-(language::R_set)
| `-(language::name:r)
+-(language::eq_op)
| +-(language::name:r)
| `-(language::real:2.3e-5)
+-(language::declaration)
| +-(language::B_set)
| `-(language::name:b)
+-(language::eq_op)
| +-(language::name:b)
| `-(language::false_kw)
+-(language::declaration)
| +-(language::string_type)
| `-(language::name:s)
`-(language::eq_op)
+-(language::name:s)
`-(language::literal:"foo")
)";
check_ast(data, result);
} }
REQUIRE(true); SECTION("empty blocs simplification")
{
std::string_view data = R"(
{
/* nothing but a bloc */
{
; // nothing
}
}
)";
SECTION("checking for copies") {} std::string_view result = R"(
(root)
)";
check_ast(data, result);
}
SECTION("checking for fill") {} SECTION("operators precedence")
{
SECTION("basic operations")
{
std::string_view data = R"(
2+3.2*6 - 3.2/4;
)";
SECTION("checking for affectations (shallow copy)") {} std::string_view result = R"(
(root)
`-(language::minus_op)
+-(language::plus_op)
| +-(language::integer:2)
| `-(language::multiply_op)
| +-(language::real:3.2)
| `-(language::integer:6)
`-(language::divide_op)
+-(language::real:3.2)
`-(language::integer:4)
)";
check_ast(data, result);
}
SECTION("checking for bounds violation") SECTION("parented expression")
{ {
// REQUIRE_THROWS_AS(a[10], AssertError); std::string_view data = R"(
(2+3)*6;
)";
std::string_view result = R"(
(root)
`-(language::multiply_op)
+-(language::plus_op)
| +-(language::integer:2)
| `-(language::integer:3)
`-(language::integer:6)
)";
check_ast(data, result);
}
SECTION("all operators mix")
{
std::string_view data = R"(
1+2 and 3<= 2 * 4 - 1 == 2 or 2>=1 / 5 ^ 6 & 7 && 2 || 1 | 2 <3 >7 xor -2 bitand 2 bitor + true - not false;
)";
std::string_view result = R"(
(root)
`-(language::minus_op)
+-(language::bitor_op)
| +-(language::bitand_op)
| | +-(language::xor_op)
| | | +-(language::greater_op)
| | | | +-(language::lesser_op)
| | | | | +-(language::bitor_op)
| | | | | | +-(language::or_op)
| | | | | | | +-(language::and_op)
| | | | | | | | +-(language::bitand_op)
| | | | | | | | | +-(language::xor_op)
| | | | | | | | | | +-(language::greater_or_eq_op)
| | | | | | | | | | | +-(language::or_op)
| | | | | | | | | | | | +-(language::eqeq_op)
| | | | | | | | | | | | | +-(language::minus_op)
| | | | | | | | | | | | | | +-(language::lesser_or_eq_op)
| | | | | | | | | | | | | | | +-(language::and_op)
| | | | | | | | | | | | | | | | +-(language::plus_op)
| | | | | | | | | | | | | | | | | +-(language::integer:1)
| | | | | | | | | | | | | | | | | `-(language::integer:2)
| | | | | | | | | | | | | | | | `-(language::integer:3)
| | | | | | | | | | | | | | | `-(language::multiply_op)
| | | | | | | | | | | | | | | +-(language::integer:2)
| | | | | | | | | | | | | | | `-(language::integer:4)
| | | | | | | | | | | | | | `-(language::integer:1)
| | | | | | | | | | | | | `-(language::integer:2)
| | | | | | | | | | | | `-(language::integer:2)
| | | | | | | | | | | `-(language::divide_op)
| | | | | | | | | | | +-(language::integer:1)
| | | | | | | | | | | `-(language::integer:5)
| | | | | | | | | | `-(language::integer:6)
| | | | | | | | | `-(language::integer:7)
| | | | | | | | `-(language::integer:2)
| | | | | | | `-(language::integer:1)
| | | | | | `-(language::integer:2)
| | | | | `-(language::integer:3)
| | | | `-(language::integer:7)
| | | `-(language::unary_minus)
| | | `-(language::integer:2)
| | `-(language::integer:2)
| `-(language::true_kw)
`-(language::unary_not)
`-(language::false_kw)
)";
check_ast(data, result);
}
}
SECTION("unary operator simplification")
{
SECTION("multiple not")
{
std::string_view data = R"(
not not not not true;
not not not false;
)";
std::string_view result = R"(
(root)
+-(language::true_kw)
`-(language::unary_not)
`-(language::false_kw)
)";
check_ast(data, result);
}
SECTION("multiple unary plus")
{
std::string_view data = R"(
+ + + 3;
)";
std::string_view result = R"(
(root)
`-(language::integer:3)
)";
check_ast(data, result);
}
SECTION("multiple unary minus")
{
std::string_view data = R"(
- - + - - 3;
- + - - 2;
)";
std::string_view result = R"(
(root)
+-(language::integer:3)
`-(language::unary_minus)
`-(language::integer:2)
)";
check_ast(data, result);
}
SECTION("sums and unary plus/minus")
{
std::string_view data = R"(
1 - - 3;
1 + - 2;
4 - + 3;
)";
std::string_view result = R"(
(root)
+-(language::plus_op)
| +-(language::integer:1)
| `-(language::integer:3)
+-(language::minus_op)
| +-(language::integer:1)
| `-(language::integer:2)
`-(language::minus_op)
+-(language::integer:4)
`-(language::integer:3)
)";
check_ast(data, result);
}
}
SECTION("post incr/decr rearrangements")
{
std::string_view data = R"(
1++;
2--;
)";
std::string_view result = R"(
(root)
+-(language::post_plusplus)
| `-(language::integer:1)
`-(language::post_minusminus)
`-(language::integer:2)
)";
check_ast(data, result);
}
} }
} }
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment