link_to_library.h File Reference

Library Linking. More...

#include <util/irep.h>
#include <functional>
#include <set>

Include dependency graph for link_to_library.h:

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

Go to the source code of this file.

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

Detailed Description

Library Linking.

Definition in file link_to_library.h.

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 > &, const symbol_tablet &, 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 (in the symbol table that is the third parameter) for a given set of symbol names (first parameter) that have no body in the source symbol table (second parameter).

Definition at line 109 of file link_to_library.cpp.