Add namespace-utils to utils Makefile

Author: smowton

src/util/Makefile

@@ -22,7 +22,7 @@ SRC = arith_tools.cpp base_type.cpp cmdline.cpp config.cpp symbol_table.cpp \
       irep_ids.cpp byte_operators.cpp string2int.cpp file_util.cpp \
       memory_info.cpp pipe_stream.cpp irep_hash.cpp endianness_map.cpp \
       ssa_expr.cpp json_irep.cpp json_expr.cpp \
-      string_utils.cpp parameter_indices.cpp
+      string_utils.cpp parameter_indices.cpp namespace_utils.cpp
 
 INCLUDES= -I ..
 

src/util/namespace_utils.h

@@ -25,23 +25,23 @@ class namespace_utils_baset
   virtual ~namespace_utils_baset()
   {
   }
- 
+
   const symbolt &lookup(const irep_idt &name) const
   {
     const symbolt *symbol;
     if(lookup(name, symbol))
       throw "identifier "+id2string(name)+" not found";
     return *symbol;
   }
-   
+
   const symbolt &lookup(const symbol_exprt &symbol_expr) const
   {
     const symbolt *symbol;
     if(lookup(symbol_expr.get_identifier(), symbol))
       throw "identifier "+id2string(symbol_expr.get_identifier())+" not found";
     return *symbol;
   }
-   
+
   bool lookup(const irep_idt &name, const symbolt *&symbol) const
   {
     return ns().lookup(name, symbol);
@@ -67,7 +67,7 @@ class namespace_utils_baset
   {
     ::base_type(type, ns());
   }
-   
+
   void base_type(exprt &expr)
   {
     ::base_type(expr, ns());
@@ -77,14 +77,14 @@ class namespace_utils_baset
 
 private:
   bool does_symbol_match(
-    const exprt& lvalue,
+    const exprt &lvalue,
     std::function<bool(symbolt)> predicate) const;
 
 public:
-  bool is_parameter(const exprt& lvalue) const;
-  bool is_static(const exprt& lvalue) const;
-  bool is_auxiliary_variable(const exprt& lvalue) const;
-  bool is_return_value_auxiliary(const exprt& lvalue) const;
+  bool is_parameter(const exprt &lvalue) const;
+  bool is_static(const exprt &lvalue) const;
+  bool is_auxiliary_variable(const exprt &lvalue) const;
+  bool is_return_value_auxiliary(const exprt &lvalue) const;
 
   bool type_eq(const typet &type1, const typet &type2)
   {
@@ -99,12 +99,12 @@ class namespace_utils_baset
  protected:
   virtual const namespacet &ns() const=0;
 };
- 
+
 class namespace_utilst:public virtual namespace_utils_baset
 {
  public:
   namespace_utilst(const namespacet &_ns):__ns(_ns){}
-  
+
  protected:
   const namespacet &__ns;
 
@@ -113,5 +113,5 @@ class namespace_utilst:public virtual namespace_utils_baset
     return __ns;
   }
 };
- 
+
 #endif