splice_call.cpp File Reference
Prepend a nullary call to another function useful for context/ environment setting in arbitrary nodes. More...
#include "splice_call.h"#include <util/message.h>#include <util/namespace.h>#include <util/string_utils.h>#include <util/symbol.h>#include <goto-programs/goto_functions.h>
Include dependency graph for splice_call.cpp: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_table_baset &symbol_table, message_handlert &message_handler) |
Detailed Description
Prepend a nullary call to another function useful for context/ environment setting in arbitrary nodes.
Definition in file splice_call.cpp.
Function Documentation
◆ parse_caller_callee()
|
static |
Definition at line 27 of file splice_call.cpp.
◆ splice_call()
| bool splice_call | ( | goto_functionst & | goto_functions, |
| const std::string & | callercallee, | ||
| const symbol_table_baset & | symbol_table, | ||
| message_handlert & | message_handler | ||
| ) |
Definition at line 35 of file splice_call.cpp.
