cprover
Loading...
Searching...
No Matches
call_stackt Class Reference

#include <call_stack.h>

Inheritance diagram for call_stackt:
Collaboration diagram for call_stackt:

Public Member Functions

framettop ()
const framettop () const
frametnew_frame (symex_targett::sourcet calling_location, const guardt &guard)
void pop ()
const frametprevious_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: