Mercurial > hg > truffle

annotate graal/com.oracle.max.graal.graphviz/src/com/oracle/max/graal/graphviz/GraphvizPrinter.java @ 2874:d90bf514d647

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Renamed packages.
author Thomas Wuerthinger <thomas@wuerthinger.net>
date Wed, 08 Jun 2011 08:59:54 +0200
parents graal/com.oracle.max.graal.graphviz/src/com/oracle/graal/graph/vis/GraphvizPrinter.java@0341b6424579
children f08a810b8449
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2579
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
1 /*
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
2 * Copyright (c) 2011, 2011, Oracle and/or its affiliates. All rights reserved.
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
4 *
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
7 * published by the Free Software Foundation.
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
8 *
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
13 * accompanied this code).
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
14 *
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
18 *
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
21 * questions.
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
22 */
2874
d90bf514d647 Renamed packages.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2872
diff changeset
23 package com.oracle.max.graal.graphviz;
2579
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
24
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
25 import java.awt.Color;
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
26 import java.io.OutputStream;
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
27 import java.io.PrintStream;
2799
e1dad0edd57a first part of loop reworking
Lukas Stadler <lukas.stadler@jku.at>
parents: 2708
diff changeset
28 import java.util.HashMap;
2674
6ab73784566a * BlockBegin.predecessors changed to List<BlockEnd>
Lukas Stadler <lukas.stadler@jku.at>
parents: 2624
diff changeset
29 import java.util.HashSet;
2579
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
30
2874
d90bf514d647 Renamed packages.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2872
diff changeset
31 import com.oracle.max.graal.graph.Graph;
d90bf514d647 Renamed packages.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2872
diff changeset
32 import com.oracle.max.graal.graph.Node;
d90bf514d647 Renamed packages.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2872
diff changeset
33 import com.oracle.max.graal.graph.NodeArray;
2579
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
34
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
35 /**
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
36 * Generates a representation of {@link Node Nodes} or entire {@link Graph Graphs} in the DOT language that can be
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
37 * visualized with <a href="http://www.graphviz.org/">Graphviz</a>.
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
38 */
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
39 public class GraphvizPrinter {
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
40
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
41 public static final Color NODE_BGCOLOR = Color.WHITE;
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
42 private static final String NODE_BGCOLOR_STRING = formatColorString(NODE_BGCOLOR);
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
43
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
44 private static String formatColorString(Color c) {
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
45 return String.format("#%02x%02x%02x%02x", c.getRed(), c.getGreen(), c.getBlue(), c.getAlpha());
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
46 }
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
47
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
48 private final PrintStream out;
2674
6ab73784566a * BlockBegin.predecessors changed to List<BlockEnd>
Lukas Stadler <lukas.stadler@jku.at>
parents: 2624
diff changeset
49 private final HashSet<Class<?>> omittedClasses = new HashSet<Class<?>>();
2799
e1dad0edd57a first part of loop reworking
Lukas Stadler <lukas.stadler@jku.at>
parents: 2708
diff changeset
50 private final HashMap<Class<?>, String> classColors = new HashMap<Class<?>, String>();
2579
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
51
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
52 /**
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
53 * Creates a new {@link GraphvizPrinter} that writes to the specified output stream.
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
54 */
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
55 public GraphvizPrinter(OutputStream out) {
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
56 this.out = new PrintStream(out);
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
57 }
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
58
2674
6ab73784566a * BlockBegin.predecessors changed to List<BlockEnd>
Lukas Stadler <lukas.stadler@jku.at>
parents: 2624
diff changeset
59 public void addOmittedClass(Class<?> clazz) {
6ab73784566a * BlockBegin.predecessors changed to List<BlockEnd>
Lukas Stadler <lukas.stadler@jku.at>
parents: 2624
diff changeset
60 omittedClasses.add(clazz);
6ab73784566a * BlockBegin.predecessors changed to List<BlockEnd>
Lukas Stadler <lukas.stadler@jku.at>
parents: 2624
diff changeset
61 }
6ab73784566a * BlockBegin.predecessors changed to List<BlockEnd>
Lukas Stadler <lukas.stadler@jku.at>
parents: 2624
diff changeset
62
2799
e1dad0edd57a first part of loop reworking
Lukas Stadler <lukas.stadler@jku.at>
parents: 2708
diff changeset
63 public void addClassColor(Class<?> clazz, String color) {
e1dad0edd57a first part of loop reworking
Lukas Stadler <lukas.stadler@jku.at>
parents: 2708
diff changeset
64 classColors.put(clazz, color);
e1dad0edd57a first part of loop reworking
Lukas Stadler <lukas.stadler@jku.at>
parents: 2708
diff changeset
65 }
e1dad0edd57a first part of loop reworking
Lukas Stadler <lukas.stadler@jku.at>
parents: 2708
diff changeset
66
2579
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
67 /**
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
68 * Opens a graph with the specified title (label). Call this before printing any nodes, but not more than once
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
69 * without calling {@link #end()} first.
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
70 *
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
71 * @param title
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
72 * The graph's label.
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
73 */
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
74 public void begin(String title) {
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
75 out.println("digraph g {");
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
76 if (title != null) {
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
77 out.println(" label=\"" + title + "\";");
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
78 }
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
79 }
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
80
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
81 /**
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
82 * Closes the graph. No nodes should be printed afterwards. Another graph can be opened with {@link #begin(String)},
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
83 * but many Graphviz output plugins ignore additional graphs in their input.
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
84 */
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
85 public void end() {
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
86 out.println("}");
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
87 }
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
88
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
89 /**
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
90 * Prints all nodes and edges in the specified graph.
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
91 */
2616
3558ca7088c0 FrameState and Graphviz changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2609
diff changeset
92 public void print(Graph graph, boolean shortNames) {
2579
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
93 // graph.getNodes() returns all the graph's nodes, not just "roots"
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
94 for (Node n : graph.getNodes()) {
2624
8e44074058af remove explicit pointer from BlockEnd to BlockBegin
Lukas Stadler <lukas.stadler@jku.at>
parents: 2621
diff changeset
95 if (n != null) {
8e44074058af remove explicit pointer from BlockEnd to BlockBegin
Lukas Stadler <lukas.stadler@jku.at>
parents: 2621
diff changeset
96 printNode(n, shortNames);
8e44074058af remove explicit pointer from BlockEnd to BlockBegin
Lukas Stadler <lukas.stadler@jku.at>
parents: 2621
diff changeset
97 }
2579
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
98 }
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
99 }
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
100
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
101 /**
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
102 * Prints a single node and edges for all its inputs and successors.
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
103 */
2616
3558ca7088c0 FrameState and Graphviz changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2609
diff changeset
104 public void printNode(Node node, boolean shortNames) {
2674
6ab73784566a * BlockBegin.predecessors changed to List<BlockEnd>
Lukas Stadler <lukas.stadler@jku.at>
parents: 2624
diff changeset
105 if (omittedClasses.contains(node.getClass())) {
6ab73784566a * BlockBegin.predecessors changed to List<BlockEnd>
Lukas Stadler <lukas.stadler@jku.at>
parents: 2624
diff changeset
106 return;
6ab73784566a * BlockBegin.predecessors changed to List<BlockEnd>
Lukas Stadler <lukas.stadler@jku.at>
parents: 2624
diff changeset
107 }
2579
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
108 int id = node.id();
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
109 String name = "n" + id;
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
110 NodeArray inputs = node.inputs();
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
111 NodeArray successors = node.successors();
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
112
2799
e1dad0edd57a first part of loop reworking
Lukas Stadler <lukas.stadler@jku.at>
parents: 2708
diff changeset
113 String color = classColors.get(node.getClass());
e1dad0edd57a first part of loop reworking
Lukas Stadler <lukas.stadler@jku.at>
parents: 2708
diff changeset
114
2616
3558ca7088c0 FrameState and Graphviz changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2609
diff changeset
115 if (shortNames) {
2799
e1dad0edd57a first part of loop reworking
Lukas Stadler <lukas.stadler@jku.at>
parents: 2708
diff changeset
116 printNode(name, node.id(), excapeLabel(node.shortName()), color, inputs.size(), successors.size());
2616
3558ca7088c0 FrameState and Graphviz changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2609
diff changeset
117 } else {
2799
e1dad0edd57a first part of loop reworking
Lukas Stadler <lukas.stadler@jku.at>
parents: 2708
diff changeset
118 printNode(name, node.id(), excapeLabel(node.toString()), color, inputs.size(), successors.size());
2616
3558ca7088c0 FrameState and Graphviz changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2609
diff changeset
119 }
2579
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
120
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
121 for (int i = 0; i < successors.size(); ++i) {
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
122 Node successor = successors.get(i);
2674
6ab73784566a * BlockBegin.predecessors changed to List<BlockEnd>
Lukas Stadler <lukas.stadler@jku.at>
parents: 2624
diff changeset
123 if (successor != Node.Null && !omittedClasses.contains(successor.getClass())) {
2579
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
124 printControlEdge(id, i, successor.id());
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
125 }
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
126 }
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
127
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
128 for (int i = 0; i < inputs.size(); ++i) {
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
129 Node input = inputs.get(i);
2674
6ab73784566a * BlockBegin.predecessors changed to List<BlockEnd>
Lukas Stadler <lukas.stadler@jku.at>
parents: 2624
diff changeset
130 if (input != Node.Null && !omittedClasses.contains(input.getClass())) {
2616
3558ca7088c0 FrameState and Graphviz changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2609
diff changeset
131 if (node.getClass().getSimpleName().equals("FrameState") && input.getClass().getSimpleName().equals("Local")) {
3558ca7088c0 FrameState and Graphviz changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2609
diff changeset
132 continue;
3558ca7088c0 FrameState and Graphviz changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2609
diff changeset
133 }
2579
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
134 printDataEdge(id, i, input.id());
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
135 }
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
136 }
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
137 }
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
138
2799
e1dad0edd57a first part of loop reworking
Lukas Stadler <lukas.stadler@jku.at>
parents: 2708
diff changeset
139 private void printNode(String name, Number number, String label, String color, int ninputs, int nsuccessors) {
e1dad0edd57a first part of loop reworking
Lukas Stadler <lukas.stadler@jku.at>
parents: 2708
diff changeset
140 int minWidth = Math.min(1 + label.length() / 3, 10);
2707
7ed72769d51a exception handling related changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2674
diff changeset
141 minWidth = Math.max(minWidth, Math.max(ninputs + 1, nsuccessors + 1));
2579
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
142 out.println(name + " [shape=plaintext,");
2707
7ed72769d51a exception handling related changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2674
diff changeset
143 out.println(" label=< <TABLE BORDER=\"0\" CELLSPACING=\"0\"><TR>");
2579
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
144
2707
7ed72769d51a exception handling related changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2674
diff changeset
145 printPort("predecessors", "rosybrown1");
2579
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
146
2707
7ed72769d51a exception handling related changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2674
diff changeset
147 for (int i = 1; i < minWidth - ninputs; i++) {
7ed72769d51a exception handling related changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2674
diff changeset
148 printEmptyPort();
2579
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
149 }
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
150
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
151 for (int i = 0; i < ninputs; i++) {
2707
7ed72769d51a exception handling related changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2674
diff changeset
152 printPort("in" + i, "lightgrey");
2579
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
153 }
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
154
2799
e1dad0edd57a first part of loop reworking
Lukas Stadler <lukas.stadler@jku.at>
parents: 2708
diff changeset
155 if (number != null) {
e1dad0edd57a first part of loop reworking
Lukas Stadler <lukas.stadler@jku.at>
parents: 2708
diff changeset
156 label = "<FONT POINT-SIZE=\"8\">" + number + "</FONT> " + label;
e1dad0edd57a first part of loop reworking
Lukas Stadler <lukas.stadler@jku.at>
parents: 2708
diff changeset
157 }
e1dad0edd57a first part of loop reworking
Lukas Stadler <lukas.stadler@jku.at>
parents: 2708
diff changeset
158
e1dad0edd57a first part of loop reworking
Lukas Stadler <lukas.stadler@jku.at>
parents: 2708
diff changeset
159 out.println(" </TR><TR><TD BORDER=\"1\" COLSPAN=\"" + minWidth + "\" BGCOLOR=\"" + (color != null ? color : NODE_BGCOLOR_STRING) + "\">" + label + "</TD></TR><TR>");
2579
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
160
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
161 for (int i = 0; i < nsuccessors; i++) {
2707
7ed72769d51a exception handling related changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2674
diff changeset
162 printPort("succ" + i, "rosybrown1");
7ed72769d51a exception handling related changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2674
diff changeset
163 }
7ed72769d51a exception handling related changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2674
diff changeset
164
7ed72769d51a exception handling related changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2674
diff changeset
165 for (int i = 1; i < minWidth - nsuccessors; i++) {
7ed72769d51a exception handling related changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2674
diff changeset
166 printEmptyPort();
2579
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
167 }
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
168
2707
7ed72769d51a exception handling related changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2674
diff changeset
169 printPort("usages", "lightgrey");
7ed72769d51a exception handling related changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2674
diff changeset
170
7ed72769d51a exception handling related changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2674
diff changeset
171 out.println(" </TR></TABLE>>]; ");
7ed72769d51a exception handling related changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2674
diff changeset
172 }
2579
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
173
2799
e1dad0edd57a first part of loop reworking
Lukas Stadler <lukas.stadler@jku.at>
parents: 2708
diff changeset
174 private static String excapeLabel(String label) {
e1dad0edd57a first part of loop reworking
Lukas Stadler <lukas.stadler@jku.at>
parents: 2708
diff changeset
175 label = label.replace("&", "&amp;");
e1dad0edd57a first part of loop reworking
Lukas Stadler <lukas.stadler@jku.at>
parents: 2708
diff changeset
176 label = label.replace("<", "&lt;");
e1dad0edd57a first part of loop reworking
Lukas Stadler <lukas.stadler@jku.at>
parents: 2708
diff changeset
177 label = label.replace(">", "&gt;");
e1dad0edd57a first part of loop reworking
Lukas Stadler <lukas.stadler@jku.at>
parents: 2708
diff changeset
178 label = label.replace("\"", "&quot;");
e1dad0edd57a first part of loop reworking
Lukas Stadler <lukas.stadler@jku.at>
parents: 2708
diff changeset
179 return label;
e1dad0edd57a first part of loop reworking
Lukas Stadler <lukas.stadler@jku.at>
parents: 2708
diff changeset
180 }
e1dad0edd57a first part of loop reworking
Lukas Stadler <lukas.stadler@jku.at>
parents: 2708
diff changeset
181
2707
7ed72769d51a exception handling related changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2674
diff changeset
182 private void printPort(String name, String color) {
7ed72769d51a exception handling related changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2674
diff changeset
183 out.print(" <TD CELLPADDING=\"0\" WIDTH=\"15\"><TABLE BORDER=\"0\" CELLSPACING=\"2\" CELLPADDING=\"0\"><TR><TD WIDTH=\"15\" HEIGHT=\"5\" PORT=\"");
7ed72769d51a exception handling related changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2674
diff changeset
184 out.print(name);
7ed72769d51a exception handling related changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2674
diff changeset
185 out.print("\" BGCOLOR=\"");
7ed72769d51a exception handling related changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2674
diff changeset
186 out.print(color);
7ed72769d51a exception handling related changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2674
diff changeset
187 out.println("\"></TD></TR></TABLE></TD>");
7ed72769d51a exception handling related changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2674
diff changeset
188 }
2579
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
189
2707
7ed72769d51a exception handling related changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2674
diff changeset
190 private void printEmptyPort() {
7ed72769d51a exception handling related changes:
Lukas Stadler <lukas.stadler@jku.at>
parents: 2674
diff changeset
191 out.print(" <TD CELLPADDING=\"0\" WIDTH=\"15\"><TABLE BORDER=\"0\" CELLSPACING=\"2\" CELLPADDING=\"0\"><TR><TD WIDTH=\"15\" HEIGHT=\"5\"></TD></TR></TABLE></TD>");
2579
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
192 }
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
193
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
194 private void printControlEdge(int from, int fromPort, int to) {
2799
e1dad0edd57a first part of loop reworking
Lukas Stadler <lukas.stadler@jku.at>
parents: 2708
diff changeset
195 out.println("n" + from + ":succ" + fromPort + ":s -> n" + to + ":predecessors:n [color=red, weight=2];");
2579
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
196 }
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
197
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
198 private void printDataEdge(int from, int fromPort, int to) {
2621
dd115f80acf8 changed stateAfter FrameState to successor (instead of input), checkstyle fixes, added fixed root node to graph
Lukas Stadler <lukas.stadler@jku.at>
parents: 2616
diff changeset
199 out.println("n" + to + ":usages:s -> n" + from + ":in" + fromPort + ":n [color=black,dir=back];");
2579
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
200 }
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
201
4984c8ebd6c7 Graphviz visualization support
Peter Hofer <peter.hofer@jku.at>
parents:
diff changeset
202 }