mirror of
https://github.com/NixOS/nix.git
synced 2025-11-09 12:06:01 +01:00
e4f62e4608
* It is tough to contribute to a project that doesn't use a formatter, * It is extra hard to contribute to a project which has configured the formatter, but ignores it for some files * Code formatting makes it harder to hide obscure / weird bugs by accident or on purpose, Let's rip the bandaid off? Note that PRs currently in flight should be able to be merged relatively easily by applying `clang-format` to their tip prior to merge.
110 lines
3.5 KiB
C++
110 lines
3.5 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
|
|
|
|
} // namespace nix
|