#include <contracts_wrangler.h>
Definition at line 60 of file contracts_wrangler.h.
◆ contracts_wranglert()
contracts_wranglert::contracts_wranglert |
( |
goto_modelt & | goto_model, |
|
|
const std::string & | file_name, |
|
|
message_handlert & | message_handler ) |
◆ add_builtin_pointer_function_symbol()
void contracts_wranglert::add_builtin_pointer_function_symbol |
( |
std::string | function_name, |
|
|
const std::size_t | num_of_args ) |
|
protected |
Add builtin function symbol with function_name
into symbol table.
- Parameters
-
function_name | Name of the function to add. |
num_of_args | Number of arguments of the added symbol. |
Definition at line 80 of file contracts_wrangler.cpp.
◆ configure_functions()
void contracts_wranglert::configure_functions |
( |
const jsont & | config | ) |
|
|
protected |
◆ mangle()
Mangle loop_contracts
in the function with function_id
- Parameters
-
loop_contracts | The contracts mangled in the function. |
function_id | The function containing the loop we mangle to. |
Definition at line 100 of file contracts_wrangler.cpp.
◆ functions
◆ goto_functions
◆ goto_model
◆ message_handler
◆ ns
◆ symbol_table
The documentation for this class was generated from the following files: