Remove shadowing parameter ns

At all call sites, ns referred to the class member of the same name, there is no
need to pass it around.

Author: tautschnig

src/linking/linking.cpp

@@ -40,15 +40,13 @@ bool casting_replace_symbolt::replace_symbol_expr(symbol_exprt &s) const
 }
 
 std::string linkingt::expr_to_string(
-  const namespacet &ns,
   const irep_idt &identifier,
   const exprt &expr) const
 {
   return from_expr(ns, identifier, expr);
 }
 
 std::string linkingt::type_to_string(
-  const namespacet &ns,
   const irep_idt &identifier,
   const typet &type) const
 {
@@ -72,7 +70,6 @@ static const typet &follow_tags_symbols(
 }
 
 std::string linkingt::type_to_string_verbose(
-  const namespacet &ns,
   const symbolt &symbol,
   const typet &type) const
 {
@@ -91,7 +88,7 @@ std::string linkingt::type_to_string_verbose(
     {
       const typet &subtype = c.type();
       result+="  ";
-      result+=type_to_string(ns, symbol.name, subtype);
+      result+=type_to_string(symbol.name, subtype);
       result+=' ';
 
       if(!c.get_base_name().empty())
@@ -108,15 +105,15 @@ std::string linkingt::type_to_string_verbose(
   }
   else if(followed.id()==ID_pointer)
   {
-    return type_to_string_verbose(ns, symbol, followed.subtype())+" *";
+    return type_to_string_verbose(symbol, followed.subtype())+" *";
   }
   else if(followed.id()==ID_incomplete_struct ||
           followed.id()==ID_incomplete_union)
   {
-    return type_to_string(ns, symbol.name, type)+"   (incomplete)";
+    return type_to_string(symbol.name, type)+"   (incomplete)";
   }
 
-  return type_to_string(ns, symbol.name, type);
+  return type_to_string(symbol.name, type);
 }
 
 void linkingt::detailed_conflict_report_rec(
@@ -256,8 +253,8 @@ void linkingt::detailed_conflict_report_rec(
     if(t1.subtype()!=t2.subtype())
     {
       msg="enum value types are different (";
-      msg+=type_to_string(ns, old_symbol.name, t1.subtype())+'/';
-      msg+=type_to_string(ns, new_symbol.name, t2.subtype())+')';
+      msg+=type_to_string(old_symbol.name, t1.subtype())+'/';
+      msg+=type_to_string(new_symbol.name, t2.subtype())+')';
     }
     else if(members1.size()!=members2.size())
     {
@@ -360,12 +357,12 @@ void linkingt::detailed_conflict_report_rec(
   {
     error() << '\n';
     error() << "reason for conflict at "
-            << expr_to_string(ns, "", conflict_path)
+            << expr_to_string("", conflict_path)
             << ": " << msg << '\n';
 
     error() << '\n';
-    error() << type_to_string_verbose(ns, old_symbol, t1) << '\n';
-    error() << type_to_string_verbose(ns, new_symbol, t2) << '\n';
+    error() << type_to_string_verbose(old_symbol, t1) << '\n';
+    error() << type_to_string_verbose(new_symbol, t2) << '\n';
   }
 
   #ifdef DEBUG
@@ -385,10 +382,10 @@ void linkingt::link_error(
           << "'" << '\n';
   error() << "old definition in module `" << old_symbol.module
           << "' " << old_symbol.location << '\n'
-          << type_to_string_verbose(ns, old_symbol) << '\n';
+          << type_to_string_verbose(old_symbol) << '\n';
   error() << "new definition in module `" << new_symbol.module
           << "' " << new_symbol.location << '\n'
-          << type_to_string_verbose(ns, new_symbol) << eom;
+          << type_to_string_verbose(new_symbol) << eom;
 }
 
 void linkingt::link_warning(
@@ -403,10 +400,10 @@ void linkingt::link_warning(
             << "\"" << '\n';
   warning() << "old definition in module " << old_symbol.module
             << " " << old_symbol.location << '\n'
-            << type_to_string_verbose(ns, old_symbol) << '\n';
+            << type_to_string_verbose(old_symbol) << '\n';
   warning() << "new definition in module " << new_symbol.module
             << " " << new_symbol.location << '\n'
-            << type_to_string_verbose(ns, new_symbol) << eom;
+            << type_to_string_verbose(new_symbol) << eom;
 }
 
 irep_idt linkingt::rename(const irep_idt id)
@@ -1043,12 +1040,12 @@ void linkingt::duplicate_object_symbol(
         warning() << "using old value in module "
                   << old_symbol.module << " "
                   << old_symbol.value.find_source_location() << '\n'
-                  << expr_to_string(ns, old_symbol.name, tmp_old)
+                  << expr_to_string(old_symbol.name, tmp_old)
                   << '\n';
         warning() << "ignoring new value in module "
                   << new_symbol.module << " "
                   << new_symbol.value.find_source_location() << '\n'
-                  << expr_to_string(ns, new_symbol.name, tmp_new)
+                  << expr_to_string(new_symbol.name, tmp_new)
                   << eom;
       }
     }

src/linking/linking_class.h

@@ -112,25 +112,21 @@ class linkingt:public typecheckt
     const symbolt &new_symbol);
 
   std::string expr_to_string(
-    const namespacet &ns,
     const irep_idt &identifier,
     const exprt &expr) const;
 
   std::string type_to_string(
-    const namespacet &ns,
     const irep_idt &identifier,
     const typet &type) const;
 
   std::string type_to_string_verbose(
-    const namespacet &ns,
     const symbolt &symbol,
     const typet &type) const;
 
   std::string type_to_string_verbose(
-    const namespacet &ns,
     const symbolt &symbol) const
   {
-    return type_to_string_verbose(ns, symbol, symbol.type);
+    return type_to_string_verbose(symbol, symbol.type);
   }
 
   void detailed_conflict_report_rec(