cprover
|
Prepend a nullary call to another function. More...
#include "splice_call.h"
#include <util/message.h>
#include <util/string2int.h>
#include <util/string_utils.h>
#include <langapi/language.h>
#include <goto-programs/goto_functions.h>
#include <algorithm>
Go to the source code of this file.
Functions | |
static bool | parse_caller_callee (const std::string &callercallee, std::vector< std::string > &result) |
bool | splice_call (goto_functionst &goto_functions, const std::string &callercallee, const symbol_tablet &symbol_table, message_handlert &message_handler) |
Prepend a nullary call to another function.
Definition in file splice_call.cpp.
|
static |
Definition at line 30 of file splice_call.cpp.
References split_string().
Referenced by splice_call().
bool splice_call | ( | goto_functionst & | goto_functions, |
const std::string & | callercallee, | ||
const symbol_tablet & | symbol_table, | ||
message_handlert & | message_handler | ||
) |
Definition at line 38 of file splice_call.cpp.
References messaget::eom(), messaget::error(), goto_functionst::function_map, namespacet::lookup(), message_handler, parse_caller_callee(), splice_call(), to_code_function_call(), and goto_functionst::update().
Referenced by goto_instrument_parse_optionst::instrument_goto_program(), and splice_call().