remove_virtual_functions.cpp File Reference

Remove Virtual Function (Method) Calls. More...

#include "remove_virtual_functions.h"
#include "class_hierarchy.h"
#include "class_identifier.h"
#include <util/c_types.h>
#include <util/prefix.h>
#include <util/type_eq.h>

Include dependency graph for remove_virtual_functions.cpp:

Go to the source code of this file.

Classes
class	remove_virtual_functionst
class	remove_virtual_functionst::functiont

Functions
void	remove_virtual_functions (const symbol_tablet &symbol_table, goto_functionst &goto_functions)
void	remove_virtual_functions (goto_modelt &goto_model)

Detailed Description

Remove Virtual Function (Method) Calls.

Definition in file remove_virtual_functions.cpp.

Function Documentation

remove_virtual_functions() [1/2]

void remove_virtual_functions	(	const symbol_tablet &	symbol_table,
		goto_functionst &	goto_functions
	)

Definition at line 364 of file remove_virtual_functions.cpp.

Referenced by goto_instrument_parse_optionst::do_indirect_call_and_rtti_removal(), symex_parse_optionst::process_goto_program(), goto_analyzer_parse_optionst::process_goto_program(), cbmc_parse_optionst::process_goto_program(), and remove_virtual_functions().

remove_virtual_functions() [2/2]

void remove_virtual_functions

(

goto_modelt &

goto_model

)

Definition at line 374 of file remove_virtual_functions.cpp.

References goto_modelt::goto_functions, remove_virtual_functions(), and goto_modelt::symbol_table.