private void UpdateCurrentContent()
{
var nodeSelector = RestrictVisibility
? OriginalGraph.GetNodeSelector(SelectedNodeIds, NodeVisitStopFunction, NodeVisitAcceptFunction)
: null;
CurrentDotContent = OriginalGraph.ToDot(new DotFormatOptions {
NodeSelector = nodeSelector
});
if (UpdateCurrentImage)
{
CurrentImage = GraphParser.GetGraphImage(CurrentDotContent);
}
CurrentDotLayoutContent = GraphParser.GetGraphLayoutDot(CurrentDotContent);
CurrentLayoutGraph = GraphParser.GetGraph(CurrentDotLayoutContent);
if (CurrentWpfGraph != null)
{
CurrentWpfGraph.Changed -= CurrentWpfGraphChanged;
}
CurrentWpfGraph = new WpfGraph(CurrentLayoutGraph, SelectedNodeIds);
CurrentWpfGraph.Changed += CurrentWpfGraphChanged;
if (IsConnectedComponentsEnabled)
{
CurrentConnectedComponents = GetConnectedComponents(CurrentLayoutGraph);
}
}
private static void GenerateOutput(string originalDot, string graphDot, string reparsedDot)
{
GraphParser.GetGraphImage(originalDot).Save("outOriginal.png");
GraphParser.GetGraphImage(graphDot).Save("out.png");
File.WriteAllText("layout.gv", reparsedDot);
}
