Loading...
Searching...
No Matches
assume_false_generate_function_bodiest Class Reference
+ Inheritance diagram for assume_false_generate_function_bodiest:
+ Collaboration diagram for assume_false_generate_function_bodiest:
Protected Member Functions
Produce a body for the passed function At this point the body of function is always empty, and all function parameters have identifiers.
Additional Inherited Members
Replace the function body with one based on the replace_function_body class being used.
Detailed Description
Member Function Documentation
◆ generate_function_body_impl()
void assume_false_generate_function_bodiest::generate_function_body_impl
(
goto_functiont &
function,
)
const
inlineoverrideprotectedvirtual
Produce a body for the passed function At this point the body of function is always empty, and all function parameters have identifiers.
- Parameters
-
function whose body to generate
symbol_table of the current goto program
function_name Identifier of function
Implements generate_function_bodiest.
Definition at line 71 of file generate_function_bodies.cpp.
The documentation for this class was generated from the following file:
