cprover
remove_returnst Class Reference
Collaboration diagram for remove_returnst:
[legend]

Public Member Functions

 remove_returnst (symbol_tablet &_symbol_table)
 
void operator() (goto_functionst &goto_functions)
 
void restore (goto_functionst &goto_functions)
 

Protected Member Functions

void replace_returns (goto_functionst::function_mapt::iterator f_it)
 turns 'return x' into an assignment to fkt::return_value More...
 
void do_function_calls (goto_functionst &goto_functions, goto_programt &goto_program)
 turns x=f(...) into f(...); lhs=f::return_value; More...
 
bool restore_returns (goto_functionst::function_mapt::iterator f_it)
 turns 'return x' into an assignment to fkt::return_value More...
 
void undo_function_calls (goto_functionst &goto_functions, goto_programt &goto_program)
 turns f(...); lhs=f::return_value; into x=f(...) More...
 

Protected Attributes

symbol_tabletsymbol_table
 

Detailed Description

Definition at line 19 of file remove_returns.cpp.

Constructor & Destructor Documentation

§ remove_returnst()

remove_returnst::remove_returnst ( symbol_tablet _symbol_table)
inlineexplicit

Definition at line 22 of file remove_returns.cpp.

References operator()(), and restore().

Member Function Documentation

§ do_function_calls()

§ operator()()

void remove_returnst::operator() ( goto_functionst goto_functions)

Definition at line 192 of file remove_returns.cpp.

References do_function_calls(), Forall_goto_functions, and replace_returns().

Referenced by remove_returnst().

§ replace_returns()

void remove_returnst::replace_returns ( goto_functionst::function_mapt::iterator  f_it)
protected

§ restore()

void remove_returnst::restore ( goto_functionst goto_functions)

§ restore_returns()

bool remove_returnst::restore_returns ( goto_functionst::function_mapt::iterator  f_it)
protected

§ undo_function_calls()

Member Data Documentation

§ symbol_table

symbol_tablet& remove_returnst::symbol_table
protected

Definition at line 34 of file remove_returns.cpp.

Referenced by replace_returns(), restore_returns(), and undo_function_calls().


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