mirror of
https://github.com/NixOS/nix
synced 2025-06-29 06:21:14 +02:00
cc24766fa6
For example, instead of doing
#include "nix/store-config.hh"
#include "nix/derived-path.hh"
Now do
#include "nix/store/config.hh"
#include "nix/store/derived-path.hh"
This was originally planned in the issue, and also recent requested by
Eelco.
Most of the change is purely mechanical. There is just one small
additional issue. See how, in the example above, we took this
opportunity to also turn `<comp>-config.hh` into `<comp>/config.hh`.
Well, there was already a `nix/util/config.{cc,hh}`. Even though there
is not a public configuration header for libutil (which also would be
called `nix/util/config.{cc,hh}`) that's still confusing, To avoid any
such confusion, we renamed that to `nix/util/configuration.{cc,hh}`.
Finally, note that the libflake headers already did this, so we didn't
need to do anything to them. We wouldn't want to mistakenly get
`nix/flake/flake/flake.hh`!
Progress on #7876
109 lines
3.4 KiB
C++
109 lines
3.4 KiB
C++
#include <regex>
|
|
|
|
#include <gtest/gtest.h>
|
|
#include <rapidcheck/gtest.h>
|
|
|
|
#include "nix/store/tests/derived-path.hh"
|
|
#include "nix/store/tests/libstore.hh"
|
|
|
|
namespace nix {
|
|
|
|
class DerivedPathTest : public LibStoreTest
|
|
{
|
|
};
|
|
|
|
/**
|
|
* Round trip (string <-> data structure) test for
|
|
* `DerivedPath::Opaque`.
|
|
*/
|
|
TEST_F(DerivedPathTest, opaque) {
|
|
std::string_view opaque = "/nix/store/g1w7hy3qg1w7hy3qg1w7hy3qg1w7hy3q-x";
|
|
auto elem = DerivedPath::parse(*store, opaque);
|
|
auto * p = std::get_if<DerivedPath::Opaque>(&elem);
|
|
ASSERT_TRUE(p);
|
|
ASSERT_EQ(p->path, store->parseStorePath(opaque));
|
|
ASSERT_EQ(elem.to_string(*store), opaque);
|
|
}
|
|
|
|
/**
|
|
* Round trip (string <-> data structure) test for a simpler
|
|
* `DerivedPath::Built`.
|
|
*/
|
|
TEST_F(DerivedPathTest, built_opaque) {
|
|
std::string_view built = "/nix/store/g1w7hy3qg1w7hy3qg1w7hy3qg1w7hy3q-x.drv^bar,foo";
|
|
auto elem = DerivedPath::parse(*store, built);
|
|
auto * p = std::get_if<DerivedPath::Built>(&elem);
|
|
ASSERT_TRUE(p);
|
|
ASSERT_EQ(p->outputs, ((OutputsSpec) OutputsSpec::Names { "foo", "bar" }));
|
|
ASSERT_EQ(*p->drvPath, ((SingleDerivedPath) SingleDerivedPath::Opaque {
|
|
.path = store->parseStorePath(built.substr(0, 49)),
|
|
}));
|
|
ASSERT_EQ(elem.to_string(*store), built);
|
|
}
|
|
|
|
/**
|
|
* Round trip (string <-> data structure) test for a more complex,
|
|
* inductive `DerivedPath::Built`.
|
|
*/
|
|
TEST_F(DerivedPathTest, built_built) {
|
|
/**
|
|
* We set these in tests rather than the regular globals so we don't have
|
|
* to worry about race conditions if the tests run concurrently.
|
|
*/
|
|
ExperimentalFeatureSettings mockXpSettings;
|
|
mockXpSettings.set("experimental-features", "dynamic-derivations ca-derivations");
|
|
|
|
std::string_view built = "/nix/store/g1w7hy3qg1w7hy3qg1w7hy3qg1w7hy3q-x.drv^foo^bar,baz";
|
|
auto elem = DerivedPath::parse(*store, built, mockXpSettings);
|
|
auto * p = std::get_if<DerivedPath::Built>(&elem);
|
|
ASSERT_TRUE(p);
|
|
ASSERT_EQ(p->outputs, ((OutputsSpec) OutputsSpec::Names { "bar", "baz" }));
|
|
auto * drvPath = std::get_if<SingleDerivedPath::Built>(&*p->drvPath);
|
|
ASSERT_TRUE(drvPath);
|
|
ASSERT_EQ(drvPath->output, "foo");
|
|
ASSERT_EQ(*drvPath->drvPath, ((SingleDerivedPath) SingleDerivedPath::Opaque {
|
|
.path = store->parseStorePath(built.substr(0, 49)),
|
|
}));
|
|
ASSERT_EQ(elem.to_string(*store), built);
|
|
}
|
|
|
|
/**
|
|
* Without the right experimental features enabled, we cannot parse a
|
|
* complex inductive derived path.
|
|
*/
|
|
TEST_F(DerivedPathTest, built_built_xp) {
|
|
ASSERT_THROW(
|
|
DerivedPath::parse(*store, "/nix/store/g1w7hy3qg1w7hy3qg1w7hy3qg1w7hy3q-x.drv^foo^bar,baz"),
|
|
MissingExperimentalFeature);
|
|
}
|
|
|
|
#ifndef COVERAGE
|
|
|
|
/* TODO: Disabled due to the following error:
|
|
|
|
path '00000000000000000000000000000000-0^0' is not a valid store path:
|
|
name '0^0' contains illegal character '^'
|
|
*/
|
|
RC_GTEST_FIXTURE_PROP(
|
|
DerivedPathTest,
|
|
DISABLED_prop_legacy_round_rip,
|
|
(const DerivedPath & o))
|
|
{
|
|
ExperimentalFeatureSettings xpSettings;
|
|
xpSettings.set("experimental-features", "dynamic-derivations");
|
|
RC_ASSERT(o == DerivedPath::parseLegacy(*store, o.to_string_legacy(*store), xpSettings));
|
|
}
|
|
|
|
RC_GTEST_FIXTURE_PROP(
|
|
DerivedPathTest,
|
|
prop_round_rip,
|
|
(const DerivedPath & o))
|
|
{
|
|
ExperimentalFeatureSettings xpSettings;
|
|
xpSettings.set("experimental-features", "dynamic-derivations");
|
|
RC_ASSERT(o == DerivedPath::parse(*store, o.to_string(*store), xpSettings));
|
|
}
|
|
|
|
#endif
|
|
|
|
}
|