cprover
Loading...
Searching...
No Matches
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;

Protected Attributes

symbol_table_basetsymbol_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: