#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 819 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 830 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 873 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 867 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 890 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 862 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 883 of file SVFFileSystem.h.

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