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

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

            return(style);
        }
        private void WriteEdge(TargetGraph.Edge edge)
        {
            Indent().Append(edge.From.Id).Append(" -> ").Append(edge.To.Id);

            var edgeStyle = _styler.GetStyle(edge);

            var dict = new Dictionary <string, string>();

            foreach (var prop in typeof(EdgeStyle).GetFields())
            {
                if (prop.GetValue(edgeStyle) is string value)
                {
                    dict[prop.Name] = value;
                }
            }
            InlineAttributes(dict);
        }
Exemple #3
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);
        }