2002-10-07 18:37:10 +00:00
|
|
|
//===-- Support/DotGraphTraits.h - Customize .dot output -------*- C++ -*--===//
|
|
|
|
//
|
|
|
|
// This file defines a template class that can be used to customize dot output
|
|
|
|
// graphs generated by the GraphWriter.h file. The default implementation of
|
|
|
|
// this file will produce a simple, but not very polished graph. By
|
|
|
|
// specializing this template, lots of customization opportunities are possible.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#ifndef SUPPORT_DOTGRAPHTRAITS_H
|
|
|
|
#define SUPPORT_DOTGRAPHTRAITS_H
|
|
|
|
|
|
|
|
#include <string>
|
|
|
|
|
|
|
|
/// DefaultDOTGraphTraits - This class provides the default implementations of
|
|
|
|
/// all of the DOTGraphTraits methods. If a specialization does not need to
|
|
|
|
/// override all methods here it should inherit so that it can get the default
|
|
|
|
/// implementations.
|
|
|
|
///
|
|
|
|
struct DefaultDOTGraphTraits {
|
|
|
|
/// getGraphName - Return the label for the graph as a whole. Printed at the
|
|
|
|
/// top of the graph.
|
|
|
|
///
|
2002-10-17 00:16:39 +00:00
|
|
|
static std::string getGraphName(const void *Graph) { return ""; }
|
2002-10-07 18:37:10 +00:00
|
|
|
|
2002-10-10 22:29:10 +00:00
|
|
|
/// getGraphProperties - Return any custom properties that should be included
|
|
|
|
/// in the top level graph structure for dot. By default, we resize the graph
|
|
|
|
/// to fit on a letter size page.
|
|
|
|
///
|
2002-10-17 00:16:39 +00:00
|
|
|
static std::string getGraphProperties(const void *Graph) {
|
2002-10-10 22:29:10 +00:00
|
|
|
return "\tsize=\"7.5,10\";\n"; // Size to fit on a page
|
|
|
|
}
|
|
|
|
|
2002-10-07 18:37:10 +00:00
|
|
|
/// getNodeLabel - Given a node and a pointer to the top level graph, return
|
|
|
|
/// the label to print in the node.
|
2002-10-17 00:16:39 +00:00
|
|
|
static std::string getNodeLabel(const void *Node, const void *Graph) {
|
|
|
|
return "";
|
|
|
|
}
|
2002-10-07 18:37:10 +00:00
|
|
|
|
|
|
|
/// If you want to specify custom node attributes, this is the place to do so
|
|
|
|
///
|
2002-10-17 00:16:39 +00:00
|
|
|
static std::string getNodeAttributes(const void *Node) { return ""; }
|
2002-10-07 18:37:10 +00:00
|
|
|
|
|
|
|
/// If you want to override the dot attributes printed for a particular edge,
|
|
|
|
/// override this method.
|
|
|
|
template<typename EdgeIter>
|
2002-10-17 00:16:39 +00:00
|
|
|
static std::string getEdgeAttributes(const void *Node, EdgeIter EI) {
|
|
|
|
return "";
|
|
|
|
}
|
2002-10-07 18:37:10 +00:00
|
|
|
|
|
|
|
/// getEdgeSourceLabel - If you want to label the edge source itself,
|
|
|
|
/// implement this method.
|
|
|
|
template<typename EdgeIter>
|
2002-10-17 00:16:39 +00:00
|
|
|
static std::string getEdgeSourceLabel(const void *Node, EdgeIter I) {
|
|
|
|
return "";
|
|
|
|
}
|
2002-10-07 18:37:10 +00:00
|
|
|
|
|
|
|
/// edgeTargetsEdgeSource - This method returns true if this outgoing edge
|
|
|
|
/// should actually target another edge source, not a node. If this method is
|
|
|
|
/// implemented, getEdgeTarget should be implemented.
|
|
|
|
template<typename EdgeIter>
|
2002-10-17 00:16:39 +00:00
|
|
|
static bool edgeTargetsEdgeSource(const void *Node, EdgeIter I) {
|
|
|
|
return false;
|
|
|
|
}
|
2002-10-07 18:37:10 +00:00
|
|
|
|
|
|
|
/// getEdgeTarget - If edgeTargetsEdgeSource returns true, this method is
|
|
|
|
/// called to determine which outgoing edge of Node is the target of this
|
|
|
|
/// edge.
|
|
|
|
template<typename EdgeIter>
|
2002-10-17 00:16:39 +00:00
|
|
|
static EdgeIter getEdgeTarget(const void *Node, EdgeIter I) {
|
|
|
|
return I;
|
|
|
|
}
|
2002-10-16 01:44:59 +00:00
|
|
|
|
|
|
|
/// 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 neccesary. The GraphWriter object, instantiated with your
|
|
|
|
/// GraphType is passed in as an argument. You may call arbitrary methods on
|
|
|
|
/// it to add things to the output graph.
|
|
|
|
///
|
|
|
|
template<typename GraphWriter>
|
2002-10-17 00:16:39 +00:00
|
|
|
static void addCustomGraphFeatures(const void *Graph, GraphWriter &GW) {}
|
2002-10-07 18:37:10 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
/// DOTGraphTraits - Template class that can be specialized to customize how
|
|
|
|
/// graphs are converted to 'dot' graphs. When specializing, you may inherit
|
|
|
|
/// from DefaultDOTGraphTraits if you don't need to override everything.
|
|
|
|
///
|
|
|
|
template <typename Ty>
|
|
|
|
class DOTGraphTraits : public DefaultDOTGraphTraits {};
|
|
|
|
|
|
|
|
#endif
|