splice_call.h File Reference

#include <string>

Include dependency graph for splice_call.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
bool	splice_call (goto_functionst &goto_functions, const std::string &callercallee, const symbol_tablet &symbol_table, message_handlert &message_handler)

Detailed Description

Harnessing for goto functions

Definition in file splice_call.h.

Function Documentation

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.