reachingDef.h

#pragma once
 
// DQ (10/5/2014): This is more strict now that we include rose_config.h in the sage3basic.h.
// #include "rose.h"
// rose.h and sage3basic.h should not be included in librose header files. [Robb P. Matzke 2014-10-15]
// #include "sage3basic.h"
 
#include <boost/shared_ptr.hpp>
#include <map>
#include <set>
 
#include "dataflowCfgFilter.h"
 
class ROSE_DLL_API ReachingDef
{
public:
 
    enum Type
    {
        PHI_FUNCTION,
 
        ORIGINAL_DEF,
 
        EXPANDED_DEF
    };
 
    typedef boost::shared_ptr<ReachingDef> ReachingDefPtr;
 
    typedef FilteredCFGEdge<ssa_private::DataflowCfgFilter> FilteredCfgEdge;
 
private:
    Type defType;
 
    std::map<ReachingDefPtr, std::set<FilteredCfgEdge> > parentDefs;
 
    SgNode* thisNode;
 
    int renamingNumer;
 
public:
 
    //---------CONSTRUCTORS---------
 
    ReachingDef(SgNode* defNode, Type type);
 
    //---------ACCESSORS---------
 
    bool isPhiFunction() const;
 
    const std::map<ReachingDefPtr, std::set<FilteredCfgEdge> >& getJoinedDefs() const;
 
    SgNode* getDefinitionNode() const;
 
    std::set<SgNode*> getActualDefinitions() const;
 
    int getRenamingNumber() const;
 
    bool isOriginalDef() const
    {
        return defType == ORIGINAL_DEF;
    }
 
    bool operator==(const ReachingDef& other) const;
 
    //---------MODIFIERS---------
 
    void setDefinitionNode(SgNode* defNode);
 
    void addJoinedDef(ReachingDefPtr newDef, FilteredCfgEdge edge);
 
    void setRenamingNumber(int n);
};