From b390b41f7401ccb06e57ec459bf996ebdc4bd0f8 Mon Sep 17 00:00:00 2001 From: Klaus Aehlig Date: Tue, 23 Apr 2024 17:57:02 +0200 Subject: expressions: add logical negation While this can already be expressed by an "if" statement, having a dedicated function for logical negation makes some expressions more readable. --- .../build_engine/expression/expression.test.cpp | 29 ++++++++++++++++++++++ 1 file changed, 29 insertions(+) (limited to 'test/buildtool/build_engine/expression/expression.test.cpp') diff --git a/test/buildtool/build_engine/expression/expression.test.cpp b/test/buildtool/build_engine/expression/expression.test.cpp index 1d7bde3e..0bc5439b 100644 --- a/test/buildtool/build_engine/expression/expression.test.cpp +++ b/test/buildtool/build_engine/expression/expression.test.cpp @@ -647,6 +647,35 @@ TEST_CASE("Expression Evaluation", "[expression]") { // NOLINT CHECK(failure == Expression::FromJson("false"_json)); } + SECTION("not expression") { + auto expr = Expression::FromJson(R"( + { "type": "not" + , "$1": {"type": "var", "name": "x" } + })"_json); + REQUIRE(expr); + + CHECK(expr.Evaluate(env.Update("x", true), fcts) == + Expression::FromJson("false"_json)); + CHECK(expr.Evaluate(env.Update("x", false), fcts) == + Expression::FromJson("true"_json)); + CHECK(expr.Evaluate(env.Update("x", Expression::FromJson(R"([])"_json)), + fcts) == Expression::FromJson("true"_json)); + CHECK(expr.Evaluate( + env.Update("x", Expression::FromJson(R"(["a"])"_json)), + fcts) == Expression::FromJson("false"_json)); + CHECK(expr.Evaluate(env.Update("x", Expression::FromJson("null"_json)), + fcts) == Expression::FromJson("true"_json)); + CHECK(expr.Evaluate(env.Update("x", Expression::FromJson("0"_json)), + fcts) == Expression::FromJson("true"_json)); + CHECK(expr.Evaluate(env.Update("x", Expression::FromJson("1"_json)), + fcts) == Expression::FromJson("false"_json)); + CHECK(expr.Evaluate(env.Update("x", Expression::FromJson(R"("")"_json)), + fcts) == Expression::FromJson("true"_json)); + CHECK(expr.Evaluate( + env.Update("x", Expression::FromJson(R"("0")"_json)), fcts) == + Expression::FromJson("false"_json)); + } + SECTION("and expression") { auto expr = Expression::FromJson(R"( { "type": "and" -- cgit v1.2.3