CBMC
|
Protected Member Functions | |
void | generate_function_body_impl (goto_functiont &function, symbol_tablet &symbol_table, const irep_idt &function_name) const override |
Produce a body for the passed function At this point the body of function is always empty, and all function parameters have identifiers. More... | |
Additional Inherited Members | |
Public Member Functions inherited from generate_function_bodiest | |
virtual | ~generate_function_bodiest ()=default |
void | generate_function_body (goto_functiont &function, symbol_tablet &symbol_table, const irep_idt &function_name) const |
Replace the function body with one based on the replace_function_body class being used. More... | |
Definition at line 85 of file generate_function_bodies.cpp.
|
inlineoverrideprotectedvirtual |
Produce a body for the passed function At this point the body of function is always empty, and all function parameters have identifiers.
function | whose body to generate |
symbol_table | of the current goto program |
function_name | Identifier of function |
Implements generate_function_bodiest.
Definition at line 88 of file generate_function_bodies.cpp.