SVF::GenericGraphWriter< NodeTy, EdgeTy > Class Template Reference

#include <SVFFileSystem.h>

Inheritance diagram for SVF::GenericGraphWriter< NodeTy, EdgeTy >:

Public Member Functions
	GenericGraphWriter (const GraphType *graph)
size_t	getEdgeID (const EdgeType *edge)

Private Types
using	NodeType = NodeTy
using	EdgeType = EdgeTy
using	GraphType = GenericGraph< NodeType, EdgeType >

Private Attributes
WriterPtrPool< EdgeType >	edgePool

Friends
class	SVFIRWriter

Detailed Description

template<typename NodeTy, typename EdgeTy>
class SVF::GenericGraphWriter< NodeTy, EdgeTy >

Forward declaration of some friend classes

Definition at line 288 of file SVFFileSystem.h.

Member Typedef Documentation

EdgeType

template<typename NodeTy , typename EdgeTy >

using SVF::GenericGraphWriter< NodeTy, EdgeTy >::EdgeType = EdgeTy

private

Definition at line 294 of file SVFFileSystem.h.

GraphType

template<typename NodeTy , typename EdgeTy >

using SVF::GenericGraphWriter< NodeTy, EdgeTy >::GraphType = GenericGraph<NodeType, EdgeType>

private

Definition at line 295 of file SVFFileSystem.h.

NodeType

template<typename NodeTy , typename EdgeTy >

using SVF::GenericGraphWriter< NodeTy, EdgeTy >::NodeType = NodeTy

private

Definition at line 293 of file SVFFileSystem.h.

Constructor & Destructor Documentation

GenericGraphWriter()

template<typename NodeTy , typename EdgeTy >

SVF::GenericGraphWriter< NodeTy, EdgeTy >::GenericGraphWriter ( const GraphType *  graph )

inline

Definition at line 301 of file SVFFileSystem.h.

    {
        assert(graph && "Graph pointer should never be null");
        edgePool.reserve(graph->getTotalEdgeNum());
 
        for (const auto& pair : graph->IDToNodeMap)
        {
            const NodeType* node = pair.second;
 
            for (const EdgeType* edge : node->getOutEdges())
            {
                edgePool.saveID(edge);
            }
        }
    }

Member Function Documentation

getEdgeID()

template<typename NodeTy , typename EdgeTy >

size_t SVF::GenericGraphWriter< NodeTy, EdgeTy >::getEdgeID ( const EdgeType *  edge )

inline

Definition at line 317 of file SVFFileSystem.h.

    {
        return edgePool.getID(edge);
    }

Friends And Related Symbol Documentation

SVFIRWriter

template<typename NodeTy , typename EdgeTy >

friend class SVFIRWriter

friend

Definition at line 290 of file SVFFileSystem.h.

Member Data Documentation

edgePool

template<typename NodeTy , typename EdgeTy >

WriterPtrPool<EdgeType> SVF::GenericGraphWriter< NodeTy, EdgeTy >::edgePool

private

Definition at line 298 of file SVFFileSystem.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/Graphs/GenericGraph.h
• /home/runner/work/SVF/SVF/svf/include/SVFIR/SVFFileSystem.h