aboutsummaryrefslogtreecommitdiff
path: root/src/libexpr/tests
diff options
context:
space:
mode:
Diffstat (limited to 'src/libexpr/tests')
-rw-r--r--src/libexpr/tests/error_traces.cc94
-rw-r--r--src/libexpr/tests/local.mk4
-rw-r--r--src/libexpr/tests/primops.cc6
-rw-r--r--src/libexpr/tests/value/context.cc72
4 files changed, 75 insertions, 101 deletions
diff --git a/src/libexpr/tests/error_traces.cc b/src/libexpr/tests/error_traces.cc
deleted file mode 100644
index 8741ecdd2..000000000
--- a/src/libexpr/tests/error_traces.cc
+++ /dev/null
@@ -1,94 +0,0 @@
-#include <gmock/gmock.h>
-#include <gtest/gtest.h>
-
-#include "libexprtests.hh"
-
-namespace nix {
-
- using namespace testing;
-
- // Testing eval of PrimOp's
- class ErrorTraceTest : public LibExprTest { };
-
-#define ASSERT_TRACE1(args, type, message) \
- ASSERT_THROW( \
- try { \
- eval("builtins." args); \
- } catch (BaseError & e) { \
- ASSERT_EQ(PrintToString(e.info().msg), \
- PrintToString(message)); \
- auto trace = e.info().traces.rbegin(); \
- ASSERT_EQ(PrintToString(trace->hint), \
- PrintToString(hintfmt("while calling the '%s' builtin", "genericClosure"))); \
- throw; \
- } \
- , type \
- )
-
-#define ASSERT_TRACE2(args, type, message, context) \
- ASSERT_THROW( \
- try { \
- eval("builtins." args); \
- } catch (BaseError & e) { \
- ASSERT_EQ(PrintToString(e.info().msg), \
- PrintToString(message)); \
- auto trace = e.info().traces.rbegin(); \
- ASSERT_EQ(PrintToString(trace->hint), \
- PrintToString(context)); \
- ++trace; \
- ASSERT_EQ(PrintToString(trace->hint), \
- PrintToString(hintfmt("while calling the '%s' builtin", "genericClosure"))); \
- throw; \
- } \
- , type \
- )
-
- TEST_F(ErrorTraceTest, genericClosure) { \
- ASSERT_TRACE2("genericClosure 1",
- TypeError,
- hintfmt("value is %s while a set was expected", "an integer"),
- hintfmt("while evaluating the first argument passed to builtins.genericClosure"));
-
- ASSERT_TRACE1("genericClosure {}",
- TypeError,
- hintfmt("attribute '%s' missing %s", "startSet", normaltxt("in the attrset passed as argument to builtins.genericClosure")));
-
- ASSERT_TRACE2("genericClosure { startSet = 1; }",
- TypeError,
- hintfmt("value is %s while a list was expected", "an integer"),
- hintfmt("while evaluating the 'startSet' attribute passed as argument to builtins.genericClosure"));
-
- // Okay: "genericClosure { startSet = []; }"
-
- ASSERT_TRACE2("genericClosure { startSet = [{ key = 1;}]; operator = true; }",
- TypeError,
- hintfmt("value is %s while a function was expected", "a Boolean"),
- hintfmt("while evaluating the 'operator' attribute passed as argument to builtins.genericClosure"));
-
- ASSERT_TRACE2("genericClosure { startSet = [{ key = 1;}]; operator = item: true; }",
- TypeError,
- hintfmt("value is %s while a list was expected", "a Boolean"),
- hintfmt("while evaluating the return value of the `operator` passed to builtins.genericClosure")); // TODO: inconsistent naming
-
- ASSERT_TRACE2("genericClosure { startSet = [{ key = 1;}]; operator = item: [ true ]; }",
- TypeError,
- hintfmt("value is %s while a set was expected", "a Boolean"),
- hintfmt("while evaluating one of the elements generated by (or initially passed to) builtins.genericClosure"));
-
- ASSERT_TRACE1("genericClosure { startSet = [{ key = 1;}]; operator = item: [ {} ]; }",
- TypeError,
- hintfmt("attribute '%s' missing %s", "key", normaltxt("in one of the attrsets generated by (or initially passed to) builtins.genericClosure")));
-
- ASSERT_TRACE2("genericClosure { startSet = [{ key = 1;}]; operator = item: [{ key = ''a''; }]; }",
- EvalError,
- hintfmt("cannot compare %s with %s", "a string", "an integer"),
- hintfmt("while comparing the `key` attributes of two genericClosure elements"));
-
- ASSERT_TRACE2("genericClosure { startSet = [ true ]; operator = item: [{ key = ''a''; }]; }",
- TypeError,
- hintfmt("value is %s while a set was expected", "a Boolean"),
- hintfmt("while evaluating one of the elements generated by (or initially passed to) builtins.genericClosure"));
-
- }
-
-} /* namespace nix */
diff --git a/src/libexpr/tests/local.mk b/src/libexpr/tests/local.mk
index b95980cab..e483575a4 100644
--- a/src/libexpr/tests/local.mk
+++ b/src/libexpr/tests/local.mk
@@ -6,7 +6,9 @@ libexpr-tests_DIR := $(d)
libexpr-tests_INSTALL_DIR :=
-libexpr-tests_SOURCES := $(wildcard $(d)/*.cc)
+libexpr-tests_SOURCES := \
+ $(wildcard $(d)/*.cc) \
+ $(wildcard $(d)/value/*.cc)
libexpr-tests_CXXFLAGS += -I src/libexpr -I src/libutil -I src/libstore -I src/libexpr/tests
diff --git a/src/libexpr/tests/primops.cc b/src/libexpr/tests/primops.cc
index 9cdcf64a1..bcdc7086b 100644
--- a/src/libexpr/tests/primops.cc
+++ b/src/libexpr/tests/primops.cc
@@ -823,10 +823,4 @@ namespace nix {
for (const auto [n, elem] : enumerate(v.listItems()))
ASSERT_THAT(*elem, IsStringEq(expected[n]));
}
-
- TEST_F(PrimOpTest, genericClosure_not_strict) {
- // Operator should not be used when startSet is empty
- auto v = eval("builtins.genericClosure { startSet = []; }");
- ASSERT_THAT(v, IsListOfSize(0));
- }
} /* namespace nix */
diff --git a/src/libexpr/tests/value/context.cc b/src/libexpr/tests/value/context.cc
new file mode 100644
index 000000000..d5c9d3bce
--- /dev/null
+++ b/src/libexpr/tests/value/context.cc
@@ -0,0 +1,72 @@
+#include "value/context.hh"
+
+#include "libexprtests.hh"
+
+namespace nix {
+
+// Testing of trivial expressions
+struct NixStringContextElemTest : public LibExprTest {
+ const Store & store() const {
+ return *LibExprTest::store;
+ }
+};
+
+TEST_F(NixStringContextElemTest, empty_invalid) {
+ EXPECT_THROW(
+ NixStringContextElem::parse(store(), ""),
+ BadNixStringContextElem);
+}
+
+TEST_F(NixStringContextElemTest, single_bang_invalid) {
+ EXPECT_THROW(
+ NixStringContextElem::parse(store(), "!"),
+ BadNixStringContextElem);
+}
+
+TEST_F(NixStringContextElemTest, double_bang_invalid) {
+ EXPECT_THROW(
+ NixStringContextElem::parse(store(), "!!/"),
+ BadStorePath);
+}
+
+TEST_F(NixStringContextElemTest, eq_slash_invalid) {
+ EXPECT_THROW(
+ NixStringContextElem::parse(store(), "=/"),
+ BadStorePath);
+}
+
+TEST_F(NixStringContextElemTest, slash_invalid) {
+ EXPECT_THROW(
+ NixStringContextElem::parse(store(), "/"),
+ BadStorePath);
+}
+
+TEST_F(NixStringContextElemTest, opaque) {
+ std::string_view opaque = "/nix/store/g1w7hy3qg1w7hy3qg1w7hy3qg1w7hy3q-x";
+ auto elem = NixStringContextElem::parse(store(), opaque);
+ auto * p = std::get_if<NixStringContextElem::Opaque>(&elem);
+ ASSERT_TRUE(p);
+ ASSERT_EQ(p->path, store().parseStorePath(opaque));
+ ASSERT_EQ(elem.to_string(store()), opaque);
+}
+
+TEST_F(NixStringContextElemTest, drvDeep) {
+ std::string_view drvDeep = "=/nix/store/g1w7hy3qg1w7hy3qg1w7hy3qg1w7hy3q-x.drv";
+ auto elem = NixStringContextElem::parse(store(), drvDeep);
+ auto * p = std::get_if<NixStringContextElem::DrvDeep>(&elem);
+ ASSERT_TRUE(p);
+ ASSERT_EQ(p->drvPath, store().parseStorePath(drvDeep.substr(1)));
+ ASSERT_EQ(elem.to_string(store()), drvDeep);
+}
+
+TEST_F(NixStringContextElemTest, built) {
+ std::string_view built = "!foo!/nix/store/g1w7hy3qg1w7hy3qg1w7hy3qg1w7hy3q-x.drv";
+ auto elem = NixStringContextElem::parse(store(), built);
+ auto * p = std::get_if<NixStringContextElem::Built>(&elem);
+ ASSERT_TRUE(p);
+ ASSERT_EQ(p->output, "foo");
+ ASSERT_EQ(p->drvPath, store().parseStorePath(built.substr(5)));
+ ASSERT_EQ(elem.to_string(store()), built);
+}
+
+}
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-23 09:09:16 +0000