llvm::DOTGraphTraits< OfflineConsG * > Struct Template Reference

Inheritance diagram for llvm::DOTGraphTraits< OfflineConsG * >:

Public Types
typedef ConstraintNode	NodeType

Public Member Functions
	DOTGraphTraits (bool isSimple=false)

Static Public Member Functions
static std::string	getGraphName (OfflineConsG *)
	Return name of the graph. More...
static std::string	getNodeLabel (NodeType *n, OfflineConsG *)
static std::string	getNodeAttributes (NodeType *n, OfflineConsG *)
template<class EdgeIter >
static std::string	getEdgeAttributes (NodeType *, EdgeIter EI, OfflineConsG *)
template<class EdgeIter >
static std::string	getEdgeSourceLabel (NodeType *, EdgeIter)

Detailed Description

template<>
struct llvm::DOTGraphTraits< OfflineConsG * >

Definition at line 182 of file OfflineConsG.cpp.

Member Typedef Documentation

NodeType

typedef ConstraintNode llvm::DOTGraphTraits< OfflineConsG * >::NodeType

Definition at line 185 of file OfflineConsG.cpp.

Constructor & Destructor Documentation

DOTGraphTraits()

llvm::DOTGraphTraits< OfflineConsG * >::DOTGraphTraits ( bool  isSimple = false )

inline

Definition at line 186 of file OfflineConsG.cpp.

                                          :
        DOTGraphTraits<PAG*>(isSimple)
    {
    }

Member Function Documentation

getEdgeAttributes()

template<class EdgeIter >

static std::string llvm::DOTGraphTraits< OfflineConsG * >::getEdgeAttributes ( NodeType *  , EdgeIter  EI, OfflineConsG *    )

inlinestatic

Definition at line 255 of file OfflineConsG.cpp.

    {
        ConstraintEdge* edge = *(EI.getCurrent());
        assert(edge && "No edge found!!");
        if (edge->getEdgeKind() == ConstraintEdge::Addr)
        {
            return "color=green";
        }
        else if (edge->getEdgeKind() == ConstraintEdge::Copy)
        {
            return "color=black";
        }
        else if (edge->getEdgeKind() == ConstraintEdge::NormalGep
                 || edge->getEdgeKind() == ConstraintEdge::VariantGep)
        {
            return "color=purple";
        }
        else if (edge->getEdgeKind() == ConstraintEdge::Store)
        {
            return "color=blue";
        }
        else if (edge->getEdgeKind() == ConstraintEdge::Load)
        {
            return "color=red";
        }
        else
        {
            assert(0 && "No such kind edge!!");
        }
        return "";
    }

getEdgeSourceLabel()

template<class EdgeIter >

static std::string llvm::DOTGraphTraits< OfflineConsG * >::getEdgeSourceLabel ( NodeType *  , EdgeIter    )

inlinestatic

Definition at line 288 of file OfflineConsG.cpp.

    {
        return "";
    }

getGraphName()

static std::string llvm::DOTGraphTraits< OfflineConsG * >::getGraphName ( OfflineConsG *  )

inlinestatic

Return name of the graph.

Definition at line 192 of file OfflineConsG.cpp.

    {
        return "Offline Constraint Graph";
    }

getNodeAttributes()

static std::string llvm::DOTGraphTraits< OfflineConsG * >::getNodeAttributes ( NodeType *  n, OfflineConsG *    )

inlinestatic

Definition at line 241 of file OfflineConsG.cpp.

    {
        if (PAG::getPAG()->findPAGNode(n->getId()))
        {
            PAGNode *node = PAG::getPAG()->getPAGNode(n->getId());
            return node->getNodeAttrForDotDisplay();
        }
        else
        {
            return "shape=folder";
        }
    }

getNodeLabel()

static std::string llvm::DOTGraphTraits< OfflineConsG * >::getNodeLabel ( NodeType *  n, OfflineConsG *    )

inlinestatic

Return label of a VFG node with two display mode Either you can choose to display the name of the value or the whole instruction

Definition at line 199 of file OfflineConsG.cpp.

    {
        std::string str;
        raw_string_ostream rawstr(str);
        if (PAG::getPAG()->findPAGNode(n->getId()))
        {
            PAGNode *node = PAG::getPAG()->getPAGNode(n->getId());
            bool briefDisplay = true;
            bool nameDisplay = true;


            if (briefDisplay)
            {
                if (SVFUtil::isa<ValPN>(node))
                {
                    if (nameDisplay)
                        rawstr << node->getId() << ":" << node->getValueName();
                    else
                        rawstr << node->getId();
                }
                else
                    rawstr << node->getId();
            }
            else
            {
                // print the whole value
                if (!SVFUtil::isa<DummyValPN>(node) && !SVFUtil::isa<DummyObjPN>(node))
                    rawstr << *node->getValue();
                else
                    rawstr << "";

            }

            return rawstr.str();
        }
        else
        {
            rawstr<< n->getId();
            return rawstr.str();
        }
    }

---

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

• /home/runner/work/SVF-1/SVF-1/lib/Graphs/OfflineConsG.cpp