parameter_assignmentst Class Reference

Collaboration diagram for parameter_assignmentst:

Public Member Functions
	parameter_assignmentst (symbol_table_baset &_symbol_table)
void	operator() (goto_functionst &goto_functions)

Protected Member Functions
void	do_function_calls (goto_programt &goto_program)
	turns x=f(...) into f(...); lhs=f::return_value; More...

Protected Attributes
symbol_table_baset &	symbol_table

Detailed Description

Definition at line 20 of file parameter_assignments.cpp.

Constructor & Destructor Documentation

parameter_assignmentst()

parameter_assignmentst::parameter_assignmentst ( symbol_table_baset &  _symbol_table )

inlineexplicit

Definition at line 23 of file parameter_assignments.cpp.

Member Function Documentation

do_function_calls()

void parameter_assignmentst::do_function_calls ( goto_programt &  goto_program )

protected

turns x=f(...) into f(...); lhs=f::return_value;

Definition at line 39 of file parameter_assignments.cpp.

operator()()

void parameter_assignmentst::operator()

(

goto_functionst &

goto_functions

)

Definition at line 85 of file parameter_assignments.cpp.

Member Data Documentation

symbol_table

symbol_table_baset& parameter_assignmentst::symbol_table

protected

Definition at line 32 of file parameter_assignments.cpp.

---

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

• /home/runner/work/cbmc/cbmc/src/goto-programs/parameter_assignments.cpp