28 std::vector<std::string> &result)
31 return result.size() != 2;
45 message.
error() <<
"Expecting two function names separated by a comma"
49 goto_functionst::function_mapt::iterator
caller_fun=
51 goto_functionst::function_mapt::const_iterator
callee_fun=
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
codet representation of a function call statement.
A collection of goto functions.
function_mapt function_map
instructionst::const_iterator const_targett
static instructiont make_function_call(const code_function_callt &_code, const source_locationt &l=source_locationt::nil())
Create a function call instruction.
Class that provides messages with a built-in verbosity 'level'.
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
bool lookup(const irep_idt &name, const symbolt *&symbol) const override
See documentation for namespace_baset::lookup().
Goto Programs with 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)
Harnessing for goto functions.
void split_string(const std::string &s, char delim, std::vector< std::string > &result, bool strip, bool remove_empty)