2006-09-05 00:06:23 +03:00
|
|
|
#include "dotgraph.hh"
|
|
|
|
#include "util.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
|
|
|
|
|
|
|
|
2019-12-05 20:11:09 +02:00
|
|
|
static 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
|
|
|
}
|
|
|
|
|
|
|
|
|
2003-09-03 17:49:58 +03:00
|
|
|
static string nextColour()
|
|
|
|
{
|
|
|
|
static int n = 0;
|
|
|
|
static string colours[] =
|
2016-01-28 17:01:01 +02:00
|
|
|
{ "black", "red", "green", "blue"
|
|
|
|
, "magenta", "burlywood" };
|
2003-09-03 17:49:58 +03:00
|
|
|
return colours[n++ % (sizeof(colours) / sizeof(string))];
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
static string makeEdge(const string & src, const string & dst)
|
|
|
|
{
|
|
|
|
format f = format("%1% -> %2% [color = %3%];\n")
|
2016-01-28 17:01:01 +02:00
|
|
|
% dotQuote(src) % dotQuote(dst) % dotQuote(nextColour());
|
2003-09-03 17:49:58 +03:00
|
|
|
return f.str();
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2019-12-05 20:11:09 +02:00
|
|
|
static string makeNode(const string & id, std::string_view label,
|
2003-09-03 17:49:58 +03:00
|
|
|
const string & colour)
|
|
|
|
{
|
|
|
|
format f = format("%1% [label = %2%, shape = box, "
|
2016-01-28 17:01:01 +02:00
|
|
|
"style = filled, fillcolor = %3%];\n")
|
|
|
|
% dotQuote(id) % dotQuote(label) % dotQuote(colour);
|
2003-09-03 17:49:58 +03:00
|
|
|
return f.str();
|
|
|
|
}
|
|
|
|
|
|
|
|
|
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
|
|
|
|
2019-12-05 20:11:09 +02:00
|
|
|
if (!doneSet.insert(path.clone()).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) {
|
2019-12-05 20:11:09 +02:00
|
|
|
workList.insert(p.clone());
|
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
|
|
|
}
|