CBMC
Public Member Functions | List of all members
call_stackt Class Reference

#include <call_stack.h>

+ Inheritance diagram for call_stackt:
+ Collaboration diagram for call_stackt:

Public Member Functions

framet & top ()
 
const framet & top () const
 
framet & new_frame (symex_targett::sourcet calling_location, const guardt &guard)
 
void pop ()
 
const framet & previous_frame ()
 

Detailed Description

Definition at line 14 of file call_stack.h.

Member Function Documentation

◆ new_frame()

framet& call_stackt::new_frame ( symex_targett::sourcet  calling_location,
const guardt &  guard 
)
inline

Definition at line 30 of file call_stack.h.

◆ pop()

void call_stackt::pop ( )
inline

Definition at line 36 of file call_stack.h.

◆ previous_frame()

const framet& call_stackt::previous_frame ( )
inline

Definition at line 42 of file call_stack.h.

◆ top() [1/2]

framet& call_stackt::top ( )
inline

Definition at line 17 of file call_stack.h.

◆ top() [2/2]

const framet& call_stackt::top ( ) const
inline

Definition at line 23 of file call_stack.h.

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