SVF::ICFGWriter Class Reference

#include <SVFFileSystem.h>

Inheritance diagram for SVF::ICFGWriter:

Public Member Functions
	ICFGWriter (const ICFG *icfg)
size_t	getSvfLoopID (const SVFLoop *loop)
Public Member Functions inherited from SVF::GenericGraphWriter< NodeTy, EdgeTy >
	GenericGraphWriter (const GraphType *graph)
size_t	getEdgeID (const EdgeType *edge)

Private Attributes
WriterPtrPool< SVFLoop >	svfLoopPool

Friends
class	SVFIRWriter

Detailed Description

Definition at line 323 of file SVFFileSystem.h.

Constructor & Destructor Documentation

ICFGWriter()

SVF::ICFGWriter::ICFGWriter

(

const ICFG *

icfg

)

Definition at line 908 of file SVFFileSystem.cpp.

                                       : GenericICFGWriter(icfg)
{
    for (const auto& pair : icfg->getIcfgNodeToSVFLoopVec())
    {
        for (const SVFLoop* loop : pair.second)
        {
            svfLoopPool.saveID(loop);
        }
    }
}

Member Function Documentation

getSvfLoopID()

size_t SVF::ICFGWriter::getSvfLoopID ( const SVFLoop *  loop )

inline

Definition at line 333 of file SVFFileSystem.h.

    {
        return svfLoopPool.getID(loop);
    }

Friends And Related Symbol Documentation

SVFIRWriter

friend class SVFIRWriter

friend

Definition at line 325 of file SVFFileSystem.h.

Member Data Documentation

svfLoopPool

WriterPtrPool<SVFLoop> SVF::ICFGWriter::svfLoopPool

private

Definition at line 328 of file SVFFileSystem.h.

---

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

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