forked from lix-project/lix
f7f37035c8
Today, with the tests inside a `tests` intermingled with the corresponding library's source code, we have a few problems: - We have to be careful that wildcards don't end up with tests being built as part of Nix proper, or test headers being installed as part of Nix proper. - Tests in libraries but not executables is not right: - It means each executable runs the previous unit tests again, because it needs the libraries. - It doesn't work right on Windows, which doesn't want you to load a DLL just for the side global variable . It could be made to work with the dlopen equivalent, but that's gross! This reorg solves these problems. There is a remaining problem which is that sibbling headers (like `hash.hh` the test header vs `hash.hh` the main `libnixutil` header) end up shadowing each other. This PR doesn't solve that. That is left as future work for a future PR. Co-authored-by: Valentin Gagarin <valentin.gagarin@tweag.io> (cherry picked from commit 91b6833686a6a6d9eac7f3f66393ec89ef1d3b57) (cherry picked from commit a61e42adb528b3d40ce43e07c79368d779a8b624)
141 lines
3.6 KiB
C++
141 lines
3.6 KiB
C++
#pragma once
|
|
///@file
|
|
|
|
#include <gtest/gtest.h>
|
|
#include <gmock/gmock.h>
|
|
|
|
#include "value.hh"
|
|
#include "nixexpr.hh"
|
|
#include "eval.hh"
|
|
#include "eval-inline.hh"
|
|
#include "store-api.hh"
|
|
|
|
#include "tests/libstore.hh"
|
|
|
|
namespace nix {
|
|
class LibExprTest : public LibStoreTest {
|
|
public:
|
|
static void SetUpTestSuite() {
|
|
LibStoreTest::SetUpTestSuite();
|
|
initGC();
|
|
}
|
|
|
|
protected:
|
|
LibExprTest()
|
|
: LibStoreTest()
|
|
, state({}, store)
|
|
{
|
|
}
|
|
Value eval(std::string input, bool forceValue = true) {
|
|
Value v;
|
|
Expr * e = state.parseExprFromString(input, state.rootPath(CanonPath::root));
|
|
assert(e);
|
|
state.eval(e, v);
|
|
if (forceValue)
|
|
state.forceValue(v, noPos);
|
|
return v;
|
|
}
|
|
|
|
Symbol createSymbol(const char * value) {
|
|
return state.symbols.create(value);
|
|
}
|
|
|
|
EvalState state;
|
|
};
|
|
|
|
MATCHER(IsListType, "") {
|
|
return arg != nList;
|
|
}
|
|
|
|
MATCHER(IsList, "") {
|
|
return arg.type() == nList;
|
|
}
|
|
|
|
MATCHER(IsString, "") {
|
|
return arg.type() == nString;
|
|
}
|
|
|
|
MATCHER(IsNull, "") {
|
|
return arg.type() == nNull;
|
|
}
|
|
|
|
MATCHER(IsThunk, "") {
|
|
return arg.type() == nThunk;
|
|
}
|
|
|
|
MATCHER(IsAttrs, "") {
|
|
return arg.type() == nAttrs;
|
|
}
|
|
|
|
MATCHER_P(IsStringEq, s, fmt("The string is equal to \"%1%\"", s)) {
|
|
if (arg.type() != nString) {
|
|
return false;
|
|
}
|
|
return std::string_view(arg.string.s) == s;
|
|
}
|
|
|
|
MATCHER_P(IsIntEq, v, fmt("The string is equal to \"%1%\"", v)) {
|
|
if (arg.type() != nInt) {
|
|
return false;
|
|
}
|
|
return arg.integer == v;
|
|
}
|
|
|
|
MATCHER_P(IsFloatEq, v, fmt("The float is equal to \"%1%\"", v)) {
|
|
if (arg.type() != nFloat) {
|
|
return false;
|
|
}
|
|
return arg.fpoint == v;
|
|
}
|
|
|
|
MATCHER(IsTrue, "") {
|
|
if (arg.type() != nBool) {
|
|
return false;
|
|
}
|
|
return arg.boolean == true;
|
|
}
|
|
|
|
MATCHER(IsFalse, "") {
|
|
if (arg.type() != nBool) {
|
|
return false;
|
|
}
|
|
return arg.boolean == false;
|
|
}
|
|
|
|
MATCHER_P(IsPathEq, p, fmt("Is a path equal to \"%1%\"", p)) {
|
|
if (arg.type() != nPath) {
|
|
*result_listener << "Expected a path got " << arg.type();
|
|
return false;
|
|
} else if (std::string_view(arg.string.s) != p) {
|
|
*result_listener << "Expected a path that equals \"" << p << "\" but got: " << arg.string.s;
|
|
return false;
|
|
}
|
|
return true;
|
|
}
|
|
|
|
|
|
MATCHER_P(IsListOfSize, n, fmt("Is a list of size [%1%]", n)) {
|
|
if (arg.type() != nList) {
|
|
*result_listener << "Expected list got " << arg.type();
|
|
return false;
|
|
} else if (arg.listSize() != (size_t)n) {
|
|
*result_listener << "Expected as list of size " << n << " got " << arg.listSize();
|
|
return false;
|
|
}
|
|
return true;
|
|
}
|
|
|
|
MATCHER_P(IsAttrsOfSize, n, fmt("Is a set of size [%1%]", n)) {
|
|
if (arg.type() != nAttrs) {
|
|
*result_listener << "Expected set got " << arg.type();
|
|
return false;
|
|
} else if (arg.attrs->size() != (size_t)n) {
|
|
*result_listener << "Expected a set with " << n << " attributes but got " << arg.attrs->size();
|
|
return false;
|
|
}
|
|
return true;
|
|
}
|
|
|
|
|
|
} /* namespace nix */
|