cprover
|
Remove Java New Operators. More...
#include <util/symbol_table.h>
#include <goto-programs/goto_functions.h>
#include <goto-programs/goto_model.h>
Go to the source code of this file.
Functions | |
void | remove_java_new (goto_programt::targett target, goto_programt &goto_program, symbol_table_baset &symbol_table, message_handlert &_message_handler) |
Replace every java_new or java_new_array by a malloc side-effect and zero initialization. More... | |
void | remove_java_new (goto_functionst::goto_functiont &function, symbol_table_baset &symbol_table, message_handlert &_message_handler) |
Replace every java_new or java_new_array by a malloc side-effect and zero initialization. More... | |
void | remove_java_new (goto_functionst &goto_functions, symbol_table_baset &symbol_table, message_handlert &_message_handler) |
Replace every java_new or java_new_array by a malloc side-effect and zero initialization. More... | |
void | remove_java_new (goto_modelt &model, message_handlert &_message_handler) |
Replace every java_new or java_new_array by a malloc side-effect and zero initialization. More... | |
Remove Java New Operators.
Definition in file remove_java_new.h.
void remove_java_new | ( | goto_programt::targett | target, |
goto_programt & | goto_program, | ||
symbol_table_baset & | symbol_table, | ||
message_handlert & | message_handler | ||
) |
Replace every java_new or java_new_array by a malloc side-effect and zero initialization.
target | The instruction to work on. |
goto_program | The function body containing the instruction. |
symbol_table | The symbol table to add symbols to. |
message_handler | a message handler |
Definition at line 383 of file remove_java_new.cpp.
References goto_program, remove_java_newt::lower_java_new(), and message_handler.
Referenced by jbmc_parse_optionst::process_goto_function(), and remove_java_new().
void remove_java_new | ( | goto_functionst::goto_functiont & | function, |
symbol_table_baset & | symbol_table, | ||
message_handlert & | message_handler | ||
) |
Replace every java_new or java_new_array by a malloc side-effect and zero initialization.
function | The function to work on. |
symbol_table | The symbol table to add symbols to. |
message_handler | a message handler |
Definition at line 399 of file remove_java_new.cpp.
References remove_java_newt::lower_java_new(), and message_handler.
void remove_java_new | ( | goto_functionst & | goto_functions, |
symbol_table_baset & | symbol_table, | ||
message_handlert & | message_handler | ||
) |
Replace every java_new or java_new_array by a malloc side-effect and zero initialization.
goto_functions | The functions to work on. |
symbol_table | The symbol table to add symbols to. |
message_handler | a message handler |
Definition at line 414 of file remove_java_new.cpp.
References goto_functionst::compute_location_numbers(), goto_functionst::function_map, remove_java_newt::lower_java_new(), and message_handler.
void remove_java_new | ( | goto_modelt & | goto_model, |
message_handlert & | message_handler | ||
) |
Replace every java_new or java_new_array by a malloc side-effect and zero initialization.
goto_model | The functions to work on and the symbol table to add symbols to. |
message_handler | a message handler |
Definition at line 433 of file remove_java_new.cpp.
References goto_modelt::goto_functions, message_handler, remove_java_new(), and goto_modelt::symbol_table.