diff options
Diffstat (limited to 'third_party/nix/src/tests/attr-set.cc')
-rw-r--r-- | third_party/nix/src/tests/attr-set.cc | 88 |
1 files changed, 2 insertions, 86 deletions
diff --git a/third_party/nix/src/tests/attr-set.cc b/third_party/nix/src/tests/attr-set.cc index 84756c60940e..35932bbeff65 100644 --- a/third_party/nix/src/tests/attr-set.cc +++ b/third_party/nix/src/tests/attr-set.cc @@ -20,93 +20,9 @@ #include "libexpr/nixexpr.hh" #include "libexpr/symbol-table.hh" #include "libexpr/value.hh" +#include "tests/arbitrary.hh" #include "tests/dummy-store.hh" -static nix::SymbolTable* symbol_table; - -namespace rc { -using nix::Pos; -using nix::Value; - -// TODO(grfn): These arbitrary implementations should be pulled out to a util -// file sooner rather than later - -template <> -struct Arbitrary<nix::Symbol> { - static Gen<nix::Symbol> arbitrary() { - return gen::map(gen::arbitrary<std::string>(), - [](std::string s) { return symbol_table->Create(s); }); - } -}; - -template <> -struct Arbitrary<Value> { - static Gen<nix::Value> arbitrary() { - return gen::build(gen::construct<Value>(), - // TODO(grfn) generalize to more types - gen::set(&Value::type, gen::just(nix::ValueType::tInt)), - gen::set(&Value::integer, gen::arbitrary<int64_t>())); - } -}; - -template <> -struct Arbitrary<Value*> { - static Gen<nix::Value*> arbitrary() { - return gen::apply( - [](nix::ValueType typ, int i) { - auto ret = new Value(); - ret->type = typ; - ret->integer = i; - return ret; - }, - gen::just(nix::ValueType::tInt), gen::arbitrary<int64_t>()); - } -}; - -template <> -struct Arbitrary<nix::Pos> { - static Gen<nix::Pos> arbitrary() { - return gen::construct<nix::Pos>(gen::arbitrary<nix::Symbol>(), - gen::arbitrary<unsigned int>(), - gen::arbitrary<unsigned int>()); - } -}; - -template <> -struct Arbitrary<nix::Pos*> { - static Gen<nix::Pos*> arbitrary() { - return gen::apply( - [](unsigned int line, unsigned int column) { - return new Pos({}, line, column); - }, - gen::arbitrary<unsigned int>(), gen::arbitrary<unsigned int>()); - } -}; - -template <> -struct Arbitrary<nix::Attr> { - static Gen<nix::Attr> arbitrary() { - return gen::construct<nix::Attr>(gen::arbitrary<nix::Symbol>(), - gen::arbitrary<Value*>(), - gen::arbitrary<nix::Pos*>()); - } -}; - -template <> -struct Arbitrary<nix::Bindings> { - static Gen<nix::Bindings> arbitrary() { - return gen::map(gen::arbitrary<std::vector<nix::Attr>>(), [](auto attrs) { - nix::Bindings res; - for (const auto& attr : attrs) { - res.push_back(attr); - } - return res; - }); - } -}; - -} // namespace rc - namespace nix { using nix::tests::DummyStore; @@ -118,7 +34,7 @@ class AttrSetTest : public ::testing::Test { nix::expr::InitGC(); auto store = std::make_shared<DummyStore>(); eval_state_ = new EvalState({"."}, ref<Store>(store)); - symbol_table = &eval_state_->symbols; + tests::symbol_table = &eval_state_->symbols; } void assert_bindings_equal(nix::Bindings* lhs, nix::Bindings* rhs) { |