SVF::SVFModuleReader Class Reference

#include <SVFFileSystem.h>

Public Member Functions
template<typename SVFTypeCreator , typename SVFTypeFiller , typename SVFValueCreator , typename SVFValueFiller , typename StInfoCreator >
void	createObjs (const cJSON *svfModuleJson, SVFTypeCreator typeCreator, SVFTypeFiller typeFiller, SVFValueCreator valueCreator, SVFValueFiller valueFiller, StInfoCreator stInfoCreator)
SVFValue *	getSVFValuePtr (size_t id) const
SVFType *	getSVFTypePtr (size_t id) const
StInfo *	getStInfoPtr (size_t id) const
const cJSON *	getFieldJson () const

Private Attributes
const cJSON *	svfModuleFieldJson = nullptr
ReaderPtrPool< SVFType >	svfTypePool
ReaderPtrPool< StInfo >	stInfoPool
ReaderPtrPool< SVFValue >	svfValuePool

Friends
class	SVFIRReader

Detailed Description

Definition at line 957 of file SVFFileSystem.h.

Member Function Documentation

createObjs()

template<typename SVFTypeCreator , typename SVFTypeFiller , typename SVFValueCreator , typename SVFValueFiller , typename StInfoCreator >

void SVF::SVFModuleReader::createObjs ( const cJSON *  svfModuleJson, SVFTypeCreator  typeCreator, SVFTypeFiller  typeFiller, SVFValueCreator  valueCreator, SVFValueFiller  valueFiller, StInfoCreator  stInfoCreator  )

inline

Definition at line 971 of file SVFFileSystem.h.

    {
        assert(!svfModuleFieldJson && "SVFModule Already created?");
        ABORT_IFNOT(jsonIsObject(svfModuleJson),
                    "svfModuleJson not an JSON object?");
 
        const cJSON* const allSVFType = svfModuleJson->child;
        CHECK_JSON_KEY(allSVFType);
        svfTypePool.createObjs(allSVFType, typeCreator);
 
        const cJSON* const allStInfo = allSVFType->next;
        CHECK_JSON_KEY(allStInfo);
        stInfoPool.createObjs(allStInfo, stInfoCreator); // Only need SVFType*
 
        svfTypePool.fillObjs(typeFiller); // Only need SVFType* & StInfo*
 
        const cJSON* const allSVFValue = allStInfo->next;
        CHECK_JSON_KEY(allSVFValue);
        svfValuePool.createObjs(allSVFValue, valueCreator);
        svfValuePool.fillObjs(valueFiller); // Need SVFType* & SVFValue*
 
        svfModuleFieldJson = allSVFValue->next;
    }

getFieldJson()

const cJSON * SVF::SVFModuleReader::getFieldJson ( ) const

inline

Definition at line 1010 of file SVFFileSystem.h.

    {
        return svfModuleFieldJson;
    }

getStInfoPtr()

StInfo * SVF::SVFModuleReader::getStInfoPtr ( size_t  id ) const

inline

Definition at line 1005 of file SVFFileSystem.h.

    {
        return stInfoPool.getPtr(id);
    }

getSVFTypePtr()

SVFType * SVF::SVFModuleReader::getSVFTypePtr ( size_t  id ) const

inline

Definition at line 1001 of file SVFFileSystem.h.

    {
        return svfTypePool.getPtr(id);
    }

getSVFValuePtr()

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

inline

Definition at line 997 of file SVFFileSystem.h.

    {
        return svfValuePool.getPtr(id);
    }

Friends And Related Symbol Documentation

SVFIRReader

friend class SVFIRReader

friend

Definition at line 959 of file SVFFileSystem.h.

Member Data Documentation

stInfoPool

ReaderPtrPool<StInfo> SVF::SVFModuleReader::stInfoPool

private

Definition at line 964 of file SVFFileSystem.h.

svfModuleFieldJson

const cJSON* SVF::SVFModuleReader::svfModuleFieldJson = nullptr

private

Definition at line 962 of file SVFFileSystem.h.

svfTypePool

ReaderPtrPool<SVFType> SVF::SVFModuleReader::svfTypePool

private

Definition at line 963 of file SVFFileSystem.h.

svfValuePool

ReaderPtrPool<SVFValue> SVF::SVFModuleReader::svfValuePool

private

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