2006-09-05 00:06:23 +03:00
|
|
|
#include "dotgraph.hh"
|
2006-11-30 19:43:04 +02:00
|
|
|
#include "store-api.hh"
|
2006-09-05 00:06:23 +03:00
|
|
|
|
2006-03-01 19:44:28 +02:00
|
|
|
#include <iostream>
|
|
|
|
|
2006-09-05 00:06:23 +03:00
|
|
|
|
|
|
|
using std::cout;
|
|
|
|
|
|
|
|
namespace nix {
|
2003-09-03 14:20:18 +03:00
|
|
|
|
|
|
|
|
2022-02-25 17:00:00 +02:00
|
|
|
static std::string dotQuote(std::string_view s)
|
2003-09-03 14:20:18 +03:00
|
|
|
{
|
2019-12-05 20:11:09 +02:00
|
|
|
return "\"" + std::string(s) + "\"";
|
2003-09-03 14:20:18 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2022-02-25 17:00:00 +02:00
|
|
|
static const std::string & nextColour()
|
2003-09-03 17:49:58 +03:00
|
|
|
{
|
|
|
|
static int n = 0;
|
2022-02-25 17:00:00 +02:00
|
|
|
static std::vector<std::string> colours
|
2016-01-28 17:01:01 +02:00
|
|
|
{ "black", "red", "green", "blue"
|
|
|
|
, "magenta", "burlywood" };
|
2022-02-25 17:00:00 +02:00
|
|
|
return colours[n++ % colours.size()];
|
2003-09-03 17:49:58 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2022-02-25 17:00:00 +02:00
|
|
|
static std::string makeEdge(std::string_view src, std::string_view dst)
|
2003-09-03 17:49:58 +03:00
|
|
|
{
|
2022-02-25 17:00:00 +02:00
|
|
|
return fmt("%1% -> %2% [color = %3%];\n",
|
|
|
|
dotQuote(src), dotQuote(dst), dotQuote(nextColour()));
|
2003-09-03 17:49:58 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2022-02-25 17:00:00 +02:00
|
|
|
static std::string makeNode(std::string_view id, std::string_view label,
|
|
|
|
std::string_view colour)
|
2003-09-03 17:49:58 +03:00
|
|
|
{
|
2022-02-25 17:00:00 +02:00
|
|
|
return fmt("%1% [label = %2%, shape = box, "
|
|
|
|
"style = filled, fillcolor = %3%];\n",
|
|
|
|
dotQuote(id), dotQuote(label), dotQuote(colour));
|
2003-09-03 17:49:58 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2019-12-05 20:11:09 +02:00
|
|
|
void printDotGraph(ref<Store> store, StorePathSet && roots)
|
2003-09-03 14:20:18 +03:00
|
|
|
{
|
2019-12-05 20:11:09 +02:00
|
|
|
StorePathSet workList(std::move(roots));
|
|
|
|
StorePathSet doneSet;
|
2016-01-28 17:01:01 +02:00
|
|
|
|
2003-09-03 14:20:18 +03:00
|
|
|
cout << "digraph G {\n";
|
|
|
|
|
|
|
|
while (!workList.empty()) {
|
2019-12-05 20:11:09 +02:00
|
|
|
auto path = std::move(workList.extract(workList.begin()).value());
|
2003-09-03 14:20:18 +03:00
|
|
|
|
2020-06-16 23:20:18 +03:00
|
|
|
if (!doneSet.insert(path).second) continue;
|
2003-10-16 19:29:57 +03:00
|
|
|
|
2019-12-05 20:11:09 +02:00
|
|
|
cout << makeNode(std::string(path.to_string()), path.name(), "#ff0000");
|
2016-01-28 17:01:01 +02:00
|
|
|
|
2016-04-19 19:50:15 +03:00
|
|
|
for (auto & p : store->queryPathInfo(path)->references) {
|
|
|
|
if (p != path) {
|
2020-06-16 23:20:18 +03:00
|
|
|
workList.insert(p);
|
2020-03-10 12:11:46 +02:00
|
|
|
cout << makeEdge(std::string(p.to_string()), std::string(path.to_string()));
|
2006-01-19 17:35:34 +02:00
|
|
|
}
|
2005-03-27 00:06:57 +02:00
|
|
|
}
|
2003-09-03 14:20:18 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
cout << "}\n";
|
|
|
|
}
|
2006-09-05 00:06:23 +03:00
|
|
|
|
2016-01-28 17:01:01 +02:00
|
|
|
|
2006-09-05 00:06:23 +03:00
|
|
|
}
|