◆ havoc_generate_function_bodiest() [1/2]
◆ havoc_generate_function_bodiest() [2/2]
havoc_generate_function_bodiest::havoc_generate_function_bodiest |
( |
std::vector< irep_idt > |
globals_to_havoc, |
|
|
std::vector< std::size_t > |
param_numbers_to_havoc, |
|
|
const c_object_factory_parameterst & |
object_factory_parameters, |
|
|
message_handlert & |
message_handler |
|
) |
| |
|
inline |
◆ generate_function_body_impl()
|
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 218 of file generate_function_bodies.cpp.
◆ havoc_expr_rec()
◆ should_havoc_param()
bool havoc_generate_function_bodiest::should_havoc_param |
( |
const std::string & |
param_name, |
|
|
std::size_t |
param_number |
|
) |
| const |
|
inlineprivate |
◆ globals_to_havoc
const std::vector<irep_idt> havoc_generate_function_bodiest::globals_to_havoc |
|
private |
◆ message
messaget havoc_generate_function_bodiest::message |
|
mutableprivate |
◆ object_factory_parameters
◆ param_numbers_to_havoc
std::optional<std::vector<std::size_t> > havoc_generate_function_bodiest::param_numbers_to_havoc |
|
private |
◆ parameters_to_havoc
std::optional<std::regex> havoc_generate_function_bodiest::parameters_to_havoc |
|
private |
The documentation for this class was generated from the following file: