SVF::SVFModuleWriter Class Reference

#include <SVFFileSystem.h>

Public Member Functions
	SVFModuleWriter (const SVFModule *svfModule)
size_t	getSVFValueID (const SVFValue *value)
const SVFValue *	getSVFValuePtr (size_t id) const
size_t	getSVFTypeID (const SVFType *type)
size_t	getStInfoID (const StInfo *stInfo)
size_t	sizeSVFValuePool () const

Private Attributes
WriterPtrPool< SVFType >	svfTypePool
WriterPtrPool< StInfo >	stInfoPool
WriterPtrPool< SVFValue >	svfValuePool

Friends
class	SVFIRWriter

Detailed Description

Definition at line 344 of file SVFFileSystem.h.

Constructor & Destructor Documentation

SVFModuleWriter()

SVF::SVFModuleWriter::SVFModuleWriter

(

const SVFModule *

svfModule

)

Definition at line 963 of file SVFFileSystem.cpp.

{
    // TODO: SVFType & StInfo are managed by SymbolTableInfo. Refactor it?
    auto symTab = SymbolTableInfo::SymbolInfo();
 
    const auto& svfTypes = symTab->getSVFTypes();
    svfTypePool.reserve(svfTypes.size());
    for (const SVFType* type : svfTypes)
    {
        svfTypePool.saveID(type);
    }
 
    const auto& stInfos = symTab->getStInfos();
    stInfoPool.reserve(stInfos.size());
    for (const StInfo* stInfo : stInfos)
    {
        stInfoPool.saveID(stInfo);
    }
 
    svfValuePool.reserve(svfModule->getFunctionSet().size() +
                         svfModule->getConstantSet().size() +
                         svfModule->getOtherValueSet().size());
}

Member Function Documentation

getStInfoID()

size_t SVF::SVFModuleWriter::getStInfoID ( const StInfo *  stInfo )

inline

Definition at line 368 of file SVFFileSystem.h.

    {
        return stInfoPool.getID(stInfo);
    }

getSVFTypeID()

size_t SVF::SVFModuleWriter::getSVFTypeID ( const SVFType *  type )

inline

Definition at line 364 of file SVFFileSystem.h.

    {
        return svfTypePool.getID(type);
    }

getSVFValueID()

size_t SVF::SVFModuleWriter::getSVFValueID ( const SVFValue *  value )

inline

Definition at line 356 of file SVFFileSystem.h.

    {
        return svfValuePool.getID(value);
    }

getSVFValuePtr()

const SVFValue * SVF::SVFModuleWriter::getSVFValuePtr ( size_t  id ) const

inline

Definition at line 360 of file SVFFileSystem.h.

    {
        return svfValuePool.getPtr(id);
    }

sizeSVFValuePool()

size_t SVF::SVFModuleWriter::sizeSVFValuePool ( ) const

inline

Definition at line 372 of file SVFFileSystem.h.

    {
        return svfValuePool.size();
    }

Friends And Related Symbol Documentation

SVFIRWriter

friend class SVFIRWriter

friend

Definition at line 346 of file SVFFileSystem.h.

Member Data Documentation

stInfoPool

WriterPtrPool<StInfo> SVF::SVFModuleWriter::stInfoPool

private

Definition at line 350 of file SVFFileSystem.h.

svfTypePool

WriterPtrPool<SVFType> SVF::SVFModuleWriter::svfTypePool

private

Definition at line 349 of file SVFFileSystem.h.

svfValuePool

WriterPtrPool<SVFValue> SVF::SVFModuleWriter::svfValuePool

private

Definition at line 351 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