Beispiel #1
0
        public EdgeStyle GetStyle(TargetGraph.Edge edge)
        {
            var style = new EdgeStyle();

            if (edge.From.Color != null)
            {
                style.color = "\"" + edge.From.Color !+"\"";
            }

            return(style);
        }
Beispiel #2
0
        public EdgeStyle GetStyle(TargetGraph.Edge edge)
        {
            var edgeStyle = new EdgeStyle();

            if (edge.WasSkipped)
            {
                edgeStyle.color = "darkgray";
            }

            if (edge.Forced)
            {
                edgeStyle.color ??= "darkorchid";
                edgeStyle.style = "bold";
            }
            else if (edge.Reason == TargetBuiltReason.BeforeTargets ||
                     edge.Reason == TargetBuiltReason.AfterTargets)
            {
                edgeStyle.color ??= "darkorange2";
                edgeStyle.dir = "back";
            }
            else
            {
                edgeStyle.color ??= "blue";
            }


            if (edge.ShouldCache)
            {
                edgeStyle.penwidth = "2.0";
                edgeStyle.color    = "darkgoldenrod1";
            }

            edgeStyle.color = edge.Runtime && edge.From.ColorEdges && edge.From.Color != null
                ? edge.From.Color : "gray51";
            return(edgeStyle);
        }