SVF::GraphPrinter Class Reference

#include <GraphPrinter.h>

Public Member Functions
	GraphPrinter ()

Static Public Member Functions
template<class GraphType >
static void	WriteGraphToFile (SVF::OutStream &O, const std::string &GraphName, const GraphType &GT, bool simple=false)
template<class GraphType >
static void	PrintGraph (SVF::OutStream &O, const std::string &GraphName, const GraphType &GT)

Detailed Description

Definition at line 44 of file GraphPrinter.h.

Constructor & Destructor Documentation

GraphPrinter()

SVF::GraphPrinter::GraphPrinter ( )

inline

Definition at line 48 of file GraphPrinter.h.

    {
    }

Member Function Documentation

PrintGraph()

template<class GraphType >

static void SVF::GraphPrinter::PrintGraph ( SVF::OutStream &  O, const std::string &  GraphName, const GraphType &  GT  )

inlinestatic

Print the graph to command line

Define the GTraits and node iterator for printing

Definition at line 79 of file GraphPrinter.h.

    {
        typedef GenericGraphTraits<GraphType> GTraits;
 
        typedef typename GTraits::NodeRef NodeRef;
        typedef typename GTraits::nodes_iterator node_iterator;
        typedef typename GTraits::ChildIteratorType child_iterator;
 
        O << "Printing VFG Graph" << "'...\n";
        // Print each node name and its edges
        node_iterator I = GTraits::nodes_begin(GT);
        node_iterator E = GTraits::nodes_end(GT);
        for (; I != E; ++I)
        {
            NodeRef *Node = *I;
            O << "node :" << Node << "'\n";
            child_iterator EI = GTraits::child_begin(Node);
            child_iterator EE = GTraits::child_end(Node);
            for (unsigned i = 0; EI != EE && i != 64; ++EI, ++i)
            {
                O << "child :" << *EI << "'\n";
            }
        }
    }

WriteGraphToFile()

template<class GraphType >

static void SVF::GraphPrinter::WriteGraphToFile ( SVF::OutStream &  O, const std::string &  GraphName, const GraphType &  GT, bool  simple = false  )

inlinestatic

Write the graph into dot file for debugging purpose

Definition at line 56 of file GraphPrinter.h.

    {
        // Filename of the output dot file
        std::string Filename = GraphName + ".dot";
        std::ofstream outFile(Filename);
        if (outFile.fail())
        {
            O << "  error opening file for writing!\n";
            outFile.close();
            return;
        }
 
        O << "Writing '" << Filename << "'...";
 
        WriteGraph(outFile, GT, simple);
        outFile.close();
    }

---

The documentation for this class was generated from the following file:

• /home/runner/work/SVF/SVF/svf/include/Graphs/GraphPrinter.h