SVF::ICFGReader Class Reference

#include <SVFFileSystem.h>

Inheritance diagram for SVF::ICFGReader:

Public Member Functions
template<typename NodeCreator , typename EdgeCreator , typename SVFLoopCreator >
void	createObjs (const cJSON *icfgJson, NodeCreator nodeCreator, EdgeCreator edgeCreator, SVFLoopCreator svfLoopCreator)
SVFLoop *	getSVFLoopPtr (size_t id) const
template<typename NodeFiller , typename EdgeFiller , typename LoopFiller >
void	fillObjs (NodeFiller nodeFiller, EdgeFiller edgeFiller, LoopFiller loopFiller)
Public Member Functions inherited from SVF::GenericGraphReader< NodeTy, EdgeTy >
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

Private Attributes
ReaderPtrPool< SVFLoop >	svfLoopPool

Additional Inherited Members
Protected Attributes inherited from SVF::GenericGraphReader< NodeTy, EdgeTy >
const cJSON *	graphFieldJson = nullptr

Detailed Description

Definition at line 935 of file SVFFileSystem.h.

Member Function Documentation

createObjs()

template<typename NodeCreator , typename EdgeCreator , typename SVFLoopCreator >

void SVF::ICFGReader::createObjs ( const cJSON *  icfgJson, NodeCreator  nodeCreator, EdgeCreator  edgeCreator, SVFLoopCreator  svfLoopCreator  )

inline

Definition at line 944 of file SVFFileSystem.h.

    {
        GenericICFGReader::createObjs(icfgJson, nodeCreator, edgeCreator);
 
        const cJSON* const allSvfLoop = graphFieldJson;
        CHECK_JSON_KEY(allSvfLoop);
        svfLoopPool.createObjs(graphFieldJson, svfLoopCreator);
        graphFieldJson = allSvfLoop->next;
    }

fillObjs()

template<typename NodeFiller , typename EdgeFiller , typename LoopFiller >

void SVF::ICFGReader::fillObjs ( NodeFiller  nodeFiller, EdgeFiller  edgeFiller, LoopFiller  loopFiller  )

inline

Definition at line 961 of file SVFFileSystem.h.

    {
        GenericICFGReader::fillObjs(nodeFiller, edgeFiller);
        svfLoopPool.fillObjs(loopFiller);
    }

getSVFLoopPtr()

SVFLoop* SVF::ICFGReader::getSVFLoopPtr ( size_t  id ) const

inline

Definition at line 955 of file SVFFileSystem.h.

    {
        return svfLoopPool.getPtr(id);
    }

Member Data Documentation

svfLoopPool

ReaderPtrPool<SVFLoop> SVF::ICFGReader::svfLoopPool

private

Definition at line 940 of file SVFFileSystem.h.

---

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

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