#include <SVFFileSystem.h>
|
template<typename NodeCreator , typename EdgeCreator , typename SVFLoopCreator > |
void | createObjs (const cJSON *icfgJson, NodeCreator nodeCreator, EdgeCreator edgeCreator, SVFLoopCreator svfLoopCreator) |
|
SVFLoop * | getSVFLoopPtr (size_t id) const |
|
template<typename NodeFiller , typename EdgeFiller , typename LoopFiller > |
void | fillObjs (NodeFiller nodeFiller, EdgeFiller edgeFiller, LoopFiller loopFiller) |
|
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 |
|
Definition at line 935 of file SVFFileSystem.h.
◆ createObjs()
template<typename NodeCreator , typename EdgeCreator , typename SVFLoopCreator >
void SVF::ICFGReader::createObjs |
( |
const cJSON * |
icfgJson, |
|
|
NodeCreator |
nodeCreator, |
|
|
EdgeCreator |
edgeCreator, |
|
|
SVFLoopCreator |
svfLoopCreator |
|
) |
| |
|
inline |
Definition at line 944 of file SVFFileSystem.h.
#define CHECK_JSON_KEY(obj)
const cJSON * graphFieldJson
void createObjs(const cJSON *graphJson, NodeCreator nodeCreator, EdgeCreator edgeCreator)
ReaderPtrPool< SVFLoop > svfLoopPool
◆ fillObjs()
template<typename NodeFiller , typename EdgeFiller , typename LoopFiller >
void SVF::ICFGReader::fillObjs |
( |
NodeFiller |
nodeFiller, |
|
|
EdgeFiller |
edgeFiller, |
|
|
LoopFiller |
loopFiller |
|
) |
| |
|
inline |
Definition at line 961 of file SVFFileSystem.h.
void fillObjs(NodeFiller nodeFiller, EdgeFiller edgeFiller)
◆ getSVFLoopPtr()
SVFLoop* SVF::ICFGReader::getSVFLoopPtr |
( |
size_t |
id | ) |
const |
|
inline |
◆ svfLoopPool
The documentation for this class was generated from the following file: