newDDG.h

Go to the documentation of this file.

#ifndef _______DDG_H__________
#define _______DDG_H__________

#include "cong_staticCFG.h"

namespace SDG
{


struct DDGEdge
{
        typedef std::vector<SgInitializedName*> VarName;

        std::set<VarName> varNames;

        void addVarName(const VarName& varName)
        { varNames.insert(varName);     }
};


class DataDependenceGraph : public boost::adjacency_list<boost::vecS, boost::vecS, boost::bidirectionalS, 
                StaticCFG::CFGNodePtr, DDGEdge>
{
public:
        typedef boost::graph_traits<DataDependenceGraph>::vertex_descriptor Vertex;
        typedef boost::graph_traits<DataDependenceGraph>::edge_descriptor   Edge;

        DataDependenceGraph() {}

        DataDependenceGraph(const StaticCFG::ControlFlowGraph& cfg)
        {
                build(cfg);
        }

        void build(const StaticCFG::ControlFlowGraph& cfg);

        void toDot(const std::string& filename) const;

protected:

        void writeGraphNode(std::ostream& out, const Vertex& node) const;

        void writeGraphEdge(std::ostream& out, const Edge& edge) const;
};


} // end of namespace SystemDependenceGraph


#endif  /* _______DDG_H__________ */