VisualScript::~VisualScript() {
while(!functions.empty()) {
remove_function(functions.front()->key());
}
}
/// Remove the body of all functions listed in "names" such that an analysis
/// will treat it as a side-effect free function with non-deterministic return
/// value.
/// \par parameters: symbol_table Input symbol table to be modified
/// goto_functions Input functions to be modified
/// names List of functions to be removed
/// message_handler Error/status output
void remove_functions(
symbol_tablet &symbol_table,
goto_functionst &goto_functions,
const std::list<std::string> &names,
message_handlert &message_handler)
{
for(const auto &f : names)
remove_function(symbol_table, goto_functions, f, message_handler);
}
