Verilog: parse tree now uses verilog_module_sourcet

This will enable removing verilog_modulet in favour of
verilog_module_sourcet.

Author: kroening

src/verilog/verilog_expr.cpp

@@ -30,3 +30,29 @@ bool function_call_exprt::is_system_function_call() const
          has_prefix(
            id2string(to_symbol_expr(function()).get_identifier()), "$");
 }
+
+void verilog_module_sourcet::show(std::ostream &out) const
+{
+  out << "Module: " << base_name() << '\n';
+
+  out << "  Parameters:\n";
+
+  for(auto &parameter : parameter_port_list())
+    out << "    " << parameter.pretty() << '\n';
+
+  out << '\n';
+
+  out << "  Ports:\n";
+
+  for(auto &port : ports())
+    out << "    " << port.pretty() << '\n';
+
+  out << '\n';
+
+  out << "  Module items:\n";
+
+  for(auto &item : module_items())
+    out << "    " << item.pretty() << '\n';
+
+  out << '\n';
+}

src/verilog/verilog_expr.h

@@ -1944,6 +1944,8 @@ class verilog_module_sourcet : public irept
   {
     return static_cast<source_locationt &>(add(ID_C_source_location));
   }
+
+  void show(std::ostream &) const;
 };
 
 inline const verilog_module_sourcet &to_verilog_module_source(const irept &irep)

src/verilog/verilog_language.cpp

@@ -134,10 +134,10 @@ void verilog_languaget::dependencies(
   if(it!=parse_tree.module_map.end())
   {
     // dependencies on other Verilog modules
-    
-    const verilog_modulet &module=(it->second)->verilog_module;
 
-    for(auto &identifier : submodules(module.to_irep()))
+    const auto &module = (it->second)->verilog_module;
+
+    for(auto &identifier : submodules(module))
       module_set.insert(id2string(identifier));
   }
 }

src/verilog/verilog_parse_tree.cpp

@@ -30,20 +30,21 @@ void verilog_parse_treet::create_module(
   exprt &module_items)
 {
   items.push_back(itemt(itemt::MODULE));
-  itemt &item=items.back();
-
-  verilog_modulet &new_module=item.verilog_module;
 
   if(ports.get_sub().size()==1 &&
      ports.get_sub().front().is_nil())
     ports.clear();
 
+  verilog_modulet new_module;
+
   new_module.name=name.id();
   new_module.parameter_port_list.swap(parameter_port_list);
   new_module.ports.swap(ports);
   new_module.location=((const exprt &)module_keyword).source_location();
   new_module.module_items.swap(module_items);
 
+  items.back().verilog_module = new_module.to_irep();
+
   // add to module map  
   module_map[new_module.name]=--items.end();
 }
@@ -68,7 +69,7 @@ void verilog_parse_treet::modules_provided(
       it++)
     if(it->is_module())
       module_set.insert(
-        id2string(verilog_module_symbol(it->verilog_module.name)));
+        id2string(verilog_module_symbol(it->verilog_module.base_name())));
 }
 
 /*******************************************************************\
@@ -91,7 +92,7 @@ void verilog_parse_treet::build_module_map()
       it!=items.end();
       it++)
     if(it->is_module())
-      module_map[it->verilog_module.name]=it;
+      module_map[it->verilog_module.base_name()] = it;
 }
 
 /*******************************************************************\

src/verilog/verilog_parse_tree.h

@@ -41,7 +41,7 @@ class verilog_parse_treet
     {
     }
 
-    verilog_modulet verilog_module;
+    verilog_module_sourcet verilog_module;
 
     exprt verilog_package_item;
 

src/verilog/verilog_typecheck.cpp

@@ -1848,7 +1848,7 @@ bool verilog_typecheck(
 
   return verilog_typecheck(
     symbol_table,
-    it->second->verilog_module.to_irep(),
+    it->second->verilog_module,
     parse_tree.standard,
     message_handler);
 }