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