Collaboration diagram for remove_virtual_functionst:

Public Member Functions
	remove_virtual_functionst (symbol_table_baset &_symbol_table, const class_hierarchyt &_class_hierarchy)

void	operator() (goto_functionst &functions)
	Remove virtual function calls from all functions in the specified list and replace them with their most derived implementations. More...

bool	remove_virtual_functions (const irep_idt &function_id, goto_programt &goto_program)
	Remove all virtual function calls in a GOTO program and replace them with calls to their most derived implementations. More...

Private Member Functions
goto_programt::targett	remove_virtual_function (const irep_idt &function_id, goto_programt &goto_program, goto_programt::targett target)
	Replace specified virtual function call with a static call to its most derived implementation. More...

Detailed Description

Constructor & Destructor Documentation

remove_virtual_functionst::remove_virtual_functionst	(	symbol_table_baset &	_symbol_table,
		const class_hierarchyt &	_class_hierarchy
	)

inline

void remove_virtual_functionst::operator() ( goto_functionst & functions )

Remove virtual function calls from all functions in the specified list and replace them with their most derived implementations.

goto_programt::targett remove_virtual_functionst::remove_virtual_function	(	const irep_idt &	function_id,
		goto_programt &	goto_program,
		goto_programt::targett	target
	)

private

Replace specified virtual function call with a static call to its most derived implementation.

Parameters

	function_id	The identifier of the function we are currently analysing
[in,out]	goto_program	GOTO program to modify
	target	iterator to a function in the supplied GOTO program to replace. Must point to a virtual function call.