splice_call.cpp File Reference

#include "splice_call.h"
#include <util/message.h>
#include <util/string_utils.h>
#include <util/symbol_table.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_tablet &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 bool parse_caller_callee ( const std::string &  callercallee, std::vector< std::string > &  result  )

static

Definition at line 26 of file splice_call.cpp.

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 34 of file splice_call.cpp.