/// <summary> /// Задать цвета вершины. /// </summary> /// <param name="args">Аргументы события отрисовки вершины.</param> /// <param name="dadVertices">Перечисление всех вершин с УСПД в топологии.</param> /// <param name="mcdVertices">Перечисление всех вергин с КУ в топологии.</param> protected void SetVertexColors(FormatVertexEventArgs <TopologyVertex> args, IEnumerable <TopologyVertex> dadVertices, IEnumerable <TopologyVertex> mcdVertices) { try { args.VertexFormatter.Style = GraphvizVertexStyle.Filled; if (args.Vertex.MCZs != null && args.Vertex.MCZs.Any()) // Вершины с ТУУ окрашиваем в зелёный цвет { args.VertexFormatter.FillColor = Color.LightGreen; } else if (!args.Vertex.IsInside()) // Граничные вершины окрашиваем в жёлтый цвет { args.VertexFormatter.FillColor = Color.Yellow; } else { args.VertexFormatter.FillColor = Color.WhiteSmoke; // Все остальные вершины - почти белые } HighlightVertex(args, dadVertices, mcdVertices); } catch (Exception ex) { Console.WriteLine("SetVertexColor failed! {0}", ex.Message); } }
/// <summary> /// Выделить цветом на графе вершины топологии. /// </summary> /// <param name="args">Аргументы события отрисовки вершины.</param> /// <param name="dadVertices">Перечисление всех вершин с УСПД в топологии.</param> /// <param name="mcdVertices">Перечисление всех вергин с КУ в топологии.</param> protected void HighlightVertex(FormatVertexEventArgs <TopologyVertex> args, IEnumerable <TopologyVertex> dadVertices, IEnumerable <TopologyVertex> mcdVertices) { try { var dadFound = dadVertices.Contains(args.Vertex); var mcdFound = mcdVertices.Contains(args.Vertex); // Окрашиваем контуры вершинам в соответствии с устройствами на них if (dadFound) { args.VertexFormatter.Shape = GraphvizVertexShape.Box; args.VertexFormatter.StrokeColor = Color.Red; args.VertexFormatter.FontColor = Color.Red; } if (mcdFound) { args.VertexFormatter.Shape = dadFound ? GraphvizVertexShape.Hexagon : GraphvizVertexShape.Box; // Если в вершине и счётчик, и УСПД, то форма особенная args.VertexFormatter.StrokeColor = Color.Blue; args.VertexFormatter.FontColor = Color.Blue; } } catch (Exception ex) { Console.WriteLine("HighlightVertex failed! {0}", ex.Message); } }
void VertexStyler(object sender, FormatVertexEventArgs <Vertex> e) { e.VertexFormatter.Label = e.Vertex.Title; if (e.Vertex.VertexType == typeof(Event)) { e.VertexFormatter.FontColor = GraphvizColor.Black; e.VertexFormatter.Shape = GraphvizVertexShape.Plaintext; if (e.Vertex.TargetType != typeof(Event) && e.Vertex.TargetType != typeof(Exception)) { e.VertexFormatter.Label += "<" + e.Vertex.TargetType.Name + ">"; } } else { switch (e.Vertex.Title) { case "Initial": e.VertexFormatter.FillColor = GraphvizColor.White; break; case "Final": e.VertexFormatter.FillColor = GraphvizColor.White; break; default: e.VertexFormatter.FillColor = GraphvizColor.White; e.VertexFormatter.FontColor = GraphvizColor.Black; break; } e.VertexFormatter.Shape = GraphvizVertexShape.Ellipse; } }
private void graphviz_FormatVertex(object sender, FormatVertexEventArgs <int> e) { //(If nothing is included here, having this here allows default behaviour for serializer (add labels)) //Use formattor explicitally var vertexFormattor = e.VertexFormatter; int vertexNo = e.Vertex; string vertexLabel = vertexNo.ToString(); if (vertexMapping.ContainsKey(vertexNo)) { vertexLabel = vertexMapping[vertexNo]; } //If there is a clue here, append clue var clues = model.DoorAndClueManager.GetObjectiveAndClueIdsAtVertex(vertexNo); foreach (var clue in clues) { vertexLabel += "\\n"; vertexLabel += clue; } vertexFormattor.Label = vertexLabel; }
void graphviz_FormatVertex(object sender, FormatVertexEventArgs e) { TypeVertex v = (TypeVertex)e.Vertex; e.VertexFormatter.Label = v.Name; e.VertexFormatter.Font = new Font(FontFamily.GenericSerif, 8); }
void VertexStyler(object sender, FormatVertexEventArgs<Vertex> e) { e.VertexFormatter.Label = e.Vertex.Title; if (e.Vertex.VertexType == typeof(Event)) { e.VertexFormatter.FontColor = GraphvizColor.Black; e.VertexFormatter.Shape = GraphvizVertexShape.Rectangle; if (e.Vertex.TargetType != typeof(Event) && e.Vertex.TargetType != typeof(Exception)) e.VertexFormatter.Label += "<" + e.Vertex.TargetType.Name + ">"; } else { switch (e.Vertex.Title) { case "Initial": e.VertexFormatter.FillColor = GraphvizColor.White; break; case "Final": e.VertexFormatter.FillColor = GraphvizColor.White; break; default: e.VertexFormatter.FillColor = GraphvizColor.White; e.VertexFormatter.FontColor = GraphvizColor.Black; break; } e.VertexFormatter.Shape = GraphvizVertexShape.Ellipse; } }
private static void VertexStyler(object sender, FormatVertexEventArgs <Vertex> args) { args.VertexFormat.Label = args.Vertex.Title; if (args.Vertex.VertexType == typeof(Event)) { args.VertexFormat.FontColor = GraphvizColor.Black; args.VertexFormat.Shape = GraphvizVertexShape.Rectangle; if (args.Vertex.TargetType != typeof(Event) && args.Vertex.TargetType != typeof(Exception)) { args.VertexFormat.Label += "<" + args.Vertex.TargetType.Name + ">"; } } else { switch (args.Vertex.Title) { case "Initial": args.VertexFormat.FillColor = GraphvizColor.White; break; case "Final": args.VertexFormat.FillColor = GraphvizColor.White; break; default: args.VertexFormat.FillColor = GraphvizColor.White; args.VertexFormat.FontColor = GraphvizColor.Black; break; } args.VertexFormat.Shape = GraphvizVertexShape.Ellipse; } }
public void FormatGraph(object sender, FormatVertexEventArgs args) { MyVertex o = (MyVertex)args.Vertex; args.VertexFormatter.Label = o.Name; args.VertexFormatter.Shape = NGraphviz.Helpers.GraphvizVertexShape.Ellipse; }
private void VertexFormatter(object sender, FormatVertexEventArgs <int> e) { Contract.Requires(e != null); e.VertexFormat.Label = e.Vertex.ToString(); e.VertexFormat.Shape = _VertexShape; e.VertexFormat.Style = _VertexStyle; }
/* * задаёт стиль вершин графа */ private static void FormatVertex(object sender, FormatVertexEventArgs <string> e) { e.VertexFormatter.Label = e.Vertex.Split()[0]; e.VertexFormatter.Shape = GraphvizVertexShape.Circle; e.VertexFormatter.StrokeColor = GraphvizColor.Black; e.VertexFormatter.Font = new GraphvizFont("Calibri", 11); }
//////////////////////////////////////////////////////////////// private void FormatVertexHandler(object sender, FormatVertexEventArgs <string> e) { Contract.Requires(e != null); e.VertexFormat.Label = e.Vertex; e.VertexFormat.Shape = _VertexShape; e.VertexFormat.Style = _VertexStyle; }
private static void VizFormastring <TVertex>(object sender, FormatVertexEventArgs <TVertex> e) where TVertex : ExpansionTreeNode { var graph = e.Vertex.QueryGraph; e.VertexFormatter.Shape = QuickGraph.Graphviz.Dot.GraphvizVertexShape.Box; e.VertexFormatter.Label = e.Vertex.NodeName; e.VertexFormatter.Label += graph == null ? "\n\n(Root)" : $"\n\n(Level {e.Vertex.Level}. #Edges: {graph.EdgeCount})"; }
private static void FormatVertex(object sender, FormatVertexEventArgs <string> e) { e.VertexFormatter.Label = e.Vertex; //Форма узла e.VertexFormatter.Shape = GraphvizVertexShape.Circle; //Цвет узора e.VertexFormatter.StrokeColor = GraphvizColor.Black; //Настройки шрифта e.VertexFormatter.Font = new GraphvizFont("Calibri", 11); }
private static void graphviz_FormatVertex(object sender, FormatVertexEventArgs <int> e) { //(If nothing is included here, having this here allows default behaviour for serializer (add labels)) //Use formattor explicitally var vertexFormattor = e.VertexFormatter; int vertexNo = e.Vertex; vertexFormattor.Label = String.Format("{0}", vertexNo); }
private static void graphviz_FormatVertex(object sender, FormatVertexEventArgs<int> e) { //(If nothing is included here, having this here allows default behaviour for serializer (add labels)) //Use formattor explicitally var vertexFormattor = e.VertexFormatter; int vertexNo = e.Vertex; vertexFormattor.Label = String.Format("{0}", vertexNo); }
private void graphviz_FormatDoorVertex(object sender, FormatVertexEventArgs <int> e) { //Output door id var vertexFormattor = e.VertexFormatter; int vertexNo = e.Vertex; var door = model.DoorAndClueManager.GetLockIdByIndex(vertexNo); vertexFormattor.Label = door; }
private void FormatVertex(Object sender, FormatVertexEventArgs e) { e.VertexFormatter.Label = ((NamedVertex)e.Vertex).Name; e.VertexFormatter.Shape = GraphvizVertexShape.Box; if (e.Vertex==this.root) e.VertexFormatter.StrokeColor = Color.Blue; else e.VertexFormatter.StrokeColor = Color.Black; }
private static void FormatVertex(object sender, FormatVertexEventArgs <string> e) { e.VertexFormatter.Label = e.Vertex; e.VertexFormatter.Shape = GraphvizVertexShape.Circle; e.VertexFormatter.StrokeColor = GraphvizColor.Black; e.VertexFormatter.Font = new GraphvizFont(System.Drawing.FontFamily.GenericMonospace.Name, 12); e.VertexFormatter.Style = GraphvizVertexStyle.Filled; }
private static void FormatVertex(object sender, FormatVertexEventArgs <int> e) { if (e.Vertex == 0 || e.Vertex == 1) { e.VertexFormatter.StrokeColor = Color.Brown; e.VertexFormatter.Shape = GraphvizVertexShape.Box; } var item = idNum[e.Vertex].Item2; string lb = item == LBDDNode.Labeling.Double ? "& " : item == LBDDNode.Labeling.Negate ? "$ " : " "; e.VertexFormatter.Label = lb + idNum[e.Vertex].Item1.ToString(); }
private static void OnFormatVertex(object sender, FormatVertexEventArgs <Node> e) { var formatter = e.VertexFormatter; formatter.Shape = VERTEX_SHAPE; formatter.Style = GraphvizVertexStyle.Filled; formatter.Font = new GraphvizFont(FONT_NAME, VERTEX_FONT_SIZE); formatter.FontColor = new GraphvizColor(255, FONT_COLOR, FONT_COLOR, FONT_COLOR); formatter.Label = e.Vertex.ShowLabel ? e.Vertex.IdNum.ToString() : string.Empty; formatter.StrokeColor = new GraphvizColor(255, STROKE_COLOR, STROKE_COLOR, STROKE_COLOR); formatter.FillColor = e.Vertex.Color; }
private static void FormatVertex(object sender, FormatVertexEventArgs <TVertex> e) { e.VertexFormatter.Label = e.Vertex.ToString(); if (e.Vertex.IsFinish) { e.VertexFormatter.Style = GraphvizVertexStyle.Filled; } if (e.Vertex.IsStart) { e.VertexFormatter.Style = GraphvizVertexStyle.Dashed; } }
private void algo_FormatVertex(object sender, FormatVertexEventArgs e) { e.VertexFormatter.Label=e.Vertex.ToString(); if (e.Vertex is IPlace) { e.VertexFormatter.Shape = GraphvizVertexShape.Circle; } else if (e.Vertex is Transition) { e.VertexFormatter.Shape = GraphvizVertexShape.Box; } }
private void graphviz_FormatVertex_NoAnnotation(object sender, FormatVertexEventArgs <int> e) { //(If nothing is included here, having this here allows default behaviour for serializer (add labels)) //Use formattor explicitally var vertexFormattor = e.VertexFormatter; int vertexNo = e.Vertex; string vertexLabel = vertexNo.ToString(); vertexFormattor.Label = vertexLabel; }
private void graphviz_FormatVertex(object sender, FormatVertexEventArgs <int> e) { Project project = _solution.Projects[e.Vertex]; e.VertexFormatter.Label = project.Name; e.VertexFormatter.Shape = GraphvizVertexShape.Ellipse; foreach (var proc in GraphProcessors) { proc.ProcessVertex(e.VertexFormatter, project); } }
private void algo_FormatVertex(object sender, FormatVertexEventArgs e) { e.VertexFormatter.Label = e.Vertex.ToString(); if (e.Vertex is IPlace) { e.VertexFormatter.Shape = GraphvizVertexShape.Circle; } else if (e.Vertex is Transition) { e.VertexFormatter.Shape = GraphvizVertexShape.Box; } }
private static void OnFormatInfoVertex(object sender, FormatVertexEventArgs <Vertex> e) { if (!(e.Vertex.Node is IInformationTreeNode)) { return; } var treeNode = (IInformationTreeNode)e.Vertex.Node; var relCount = (double)treeNode.Value / treeNode.RootNode?.Value ?? 1d; var isArgument = treeNode is IArgInfoTreeNode; FormatVertex( e.VertexFormatter, relCount, $"{treeNode}:{treeNode.Value}", treeNode.RootNode == null, isArgument); }
public void FormatVertex(object sender, FormatVertexEventArgs<IContent> e) { // .Has<> doesn't work here if (e.Vertex.As<ITitleAspect>() != null) e.VertexFormatter.Label = e.Vertex.As<ITitleAspect>().Title; if (e.Vertex.As<IAliasAspect>() != null) { e.VertexFormatter.Url = new UrlHelper(_orchardServices.WorkContext.HttpContext.Request.RequestContext) .RouteUrl(_orchardServices.ContentManager.GetItemMetadata(e.Vertex).DisplayRouteValues); } e.VertexFormatter.Shape = GraphvizVertexShape.Diamond; }
/// <summary> /// Formats a <see cref="DataTable"/> (a table). /// </summary> /// <param name="sender"></param> /// <param name="args"></param> protected virtual void FormatTable([NotNull] object sender, [NotNull] FormatVertexEventArgs <DataTable> args) { Debug.Assert(sender != null); Debug.Assert(args != null); DataTable vertex = args.Vertex; GraphvizVertex format = args.VertexFormat; format.Shape = GraphvizVertexShape.Record; // Create a record with a title and a list of columns var title = new GraphvizRecordCell { Text = vertex.TableName }; var builder = new StringBuilder(); bool flag = true; foreach (DataColumn column in vertex.Columns) { if (flag) { flag = false; } else { builder.AppendLine(); } builder.Append($"+ {column.ColumnName} : {column.DataType.Name}"); if (column.Unique) { builder.Append(" unique"); } } var columns = new GraphvizRecordCell { Text = builder.ToString().TrimEnd() }; format.Record.Cells.Add(title); format.Record.Cells.Add(columns); }
private void FormatVertex(object sender, FormatVertexEventArgs <ExpandingNode> e) { ExpandingNode ent = e.Vertex; //e.VertexFormatter.Label = ent.GetName(); e.VertexFormatter.Shape = GraphvizVertexShape.Record; e.VertexFormatter.Style = GraphvizVertexStyle.Filled; switch (ent.state) { case ExpandingNode.STATE.NEW: e.VertexFormatter.FillColor = Color.Orange; break; case ExpandingNode.STATE.EXPANDED: e.VertexFormatter.FillColor = Color.Red; break; case ExpandingNode.STATE.FREEZED: e.VertexFormatter.FillColor = Color.LightBlue; break; } GraphvizRecord rec = new GraphvizRecord(); GraphvizRecordCell name = new GraphvizRecordCell(); name.Text = ent.GetName(); GraphvizRecordCell maxScore = new GraphvizRecordCell(); maxScore.Text = ent.maxVal.ToString(); GraphvizRecordCell minScore = new GraphvizRecordCell(); minScore.Text = ent.minVal.ToString(); rec.Cells.Add(name); rec.Cells.Add(maxScore); rec.Cells.Add(minScore); e.VertexFormatter.Record = rec; }
protected virtual void FormatTable(object sender, FormatVertexEventArgs <DataTable> e) { Contract.Requires(sender != null); Contract.Requires(e != null); var v = e.Vertex; var format = e.VertexFormatter; format.Shape = GraphvizVertexShape.Record; // creating a record with a title and a list of columns. var title = new GraphvizRecordCell() { Text = v.TableName }; var sb = new StringBuilder(); bool first = true; foreach (DataColumn column in v.Columns) { if (first) { first = false; } else { sb.AppendLine(); } sb.AppendFormat("+ {0} : {1}", column.ColumnName, column.DataType.Name); if (column.Unique) { sb.Append(" unique"); } } var columns = new GraphvizRecordCell() { Text = sb.ToString().TrimEnd() }; format.Record.Cells.Add(title); format.Record.Cells.Add(columns); }
public void FormatCCCVertex(object sender, FormatVertexEventArgs args) { CondensedVertex o = (CondensedVertex)args.Vertex; args.VertexFormatter.Label = o.Name; if (o.IsSCC) { args.VertexFormatter.Group = "sdfsdf"; args.VertexFormatter.FillColor = Color.AliceBlue; args.VertexFormatter.Style = GraphvizVertexStyle.Filled; args.VertexFormatter.Shape = NGraphviz.Helpers.GraphvizVertexShape.Box; } if (o.ImutableExternalType) { args.VertexFormatter.FillColor = Color.LightSalmon; args.VertexFormatter.Style = GraphvizVertexStyle.Filled; args.VertexFormatter.Shape = NGraphviz.Helpers.GraphvizVertexShape.MSquare; } }
//Возвращает ноль, если все цвета уже присвоены //static bool NoFullColor(int versh, AdjacencyGraph<uzel, Edge<uzel>> g) //{ // int flag = 0; // foreach (uzel col in g.Vertices) //Цикл проверяет - все ли цвета посещены // { // if (col.color <= versh) // flag++; // } // if (flag == versh) // { // return false; // } // else // { // return true; // } //} private static void FormatVertex(object sender, FormatVertexEventArgs <uzel> e) { string para; if (e.Vertex.leacture) { para = "Лекция"; } else { para = "Практика"; } e.VertexFormatter.Label = e.Vertex.group + "\n" + e.Vertex.subject + "\n" + e.Vertex.teacher + "\n" + para + "\n\n" + e.Vertex.color.ToString(); e.VertexFormatter.Shape = GraphvizVertexShape.Circle; //e.VertexFormatter.BottomLabel = e.Vertex.subject; e.VertexFormatter.StrokeColor = GraphvizColor.Black; e.VertexFormatter.Font = new GraphvizFont("Calibri", 16); }
private void graphviz_FormatVertex(object sender, FormatVertexEventArgs <Leaf> e) { // decision if (e.Vertex.DecisionClass != null) { e.VertexFormatter.Label = e.Vertex.DecisionClass.Name; return; } e.VertexFormatter.Shape = GraphvizVertexShape.Diamond; if (e.Vertex.ParentLink.Negatives == 0) { e.VertexFormatter.Label = "Yes"; } else { e.VertexFormatter.Label = "No"; } }
private void graphviz_FormatVertex(object sender, FormatVertexEventArgs <Leaf> e) { // decision if (e.Vertex.Classifier != null //&& e.Vertex.Classifier.Entropy == 0 ) { e.VertexFormatter.Label = e.Vertex.Classifier.AttributeName; return; } e.VertexFormatter.Shape = GraphvizVertexShape.Diamond; if (e.Vertex.Parent.Negatives == 0) { e.VertexFormatter.Label = "Yes"; } else { e.VertexFormatter.Label = "No"; } }
void algorithm_FormatVertex(object sender, FormatVertexEventArgs e) { CFGNode node = (CFGNode)e.Vertex; e.VertexFormatter.Label = node.ToString(); if (node == Graph.Root) { e.VertexFormatter.FillColor = System.Drawing.Color.Blue; e.VertexFormatter.FontColor = System.Drawing.Color.White; } else if (Graph.OutDegree(node) == 0) { e.VertexFormatter.FillColor = System.Drawing.Color.Red; e.VertexFormatter.FontColor = System.Drawing.Color.White; } else if (MethodCompileInfo.DeadCode.Contains(node)) { e.VertexFormatter.FillColor = System.Drawing.Color.LightGray; e.VertexFormatter.FontColor = System.Drawing.Color.Black; } else if (node.FlowControl == FlowControl.Call) { e.VertexFormatter.FillColor = System.Drawing.Color.Green; e.VertexFormatter.FontColor = System.Drawing.Color.White; } else { e.VertexFormatter.FillColor = System.Drawing.Color.Black; e.VertexFormatter.FontColor = System.Drawing.Color.White; } StringBuilder sb = new StringBuilder(); if (node.DebugInfo != null) { sb.AppendFormat("\nDebugInfo: {0}", node.DebugInfo); } sb.AppendFormat("\nFlow control: {0}", node.FlowControl); if (DebugSettings.DetailedGraphs) { sb.Append("\nDefined: "); foreach (string var in MethodCompileInfo.Defined[node]) { sb.AppendFormat("{0} ", var); } sb.Append("\nUsed: "); foreach (string var in MethodCompileInfo.Used[node]) { sb.AppendFormat("{0} ", var); } sb.Append("\nIn: "); foreach (string var in MethodCompileInfo.LiveVariablesIn[node]) { sb.AppendFormat("{0} ", var); } sb.Append("\nOut: "); foreach (string var in MethodCompileInfo.LiveVariablesOut[node]) { sb.AppendFormat("{0} ", var); } #if GRAPH2 sb.Append("\nDominators: "); foreach (CFGNode dom in MethodCompileInfo.Dominators[node]) { sb.AppendFormat("{0} ", dom.ID); } sb.Append("\nGen: "); for (int i = 0; i < MethodCompileInfo.GeneratedDefinitions[node].Count;i++ ) { sb.Append(MethodCompileInfo.GeneratedDefinitions[node][i].ToString().Replace("\", "\\").Replace("\n", "\n").Replace("\r", "").Replace("\"", "\\"")); if (i < MethodCompileInfo.GeneratedDefinitions[node].Count - 1) { sb.Append(" \n"); } } sb.Append("\nKill: "); for (int i = 0; i < MethodCompileInfo.KilledDefinitions[node].Count; i++) { sb.Append(MethodCompileInfo.KilledDefinitions[node][i].ToString().Replace("\", "\\").Replace("\n", "\n").Replace("\r", "").Replace("\"", "\\"")); if (i < MethodCompileInfo.KilledDefinitions[node].Count - 1) { sb.Append(" \n"); } } sb.Append("\nExps in: "); for (int i = 0; i < MethodCompileInfo.LiveExpressionsIn[node].Count; i++) { sb.Append(MethodCompileInfo.LiveExpressionsIn[node][i].ToString().Replace("\", "\\").Replace("\n", "\n").Replace("\r", "").Replace("\"", "\\"")); if (i < MethodCompileInfo.LiveExpressionsIn[node].Count - 1) { sb.Append(" \n"); } } sb.Append("\nExps out: "); for (int i = 0; i < MethodCompileInfo.LiveExpressionsOut[node].Count; i++) { sb.Append(MethodCompileInfo.LiveExpressionsOut[node][i].ToString().Replace("\", "\\").Replace("\n", "\n").Replace("\r", "").Replace("\"", "\\"")); if (i < MethodCompileInfo.LiveExpressionsOut[node].Count - 1) { sb.Append(" \n"); } } #endif } if (DebugSettings.GraphReachingDefinitions) { sb.Append("\nReaching Defs: "); for (int i = 0; i < MethodCompileInfo.ReachingDefinitions[node].Count; i++) { sb.Append(MethodCompileInfo.ReachingDefinitions[node][i].ToString()); if (i < MethodCompileInfo.ReachingDefinitions[node].Count - 1) { sb.Append(" \n"); } } } if (DebugSettings.GraphDominators) { sb.Append("\n Dominators: "); for (int i = 0; i < MethodCompileInfo.Dominators[node].Count; i++) { sb.Append(MethodCompileInfo.Dominators[node][i].ID); if (i < MethodCompileInfo.Dominators[node].Count - 1) { sb.Append(","); } } sb.Append("\n Dominator Frontier: "); for (int i = 0; i < MethodCompileInfo.DominatorFrontier[node].Count; i++) { sb.Append(MethodCompileInfo.DominatorFrontier[node][i].ID); if (i < MethodCompileInfo.DominatorFrontier[node].Count - 1) { sb.Append(","); } } } e.VertexFormatter.Label += sb.ToString(); e.VertexFormatter.Label = Escape(e.VertexFormatter.Label); }
void algorithm_FormatVertex(object sender, FormatVertexEventArgs e) { InterferenceGraphNode node = (InterferenceGraphNode)e.Vertex; e.VertexFormatter.Label = node.ToString(); if (node.Color != 0) { e.VertexFormatter.FillColor = ColorMapping[node.Color]; } int registerNum; if (MethodCompileInfo.RegisterMap.TryGetValue(node.Variable, out registerNum)) { e.VertexFormatter.Label += " => $r" + registerNum; } }
private void graphviz_FormatVertex_NoAnnotation(object sender, FormatVertexEventArgs<int> e) { //(If nothing is included here, having this here allows default behaviour for serializer (add labels)) //Use formattor explicitally var vertexFormattor = e.VertexFormatter; int vertexNo = e.Vertex; string vertexLabel = vertexNo.ToString(); vertexFormattor.Label = vertexLabel; }
private void graphviz_FormatVertex(object sender, FormatVertexEventArgs<int> e) { //(If nothing is included here, having this here allows default behaviour for serializer (add labels)) //Use formattor explicitally var vertexFormattor = e.VertexFormatter; int vertexNo = e.Vertex; string vertexLabel = vertexNo.ToString(); if (vertexMapping.ContainsKey(vertexNo)) vertexLabel = vertexMapping[vertexNo]; //If there is a clue here, append clue var clues = model.DoorAndClueManager.GetObjectiveAndClueIdsAtVertex(vertexNo); foreach (var clue in clues) { vertexLabel += "\\n"; vertexLabel += clue; } vertexFormattor.Label = vertexLabel; }
private void gw_FormatVertex(object sender, FormatVertexEventArgs e) { // setting the vertex name e.VertexFormatter.Label = Names[e.Vertex]; }
void graphviz_FormatVertex(object sender, FormatVertexEventArgs<PackageDto> e) { e.VertexFormatter.Label = e.Vertex.ToString(); }
private void FormatVertex(Object sender, FormatVertexEventArgs args) { args.VertexFormatter.Label = (args.Vertex as NamedVertex).Name; }
private void graphviz_FormatDoorVertex(object sender, FormatVertexEventArgs<int> e) { //Output door id var vertexFormattor = e.VertexFormatter; int vertexNo = e.Vertex; var door = model.DoorAndClueManager.GetLockIdByIndex(vertexNo); vertexFormattor.Label = door; }
private void graphviz_FormatVertex(object sender, FormatVertexEventArgs<Leaf> e) { // decision if (e.Vertex.DecisionClass != null) { e.VertexFormatter.Label = e.Vertex.DecisionClass.Name; return; } e.VertexFormatter.Shape = GraphvizVertexShape.Diamond; if (e.Vertex.ParentLink.Negatives == 0) e.VertexFormatter.Label = "Yes"; else e.VertexFormatter.Label = "No"; }
private void graphviz_FormatVertex(object sender, FormatVertexEventArgs<int> e) { Project project = _solution.Projects[e.Vertex]; e.VertexFormatter.Label = project.Name; e.VertexFormatter.Shape = GraphvizVertexShape.Ellipse; foreach (var proc in GraphProcessors) { proc.ProcessVertex(e.VertexFormatter, project); } }
void graphviz_FormatVertex(object sender, FormatVertexEventArgs e) { CustomVertex vertex = (CustomVertex)e.Vertex; e.VertexFormatter.Label = String.Format("{0}", vertex.Value); }
public void FormatGraph(object sender, FormatVertexEventArgs args) { MyVertex o = (MyVertex) args.Vertex; args.VertexFormatter.Label = o.Name; args.VertexFormatter.Shape = NGraphviz.Helpers.GraphvizVertexShape.Ellipse; }
private static void FormatVertexHandler(object sender, FormatVertexEventArgs<string> e) { e.VertexFormatter.Label = e.Vertex; e.VertexFormatter.Shape = GraphvizVertexShape.MSquare; e.VertexFormatter.Style = GraphvizVertexStyle.Rounded; }
/// <summary> /// Format vertex event handler /// </summary> /// <param name="sender"></param> /// <param name="args"></param> public void FormatVertex(Object sender, FormatVertexEventArgs args) { args.VertexFormatter.Label = ((NamedVertex)args.Vertex).Name; }
void gv_FormatVertex(object sender, FormatVertexEventArgs e) { NamedVertex v = (NamedVertex)e.Vertex; e.VertexFormatter.Label = v.Name; }