CBMC
Loading...
Searching...
No Matches
Public Member Functions | List of all members
call_stackt Class Reference

#include <call_stack.h>

+ Inheritance diagram for call_stackt:
[フレーム]
[legend]
+ Collaboration diagram for call_stackt:
[フレーム]
[legend]

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:

AltStyle によって変換されたページ (->オリジナル) /