← Back to branch summary

~ubuntu-branches/ubuntu/trusty/monodevelop/trusty-proposed

« back to all changes in this revision

Viewing changes to contrib/ICSharpCode.NRefactory/Utils/GraphVizGraph.cs

  • Committer: Package Import Robot
  • Author(s): Jo Shields
  • Date: 2013-05-12 09:46:03 UTC
  • mto: This revision was merged to the branch mainline in revision 29.
  • Revision ID: package-import@ubuntu.com-20130512094603-mad323bzcxvmcam0
Tags: upstream-4.0.5+dfsg
ImportĀ upstreamĀ versionĀ 4.0.5+dfsg

Show diffs side-by-side

added added

removed removed

Lines of Context:
contrib/ICSharpCode.NRefactory/Utils/GraphVizGraph.cs
1
 
ļ»æ// Copyright (c) AlphaSierraPapa for the SharpDevelop Team
2
 
// 
3
 
// Permission is hereby granted, free of charge, to any person obtaining a copy of this
4
 
// software and associated documentation files (the "Software"), to deal in the Software
5
 
// without restriction, including without limitation the rights to use, copy, modify, merge,
6
 
// publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons
7
 
// to whom the Software is furnished to do so, subject to the following conditions:
8
 
// 
9
 
// The above copyright notice and this permission notice shall be included in all copies or
10
 
// substantial portions of the Software.
11
 
// 
12
 
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED,
13
 
// INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR
14
 
// PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE
15
 
// FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR
16
 
// OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
17
 
// DEALINGS IN THE SOFTWARE.
18
 
 
19
 
using System;
20
 
using System.Collections.Generic;
21
 
using System.Diagnostics;
22
 
using System.Globalization;
23
 
using System.IO;
24
 
using System.Text.RegularExpressions;
25
 
 
26
 
namespace ICSharpCode.NRefactory.Utils
27
 
{
28
 
        /// <summary>
29
 
        /// GraphViz graph.
30
 
        /// </summary>
31
 
        public sealed class GraphVizGraph
32
 
        {
33
 
                List<GraphVizNode> nodes = new List<GraphVizNode>();
34
 
                List<GraphVizEdge> edges = new List<GraphVizEdge>();
35
 
                
36
 
                public string rankdir;
37
 
                public string Title;
38
 
                
39
 
                public void AddEdge(GraphVizEdge edge)
40
 
                {
41
 
                        edges.Add(edge);
42
 
                }
43
 
                
44
 
                public void AddNode(GraphVizNode node)
45
 
                {
46
 
                        nodes.Add(node);
47
 
                }
48
 
                
49
 
                public void Save(string fileName)
50
 
                {
51
 
                        using (StreamWriter writer = new StreamWriter(fileName))
52
 
                                Save(writer);
53
 
                }
54
 
                
55
 
                public void Show()
56
 
                {
57
 
                        Show(null);
58
 
                }
59
 
                
60
 
                public void Show(string name)
61
 
                {
62
 
                        if (name == null)
63
 
                                name = Title;
64
 
                        if (name != null)
65
 
                                foreach (char c in Path.GetInvalidFileNameChars())
66
 
                                        name = name.Replace(c, '-');
67
 
                        string fileName = name != null ? Path.Combine(Path.GetTempPath(), name) : Path.GetTempFileName();
68
 
                        Save(fileName + ".gv");
69
 
                        Process.Start("dot", "\"" + fileName + ".gv\" -Tpng -o \"" + fileName + ".png\"").WaitForExit();
70
 
                        Process.Start(fileName + ".png");
71
 
                }
72
 
                
73
 
                static string Escape(string text)
74
 
                {
75
 
                        if (Regex.IsMatch(text, @"^[\w\d]+$")) {
76
 
                                return text;
77
 
                        } else {
78
 
                                return "\"" + text.Replace("\\", "\\\\").Replace("\r", "").Replace("\n", "\\n").Replace("\"", "\\\"") + "\"";
79
 
                        }
80
 
                }
81
 
                
82
 
                static void WriteGraphAttribute(TextWriter writer, string name, string value)
83
 
                {
84
 
                        if (value != null)
85
 
                                writer.WriteLine("{0}={1};", name, Escape(value));
86
 
                }
87
 
                
88
 
                internal static void WriteAttribute(TextWriter writer, string name, double? value, ref bool isFirst)
89
 
                {
90
 
                        if (value != null) {
91
 
                                WriteAttribute(writer, name, value.Value.ToString(CultureInfo.InvariantCulture), ref isFirst);
92
 
                        }
93
 
                }
94
 
                
95
 
                internal static void WriteAttribute(TextWriter writer, string name, bool? value, ref bool isFirst)
96
 
                {
97
 
                        if (value != null) {
98
 
                                WriteAttribute(writer, name, value.Value ? "true" : "false", ref isFirst);
99
 
                        }
100
 
                }
101
 
                
102
 
                internal static void WriteAttribute(TextWriter writer, string name, string value, ref bool isFirst)
103
 
                {
104
 
                        if (value != null) {
105
 
                                if (isFirst)
106
 
                                        isFirst = false;
107
 
                                else
108
 
                                        writer.Write(',');
109
 
                                writer.Write("{0}={1}", name, Escape(value));
110
 
                        }
111
 
                }
112
 
                
113
 
                public void Save(TextWriter writer)
114
 
                {
115
 
                        if (writer == null)
116
 
                                throw new ArgumentNullException("writer");
117
 
                        writer.WriteLine("digraph G {");
118
 
                        writer.WriteLine("node [fontsize = 16];");
119
 
                        WriteGraphAttribute(writer, "rankdir", rankdir);
120
 
                        foreach (GraphVizNode node in nodes) {
121
 
                                node.Save(writer);
122
 
                        }
123
 
                        foreach (GraphVizEdge edge in edges) {
124
 
                                edge.Save(writer);
125
 
                        }
126
 
                        writer.WriteLine("}");
127
 
                }
128
 
        }
129
 
        
130
 
        public sealed class GraphVizEdge
131
 
        {
132
 
                public readonly string Source, Target;
133
 
                
134
 
                /// <summary>edge stroke color</summary>
135
 
                public string color;
136
 
                /// <summary>use edge to affect node ranking</summary>
137
 
                public bool? constraint;
138
 
                
139
 
                public string label;
140
 
                
141
 
                public string style;
142
 
                
143
 
                /// <summary>point size of label</summary>
144
 
                public int? fontsize;
145
 
                
146
 
                public GraphVizEdge(string source, string target)
147
 
                {
148
 
                        if (source == null)
149
 
                                throw new ArgumentNullException("source");
150
 
                        if (target == null)
151
 
                                throw new ArgumentNullException("target");
152
 
                        this.Source = source;
153
 
                        this.Target = target;
154
 
                }
155
 
                
156
 
                public GraphVizEdge(int source, int target)
157
 
                {
158
 
                        this.Source = source.ToString(CultureInfo.InvariantCulture);
159
 
                        this.Target = target.ToString(CultureInfo.InvariantCulture);
160
 
                }
161
 
                
162
 
                public void Save(TextWriter writer)
163
 
                {
164
 
                        writer.Write("{0} -> {1} [", Source, Target);
165
 
                        bool isFirst = true;
166
 
                        GraphVizGraph.WriteAttribute(writer, "label", label, ref isFirst);
167
 
                        GraphVizGraph.WriteAttribute(writer, "style", style, ref isFirst);
168
 
                        GraphVizGraph.WriteAttribute(writer, "fontsize", fontsize, ref isFirst);
169
 
                        GraphVizGraph.WriteAttribute(writer, "color", color, ref isFirst);
170
 
                        GraphVizGraph.WriteAttribute(writer, "constraint", constraint, ref isFirst);
171
 
                        writer.WriteLine("];");
172
 
                }
173
 
        }
174
 
        
175
 
        public sealed class GraphVizNode
176
 
        {
177
 
                public readonly string ID;
178
 
                public string label;
179
 
                
180
 
                public string labelloc;
181
 
                
182
 
                /// <summary>point size of label</summary>
183
 
                public int? fontsize;
184
 
                
185
 
                /// <summary>minimum height in inches</summary>
186
 
                public double? height;
187
 
                
188
 
                /// <summary>space around label</summary>
189
 
                public string margin;
190
 
                
191
 
                /// <summary>node shape</summary>
192
 
                public string shape;
193
 
                
194
 
                public GraphVizNode(string id)
195
 
                {
196
 
                        if (id == null)
197
 
                                throw new ArgumentNullException("id");
198
 
                        this.ID = id;
199
 
                }
200
 
                
201
 
                public GraphVizNode(int id)
202
 
                {
203
 
                        this.ID = id.ToString(CultureInfo.InvariantCulture);
204
 
                }
205
 
                
206
 
                public void Save(TextWriter writer)
207
 
                {
208
 
                        writer.Write(ID);
209
 
                        writer.Write(" [");
210
 
                        bool isFirst = true;
211
 
                        GraphVizGraph.WriteAttribute(writer, "label", label, ref isFirst);
212
 
                        GraphVizGraph.WriteAttribute(writer, "labelloc", labelloc, ref isFirst);
213
 
                        GraphVizGraph.WriteAttribute(writer, "fontsize", fontsize, ref isFirst);
214
 
                        GraphVizGraph.WriteAttribute(writer, "margin", margin, ref isFirst);
215
 
                        GraphVizGraph.WriteAttribute(writer, "shape", shape, ref isFirst);
216
 
                        writer.WriteLine("];");
217
 
                }
218
 
        }
219
 
}