klee::ExecutionTraceEvent Class Reference

#include <ExecutionState.h>

Inheritance diagram for klee::ExecutionTraceEvent:

[legend]

List of all members.

Public Member Functions
	ExecutionTraceEvent ()
	ExecutionTraceEvent (ExecutionState &state, KInstruction *ki)
virtual	~ExecutionTraceEvent ()
void	print (std::ostream &os) const
virtual bool	ignoreMe () const
Public Attributes
std::string	file
unsigned	line
std::string	funcName
unsigned	stackDepth
unsigned	consecutiveCount
Private Member Functions
virtual void	printDetails (std::ostream &os) const =0

---

Detailed Description

Definition at line 177 of file ExecutionState.h.

---

Constructor & Destructor Documentation

klee::ExecutionTraceEvent::ExecutionTraceEvent

(

)

[inline]

Definition at line 188 of file ExecutionState.h.

ExecutionTraceEvent::ExecutionTraceEvent	(	ExecutionState &	state,
		KInstruction *	ki
	)

Definition at line 329 of file ExecutionState.cpp.

References klee::InstructionInfo::file, file, funcName, klee::KInstruction::info, klee::InstructionInfo::line, line, klee::ExecutionState::stack, and stackDepth.

virtual klee::ExecutionTraceEvent::~ExecutionTraceEvent

(

)

[inline, virtual]

Definition at line 194 of file ExecutionState.h.

---

Member Function Documentation

bool ExecutionTraceEvent::ignoreMe

(

)

const [virtual]

Definition at line 339 of file ExecutionState.cpp.

References file.

Referenced by klee::ExecutionTraceManager::addEvent().

Here is the caller graph for this function:

void ExecutionTraceEvent::print

(

std::ostream &

os

)

const

Definition at line 348 of file ExecutionState.cpp.

References consecutiveCount, file, funcName, line, printDetails(), and stackDepth.

Here is the call graph for this function:

virtual void klee::ExecutionTraceEvent::printDetails

(

std::ostream &

os

)

const [private, pure virtual]

Implemented in klee::FunctionCallTraceEvent, klee::FunctionReturnTraceEvent, and klee::BranchTraceEvent.

Referenced by print().

Here is the caller graph for this function:

---

Member Data Documentation

unsigned klee::ExecutionTraceEvent::consecutiveCount

Definition at line 185 of file ExecutionState.h.

Referenced by klee::ExecutionTraceManager::addEvent(), and print().

std::string klee::ExecutionTraceEvent::file

Definition at line 180 of file ExecutionState.h.

Referenced by ExecutionTraceEvent(), ExecutionTraceEventEquals(), ignoreMe(), and print().

std::string klee::ExecutionTraceEvent::funcName

Definition at line 182 of file ExecutionState.h.

Referenced by klee::ExecutionTraceManager::addEvent(), ExecutionTraceEvent(), ExecutionTraceEventEquals(), and print().

unsigned klee::ExecutionTraceEvent::line

Definition at line 181 of file ExecutionState.h.

Referenced by ExecutionTraceEvent(), ExecutionTraceEventEquals(), and print().

unsigned klee::ExecutionTraceEvent::stackDepth

Definition at line 183 of file ExecutionState.h.

Referenced by ExecutionTraceEvent(), and print().

---

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

• include/klee/ExecutionState.h
• lib/Core/ExecutionState.cpp