diff options
Diffstat (limited to 'src/python')
| -rw-r--r-- | src/python/m5/util/dot_writer.py | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/python/m5/util/dot_writer.py b/src/python/m5/util/dot_writer.py index 8d93b4263..a6f721a0c 100644 --- a/src/python/m5/util/dot_writer.py +++ b/src/python/m5/util/dot_writer.py @@ -129,10 +129,22 @@ def dot_add_edge(simNode, callgraph, full_port_name, peerPort): callgraph.add_edge(pydot.Edge(full_port_name, peer_port_name)) def dot_create_cluster(simNode, full_path, label): + # get the parameter values of the node and use them as a tooltip + ini_strings = [] + for param in sorted(simNode._params.keys()): + value = simNode._values.get(param) + if value != None: + # parameter name = value in HTML friendly format + ini_strings.append(str(param) + "=" + + simNode._values[param].ini_str()) + # join all the parameters with an HTML newline + tooltip = " ".join(ini_strings) + return pydot.Cluster( \ full_path, \ shape = "Mrecord", \ label = label, \ + tooltip = "\"" + tooltip + "\"", \ style = "\"rounded, filled\"", \ color = "#000000", \ fillcolor = dot_gen_colour(simNode), \ |