better name for adjust_method_type

Author: Daniel Kroening

src/cpp/cpp_declarator_converter.cpp

@@ -124,7 +124,7 @@ symbolt &cpp_declarator_convertert::convert(
     {
       // adjust type if it's a non-static member function
       if(final_type.id()==ID_code)
-        cpp_typecheck.adjust_method_type(
+        cpp_typecheck.add_this_to_method_type(
           scope->identifier, final_type, method_qualifier);
 
       get_final_identifier();

src/cpp/cpp_typecheck.h

@@ -405,7 +405,7 @@ class cpp_typecheckt:public c_typecheck_baset
     const typet &method_qualifier,
     exprt &value);
 
-  void adjust_method_type(
+  void add_this_to_method_type(
     const irep_idt &compound_identifier,
     typet &method_type,
     const typet &method_qualifier);

src/cpp/cpp_typecheck_compound_type.cpp

@@ -1396,7 +1396,7 @@ void cpp_typecheckt::typecheck_member_function(
   }
   else
   {
-    adjust_method_type(
+    add_this_to_method_type(
       compound_identifier,
       type,
       method_qualifier);
@@ -1458,7 +1458,7 @@ void cpp_typecheckt::typecheck_member_function(
 
 /*******************************************************************\
 
-Function: cpp_typecheckt::adjust_method_type
+Function: cpp_typecheckt::add_this_to_method_type
 
 Inputs:
 
@@ -1468,7 +1468,7 @@ Function: cpp_typecheckt::adjust_method_type
 
 \*******************************************************************/
 
-void cpp_typecheckt::adjust_method_type(
+void cpp_typecheckt::add_this_to_method_type(
   const irep_idt &compound_symbol,
   typet &type,
   const typet &method_qualifier)