SVF::GenericGraphReader< NodeTy, EdgeTy > Class Template Reference

#include <SVFFileSystem.h>

Inheritance diagram for SVF::GenericGraphReader< NodeTy, EdgeTy >:

Public Member Functions
template<typename NodeCreator , typename EdgeCreator >
void	createObjs (const cJSON *graphJson, NodeCreator nodeCreator, EdgeCreator edgeCreator)
NodeTy *	getNodePtr (unsigned id) const
EdgeTy *	getEdgePtr (unsigned id) const
template<typename NodeFiller , typename EdgeFiller >
void	fillObjs (NodeFiller nodeFiller, EdgeFiller edgeFiller)
void	saveToGenericGraph (GenericGraph< NodeTy, EdgeTy > *graph) const
const cJSON *	getFieldJson () const

Protected Attributes
const cJSON *	graphFieldJson = nullptr

Private Attributes
ReaderIDToObjMap< NodeTy >	idToNodeMap
ReaderPtrPool< EdgeTy >	edgePool

Detailed Description

template<typename NodeTy, typename EdgeTy>
class SVF::GenericGraphReader< NodeTy, EdgeTy >

Definition at line 821 of file SVFFileSystem.h.

Member Function Documentation

createObjs()

template<typename NodeTy , typename EdgeTy >

template<typename NodeCreator , typename EdgeCreator >

void SVF::GenericGraphReader< NodeTy, EdgeTy >::createObjs ( const cJSON *  graphJson, NodeCreator  nodeCreator, EdgeCreator  edgeCreator  )

inline

Definition at line 832 of file SVFFileSystem.h.

    {
        // Read nodeNum
        const cJSON* nodeNum = graphJson->child;
        CHECK_JSON_KEY(nodeNum);
        u32_t numOfNodes = jsonGetNumber(nodeNum);
        (void)numOfNodes;
 
        // Read allNode
        const cJSON* allNode = nodeNum->next;
        CHECK_JSON_KEY(allNode);
        idToNodeMap.createObjs(allNode, nodeCreator);
        // TODO: ABORT_IFNOT(idToNodeMap.size() == numOfNodes, "nodeNum mismatch");
 
        // Read edgeNum
        const cJSON* edgeNum = allNode->next;
        CHECK_JSON_KEY(edgeNum);
        u32_t numOfEdges = jsonGetNumber(edgeNum);
        (void)numOfEdges;
 
        // Read allEdge
        const cJSON* allEdge = edgeNum->next;
        CHECK_JSON_KEY(allEdge);
        edgePool.createObjs(allEdge, edgeCreator);
        // TODO: ABORT_IFNOT(edgePool.size() == numOfEdges, "edgeNum mismatch");
 
        // Rest fields
        assert(!graphFieldJson && "graphFieldJson should be empty");
        graphFieldJson = allEdge->next;
    }

fillObjs()

template<typename NodeTy , typename EdgeTy >

template<typename NodeFiller , typename EdgeFiller >

void SVF::GenericGraphReader< NodeTy, EdgeTy >::fillObjs ( NodeFiller  nodeFiller, EdgeFiller  edgeFiller  )

inline

Definition at line 875 of file SVFFileSystem.h.

    {
        // GenericNode<> contains field `InEdges` and `OutEdges`, which are
        // ordered set of edges with comparator `GenericEdge::equalGEdge()`,
        // which need operands `src` and `dst` to be non-null to get IDs, so we
        // need to fill nodes first.
        edgePool.fillObjs(edgeFiller);
        idToNodeMap.fillObjs(nodeFiller);
    }

getEdgePtr()

template<typename NodeTy , typename EdgeTy >

EdgeTy* SVF::GenericGraphReader< NodeTy, EdgeTy >::getEdgePtr ( unsigned  id ) const

inline

Definition at line 869 of file SVFFileSystem.h.

    {
        return edgePool.getPtr(id);
    }

getFieldJson()

template<typename NodeTy , typename EdgeTy >

const cJSON* SVF::GenericGraphReader< NodeTy, EdgeTy >::getFieldJson ( ) const

inline

Definition at line 892 of file SVFFileSystem.h.

    {
        return graphFieldJson;
    }

getNodePtr()

template<typename NodeTy , typename EdgeTy >

NodeTy* SVF::GenericGraphReader< NodeTy, EdgeTy >::getNodePtr ( unsigned  id ) const

inline

Definition at line 864 of file SVFFileSystem.h.

    {
        return idToNodeMap.getPtr(id);
    }

saveToGenericGraph()

template<typename NodeTy , typename EdgeTy >

void SVF::GenericGraphReader< NodeTy, EdgeTy >::saveToGenericGraph ( GenericGraph< NodeTy, EdgeTy > *  graph ) const

inline

Definition at line 885 of file SVFFileSystem.h.

    {
        graph->edgeNum = edgePool.size();
        graph->nodeNum = idToNodeMap.size();
        idToNodeMap.saveToIDToObjMap(graph->IDToNodeMap);
    }

Member Data Documentation

edgePool

template<typename NodeTy , typename EdgeTy >

ReaderPtrPool<EdgeTy> SVF::GenericGraphReader< NodeTy, EdgeTy >::edgePool

private

Definition at line 825 of file SVFFileSystem.h.

graphFieldJson

template<typename NodeTy , typename EdgeTy >

const cJSON* SVF::GenericGraphReader< NodeTy, EdgeTy >::graphFieldJson = nullptr

protected

Definition at line 828 of file SVFFileSystem.h.

idToNodeMap

template<typename NodeTy , typename EdgeTy >

ReaderIDToObjMap<NodeTy> SVF::GenericGraphReader< NodeTy, EdgeTy >::idToNodeMap

private

Definition at line 824 of file SVFFileSystem.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/Graphs/GenericGraph.h
• /home/runner/work/SVF/SVF/svf/include/SVFIR/SVFFileSystem.h