link_to_library.cpp File Reference

#include "link_to_library.h"
#include "compute_called_functions.h"
#include "goto_convert_functions.h"
#include "goto_model.h"

Include dependency graph for link_to_library.cpp:

Go to the source code of this file.

Functions
void	link_to_library (goto_modelt &goto_model, message_handlert &message_handler, const std::function< void(const std::set< irep_idt > &, symbol_tablet &, message_handlert &)> &library)
	Complete missing function definitions using the library. More...

Detailed Description

Library Linking

Definition in file link_to_library.cpp.

Function Documentation

link_to_library()

void link_to_library	(	goto_modelt &	goto_model,
		message_handlert &	message_handler,
		const std::function< void(const std::set< irep_idt > &, symbol_tablet &, message_handlert &)> &	library
	)

Complete missing function definitions using the library.

Parameters

goto_model	goto model that may contain function calls and symbols with missing function bodies
message_handler	message handler to report library processing problems
library	generator function that produces function definitions for a given set of symbol names that have no body.

Definition at line 25 of file link_to_library.cpp.