devtools/instrument.py
changeset 10662 10942ed172de
parent 10589 7c23b7de2b8d
equal deleted inserted replaced
10661:e6eb0c7c2e98 10662:10942ed172de
   184                            color=get_color(package))
   184                            color=get_color(package))
   185         return graph
   185         return graph
   186 
   186 
   187     def add_colors_legend(self, graph):
   187     def add_colors_legend(self, graph):
   188         """Add a legend of used colors to the graph."""
   188         """Add a legend of used colors to the graph."""
   189         for package, color in sorted(_COLORS.iteritems()):
   189         for package, color in sorted(_COLORS.items()):
   190             graph.add_node(package, color=color, fontcolor=color, shape='record')
   190             graph.add_node(package, color=color, fontcolor=color, shape='record')
   191 
   191 
   192 
   192 
   193 class CubeTracerSet(object):
   193 class CubeTracerSet(object):
   194     """Dumb set implementation whose purpose is to keep track of which cube is
   194     """Dumb set implementation whose purpose is to keep track of which cube is