|
Static Value-Flow Analysis
|
#include <DOTGraphTraits.h>
Public Member Functions | |
| DOTGraphTraits (bool simple=false) | |
| Public Member Functions inherited from SVF::DefaultDOTGraphTraits | |
| DefaultDOTGraphTraits (bool simple=false) | |
| template<typename NodeT, typename GraphType> | |
| std::string | getNodeLabel (NodeT, const GraphType &) |
Additional Inherited Members | |
| Static Public Member Functions inherited from SVF::DefaultDOTGraphTraits | |
| template<typename GraphType> | |
| static std::string | getGraphName (const GraphType &) |
| template<typename GraphType> | |
| static std::string | getGraphProperties (const GraphType &) |
| static bool | renderGraphFromBottomUp () |
| template<typename NodeT> | |
| static const void * | getNodeIdentifier (NodeT N) |
| template<typename NodeT, typename GraphType> | |
| static bool | isNodeHidden (NodeT, const GraphType &) |
| template<typename NodeT, typename GraphType> | |
| static std::string | getNodeIdentifierLabel (NodeT, const GraphType &) |
| template<typename NodeT, typename GraphType> | |
| static std::string | getNodeDescription (NodeT, const GraphType &) |
| template<typename NodeT, typename GraphType> | |
| static std::string | getNodeAttributes (NodeT, const GraphType &) |
| template<typename NodeT, typename EdgeIter, typename GraphType> | |
| static std::string | getEdgeAttributes (NodeT, EdgeIter, const GraphType &) |
| template<typename NodeT, typename EdgeIter> | |
| static std::string | getEdgeSourceLabel (NodeT, EdgeIter) |
| template<typename NodeT, typename EdgeIter> | |
| static bool | edgeTargetsEdgeSource (NodeT, EdgeIter) |
| template<typename NodeT, typename EdgeIter> | |
| static EdgeIter | getEdgeTarget (NodeT, EdgeIter I) |
| static bool | hasEdgeDestLabels () |
| template<typename NodeT> | |
| static unsigned | numEdgeDestLabels (NodeT) |
| template<typename NodeT> | |
| static std::string | getEdgeDestLabel (NodeT, unsigned) |
| template<typename GraphType, typename GraphWriter> | |
| static void | addCustomGraphFeatures (const GraphType &, GraphWriter &) |
| Protected Member Functions inherited from SVF::DefaultDOTGraphTraits | |
| bool | isSimple () |
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.
Definition at line 194 of file DOTGraphTraits.h.
|
inline |
Definition at line 196 of file DOTGraphTraits.h.