|
static std::string | getGraphName (const RegionInfo *) |
|
static void | printRegionCluster (const Region &R, GraphWriter< RegionInfo * > &GW, unsigned depth=0) |
|
static void | addCustomGraphFeatures (const RegionInfo *G, GraphWriter< RegionInfo * > &GW) |
|
template<typename GraphType > |
static std::string | getGraphName (const GraphType &) |
| getGraphName - Return the label for the graph as a whole.
|
|
template<typename GraphType > |
static std::string | getGraphProperties (const GraphType &) |
| getGraphProperties - Return any custom properties that should be included in the top level graph structure for dot.
|
|
static bool | renderGraphFromBottomUp () |
| renderGraphFromBottomUp - If this function returns true, the graph is emitted bottom-up instead of top-down.
|
|
template<typename GraphType > |
static bool | isNodeHidden (const void *, const GraphType &) |
| isNodeHidden - If the function returns true, the given node is not displayed in the graph.
|
|
static bool | renderNodesUsingHTML () |
|
template<typename GraphType > |
static std::string | getNodeIdentifierLabel (const void *, const GraphType &) |
|
template<typename GraphType > |
static std::string | getNodeDescription (const void *, const GraphType &) |
|
template<typename GraphType > |
static std::string | getNodeAttributes (const void *, const GraphType &) |
| If you want to specify custom node attributes, this is the place to do so.
|
|
template<typename EdgeIter , typename GraphType > |
static std::string | getEdgeAttributes (const void *, EdgeIter, const GraphType &) |
| If you want to override the dot attributes printed for a particular edge, override this method.
|
|
template<typename EdgeIter > |
static std::string | getEdgeSourceLabel (const void *, EdgeIter) |
| getEdgeSourceLabel - If you want to label the edge source itself, implement this method.
|
|
template<typename EdgeIter > |
static bool | edgeTargetsEdgeSource (const void *, EdgeIter) |
| edgeTargetsEdgeSource - This method returns true if this outgoing edge should actually target another edge source, not a node.
|
|
template<typename EdgeIter > |
static EdgeIter | getEdgeTarget (const void *, EdgeIter I) |
| getEdgeTarget - If edgeTargetsEdgeSource returns true, this method is called to determine which outgoing edge of Node is the target of this edge.
|
|
static bool | hasEdgeDestLabels () |
| hasEdgeDestLabels - If this function returns true, the graph is able to provide labels for edge destinations.
|
|
static unsigned | numEdgeDestLabels (const void *) |
| numEdgeDestLabels - If hasEdgeDestLabels, this function returns the number of incoming edge labels the given node has.
|
|
static std::string | getEdgeDestLabel (const void *, unsigned) |
| getEdgeDestLabel - If hasEdgeDestLabels, this function returns the incoming edge label with the given index in the given node.
|
|
template<typename GraphType , typename GraphWriter > |
static void | addCustomGraphFeatures (const GraphType &, GraphWriter &) |
| addCustomGraphFeatures - If a graph is made up of more than just straight-forward nodes and edges, this is the place to put all of the custom stuff necessary.
|
|
Definition at line 49 of file RegionPrinter.cpp.