klee::CallPathNode Class Reference

#include <CallPathManager.h>

Collaboration diagram for klee::CallPathNode:

[legend]

List of all members.

Public Types
typedef std::map< std::pair < llvm::Instruction *, llvm::Function * > , CallPathNode * >	children_ty
Public Member Functions
	CallPathNode (CallPathNode *parent, llvm::Instruction *callSite, llvm::Function *function)
void	print ()
Public Attributes
CallPathNode *	parent
llvm::Instruction *	callSite
llvm::Function *	function
children_ty	children
StatisticRecord	statistics
StatisticRecord	summaryStatistics
unsigned	count
Friends
class	CallPathManager

---

Detailed Description

Definition at line 37 of file CallPathManager.h.

---

Member Typedef Documentation

typedef std::map<std::pair<llvm::Instruction*, llvm::Function*>, CallPathNode*> klee::CallPathNode::children_ty

Definition at line 42 of file CallPathManager.h.

---

Constructor & Destructor Documentation

klee::CallPathNode::CallPathNode	(	CallPathNode *	parent,
		llvm::Instruction *	callSite,
		llvm::Function *	function
	)

---

Member Function Documentation

void CallPathNode::print

(

)

Definition at line 33 of file CallPathManager.cpp.

References callSite, count, function, parent, and print().

Referenced by print().

Here is the call graph for this function:

Here is the caller graph for this function:

---

Friends And Related Function Documentation

friend class CallPathManager [friend]

Definition at line 38 of file CallPathManager.h.

---

Member Data Documentation

llvm::Instruction* klee::CallPathNode::callSite

Definition at line 46 of file CallPathManager.h.

Referenced by klee::CallPathManager::getSummaryStatistics(), and print().

children_ty klee::CallPathNode::children

Definition at line 48 of file CallPathManager.h.

unsigned klee::CallPathNode::count

Definition at line 52 of file CallPathManager.h.

Referenced by klee::StatsTracker::framePushed(), klee::CallPathManager::getSummaryStatistics(), and print().

llvm::Function* klee::CallPathNode::function

Definition at line 47 of file CallPathManager.h.

Referenced by klee::CallPathManager::getSummaryStatistics(), and print().

CallPathNode* klee::CallPathNode::parent

Definition at line 45 of file CallPathManager.h.

Referenced by klee::CallPathManager::getSummaryStatistics(), and print().

StatisticRecord klee::CallPathNode::statistics

Definition at line 50 of file CallPathManager.h.

Referenced by klee::Executor::fork(), klee::WeightedRandomSearcher::getWeight(), klee::Executor::processTimers(), and klee::StatsTracker::stepInstruction().

StatisticRecord klee::CallPathNode::summaryStatistics

Definition at line 51 of file CallPathManager.h.

Referenced by klee::CallPathManager::getSummaryStatistics().

---

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

• lib/Core/CallPathManager.h
• lib/Core/CallPathManager.cpp