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); }