parameter_assignmentst Class Reference

Collaboration diagram for parameter_assignmentst:

Public Member Functions
	parameter_assignmentst (symbol_tablet &_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_tablet &	symbol_table

Detailed Description

Definition at line 21 of file parameter_assignments.cpp.

Constructor & Destructor Documentation

parameter_assignmentst()

parameter_assignmentst::parameter_assignmentst ( symbol_tablet &  _symbol_table )

inlineexplicit

Definition at line 24 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 40 of file parameter_assignments.cpp.

operator()()

void parameter_assignmentst::operator()

(

goto_functionst &

goto_functions

)

Definition at line 86 of file parameter_assignments.cpp.

Member Data Documentation

symbol_table

symbol_tablet& parameter_assignmentst::symbol_table

protected

Definition at line 33 of file parameter_assignments.cpp.

---

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

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