Updates requested in PR - mainly rename of functions.

marek-trtik · marek-trtik · commit 40b8c0332c6a · 2018-02-09T11:35:18.000Z
diff --git a/src/goto-programs/remove_virtual_functions.cpp b/src/goto-programs/remove_virtual_functions.cpp
@@ -475,7 +475,7 @@ void remove_virtual_function(
     goto_program, instruction, dispatch_table, fallback_action);
 }
 
-void get_overridden_functions(
+void get_virtual_function_callees(
   const exprt &function,
   const symbol_tablet &symbol_table,
   const class_hierarchyt &class_hierarchy,
diff --git a/src/goto-programs/remove_virtual_functions.h b/src/goto-programs/remove_virtual_functions.h
@@ -73,7 +73,7 @@ void remove_virtual_function(
 /// \param class_hierarchy: A class hierarchy.
 /// \param [out] overridden_functions: Output collection into which all
 ///                                    overridden functions will be stored.
-void get_overridden_functions(
+void get_virtual_function_callees(
   const exprt &function,
   const symbol_tablet &symbol_table,
   const class_hierarchyt &class_hierarchy,

Original file line number	Diff line number	Diff line change
`@@ -475,7 +475,7 @@ void remove_virtual_function(`
`475`	`475`	`goto_program, instruction, dispatch_table, fallback_action);`
`476`	`476`	`}`
`477`	`477`
`478`		`-void get_overridden_functions(`
	`478`	`+void get_virtual_function_callees(`
`479`	`479`	`const exprt &function,`
`480`	`480`	`const symbol_tablet &symbol_table,`
`481`	`481`	`const class_hierarchyt &class_hierarchy,`