klee::FunctionCallTraceEvent Class Reference

#include <ExecutionState.h>

Inheritance diagram for klee::FunctionCallTraceEvent:

[legend]

Collaboration diagram for klee::FunctionCallTraceEvent:

[legend]

List of all members.

Public Member Functions
	FunctionCallTraceEvent (ExecutionState &state, KInstruction *ki, const std::string &_calleeFuncName)
Public Attributes
std::string	calleeFuncName
Private Member Functions
virtual void	printDetails (std::ostream &os) const

---

Detailed Description

Definition at line 207 of file ExecutionState.h.

---

Constructor & Destructor Documentation

klee::FunctionCallTraceEvent::FunctionCallTraceEvent	(	ExecutionState &	state,
		KInstruction *	ki,
		const std::string &	_calleeFuncName
	)			[inline]

Definition at line 211 of file ExecutionState.h.

---

Member Function Documentation

virtual void klee::FunctionCallTraceEvent::printDetails

(

std::ostream &

os

)

const [inline, private, virtual]

Implements klee::ExecutionTraceEvent.

Definition at line 216 of file ExecutionState.h.

References calleeFuncName.

---

Member Data Documentation

std::string klee::FunctionCallTraceEvent::calleeFuncName

Definition at line 209 of file ExecutionState.h.

Referenced by printDetails().

---

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

• include/klee/ExecutionState.h