SVF::ReaderIDToObjMap< T > Class Template Reference

Keeps a map from IDs to T objects, such as XXNode. More...

#include <SVFFileSystem.h>

Public Member Functions
template<typename IdObjCreator >
void	createObjs (const cJSON *idObjArrayJson, IdObjCreator idObjCreator)
	idObjcreator : (const cJSON*) -> (id, T*) with id set More...
T *	getPtr (unsigned id) const
template<typename FillFunc >
void	fillObjs (FillFunc fillFunc)
size_t	size () const
template<typename Map >
void	saveToIDToObjMap (Map &idToObjMap) const

Private Types
using	IDToPairMapTy = OrderedMap< unsigned, std::pair< const cJSON *, T * > >

Private Attributes
IDToPairMapTy	idMap

Detailed Description

template<typename T>
class SVF::ReaderIDToObjMap< T >

Keeps a map from IDs to T objects, such as XXNode.

Template Parameters

T	The type of the objects.

Definition at line 684 of file SVFFileSystem.h.

Member Typedef Documentation

IDToPairMapTy

template<typename T >

using SVF::ReaderIDToObjMap< T >::IDToPairMapTy = OrderedMap<unsigned, std::pair<const cJSON*, T*> >

private

Definition at line 687 of file SVFFileSystem.h.

Member Function Documentation

createObjs()

template<typename T >

template<typename IdObjCreator >

void SVF::ReaderIDToObjMap< T >::createObjs ( const cJSON *  idObjArrayJson, IdObjCreator  idObjCreator  )

inline

idObjcreator : (const cJSON*) -> (id, T*) with id set

Definition at line 693 of file SVFFileSystem.h.

    {
        assert(idMap.empty() &&
               "idToObjMap should be empty when creating objects");
        ABORT_IFNOT(jsonIsArray(idObjArrayJson), "expects an array");
 
        jsonForEach(objJson, idObjArrayJson)
        {
            ABORT_IFNOT(jsonIsObject(objJson), "expects an object");
            const cJSON* objFieldJson = objJson->child;
            // creator is allowed to change objFieldJson
            auto idObj = idObjCreator(objFieldJson);
            auto pair = std::pair<const cJSON*, T*>(objFieldJson, idObj.second);
            bool inserted = idMap.emplace(idObj.first, pair).second;
            ABORT_IFNOT(inserted, "ID " << idObj.first << " duplicated in "
                        << idObjArrayJson->string);
        }
    }

fillObjs()

template<typename T >

template<typename FillFunc >

void SVF::ReaderIDToObjMap< T >::fillObjs ( FillFunc  fillFunc )

inline

Definition at line 719 of file SVFFileSystem.h.

    {
        for (auto& pair : idMap)
        {
            const cJSON* objFieldJson = pair.second.first;
            T* obj = pair.second.second;
            fillFunc(objFieldJson, obj);
 
            ABORT_IFNOT(!objFieldJson, "json should be consumed by filler, but "
                        << objFieldJson->string << " left");
        }
    }

getPtr()

template<typename T >

T* SVF::ReaderIDToObjMap< T >::getPtr ( unsigned  id ) const

inline

Definition at line 712 of file SVFFileSystem.h.

    {
        auto it = idMap.find(id);
        ABORT_IFNOT(it != idMap.end(), "ID " << id << " not found");
        return it->second.second;
    }

saveToIDToObjMap()

template<typename T >

template<typename Map >

void SVF::ReaderIDToObjMap< T >::saveToIDToObjMap ( Map &  idToObjMap ) const

inline

Definition at line 737 of file SVFFileSystem.h.

    {
        for (auto& pair : idMap)
        {
            unsigned id = pair.first;
            T* obj = pair.second.second;
            assert(obj && "obj should not be null");
            idToObjMap.insert(std::make_pair(id, obj));
        }
    }

size()

template<typename T >

size_t SVF::ReaderIDToObjMap< T >::size ( ) const

inline

Definition at line 732 of file SVFFileSystem.h.

    {
        return idMap.size();
    }

Member Data Documentation

idMap

template<typename T >

IDToPairMapTy SVF::ReaderIDToObjMap< T >::idMap

private

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