SVF::WriterPtrPool< T > Class Template Reference

Bookkeeping class to keep track of the IDs of objects that doesn't have any ID. E.g., SVFValue, XXXEdge. More...

#include <SVFFileSystem.h>

Public Member Functions
size_t	getID (const T *ptr)
void	saveID (const T *ptr)
const T *	getPtr (size_t id) const
const std::vector< const T * > &	getPool () const
size_t	size () const
void	reserve (size_t size)
auto	begin () const
auto	end () const

Private Attributes
Map< const T *, size_t >	ptrToId
std::vector< const T * >	ptrPool

Detailed Description

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

Bookkeeping class to keep track of the IDs of objects that doesn't have any ID. E.g., SVFValue, XXXEdge.

Template Parameters

T

Definition at line 232 of file SVFFileSystem.h.

Member Function Documentation

begin()

template<typename T >

auto SVF::WriterPtrPool< T >::begin ( ) const

inline

Definition at line 278 of file SVFFileSystem.h.

    {
        return ptrPool.cbegin();
    }

end()

template<typename T >

auto SVF::WriterPtrPool< T >::end ( ) const

inline

Definition at line 283 of file SVFFileSystem.h.

    {
        return ptrPool.cend();
    }

getID()

template<typename T >

size_t SVF::WriterPtrPool< T >::getID ( const T *  ptr )

inline

Definition at line 239 of file SVFFileSystem.h.

    {
        if (!ptr)
            return 0;
 
        typename decltype(ptrToId)::iterator it;
        bool inserted;
        std::tie(it, inserted) = ptrToId.emplace(ptr, 1 + ptrPool.size());
        if (inserted)
            ptrPool.push_back(ptr);
        return it->second;
    }

getPool()

template<typename T >

const std::vector<const T*>& SVF::WriterPtrPool< T >::getPool ( ) const

inline

Definition at line 263 of file SVFFileSystem.h.

    {
        return ptrPool;
    }

getPtr()

template<typename T >

const T* SVF::WriterPtrPool< T >::getPtr ( size_t  id ) const

inline

Definition at line 257 of file SVFFileSystem.h.

    {
        assert(id <= ptrPool.size() && "Invalid ID");
        return id ? ptrPool[id - 1] : nullptr;
    }

reserve()

template<typename T >

void SVF::WriterPtrPool< T >::reserve ( size_t  size )

inline

Definition at line 273 of file SVFFileSystem.h.

    {
        ptrPool.reserve(size);
    }

saveID()

template<typename T >

void SVF::WriterPtrPool< T >::saveID ( const T *  ptr )

inline

Definition at line 252 of file SVFFileSystem.h.

    {
        getID(ptr);
    }

size()

template<typename T >

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

inline

Definition at line 268 of file SVFFileSystem.h.

    {
        return ptrPool.size();
    }

Member Data Documentation

ptrPool

template<typename T >

std::vector<const T*> SVF::WriterPtrPool< T >::ptrPool

private

Definition at line 236 of file SVFFileSystem.h.

ptrToId

template<typename T >

Map<const T*, size_t> SVF::WriterPtrPool< T >::ptrToId

private

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