CBMC
Public Member Functions | Public Attributes | List of all members
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 173 of file call_stack_history.cpp.

◆ operator==()

bool call_stack_historyt::call_stack_entryt::operator== ( const call_stack_entryt &  op) const

Definition at line 216 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: