call_stack_historyt::call_stack_entryt Class Reference

#include <call_stack_history.h>

Collaboration diagram for call_stack_historyt::call_stack_entryt:

Public Member Functions
	call_stack_entryt (locationt l, cse_ptrt p)
bool	operator< (const call_stack_entryt &op) const
bool	operator== (const call_stack_entryt &op) const

Public Attributes
locationt	current_location
cse_ptrt	caller

Detailed Description

Definition at line 25 of file call_stack_history.h.

Constructor & Destructor Documentation

call_stack_entryt()

call_stack_historyt::call_stack_entryt::call_stack_entryt ( locationt  l, cse_ptrt  p  )

inline

Definition at line 31 of file call_stack_history.h.

Member Function Documentation

operator<()

bool call_stack_historyt::call_stack_entryt::operator<

(

const call_stack_entryt &

op

)

const

Definition at line 174 of file call_stack_history.cpp.

operator==()

bool call_stack_historyt::call_stack_entryt::operator==

(

const call_stack_entryt &

op

)

const

Definition at line 217 of file call_stack_history.cpp.

Member Data Documentation

caller

cse_ptrt call_stack_historyt::call_stack_entryt::caller

Definition at line 29 of file call_stack_history.h.

current_location

locationt call_stack_historyt::call_stack_entryt::current_location

Definition at line 28 of file call_stack_history.h.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/analyses/call_stack_history.h
• /home/runner/work/cbmc-documentation/cbmc-documentation/src/analyses/call_stack_history.cpp