Static Value-Flow Analysis
|
#include <SVFFileSystem.h>
Public Member Functions | |
template<typename NodeCreator , typename EdgeCreator > | |
void | createObjs (const cJSON *graphJson, NodeCreator nodeCreator, EdgeCreator edgeCreator) |
NodeTy * | getNodePtr (unsigned id) const |
EdgeTy * | getEdgePtr (unsigned id) const |
template<typename NodeFiller , typename EdgeFiller > | |
void | fillObjs (NodeFiller nodeFiller, EdgeFiller edgeFiller) |
void | saveToGenericGraph (GenericGraph< NodeTy, EdgeTy > *graph) const |
const cJSON * | getFieldJson () const |
Protected Attributes | |
const cJSON * | graphFieldJson = nullptr |
Private Attributes | |
ReaderIDToObjMap< NodeTy > | idToNodeMap |
ReaderPtrPool< EdgeTy > | edgePool |
Definition at line 821 of file SVFFileSystem.h.
|
inline |
Definition at line 832 of file SVFFileSystem.h.
|
inline |
Definition at line 875 of file SVFFileSystem.h.
|
inline |
Definition at line 869 of file SVFFileSystem.h.
|
inline |
Definition at line 892 of file SVFFileSystem.h.
|
inline |
Definition at line 864 of file SVFFileSystem.h.
|
inline |
Definition at line 885 of file SVFFileSystem.h.
|
private |
Definition at line 825 of file SVFFileSystem.h.
|
protected |
Definition at line 828 of file SVFFileSystem.h.
|
private |
Definition at line 824 of file SVFFileSystem.h.