SystemVerilog: implement package import

src/verilog/parser.y

@@ -16,6 +16,7 @@ Author: Daniel Kroening, [email protected]
 #include <util/mathematical_types.h>
 #include <util/std_expr.h>
 
+#include "verilog_expr.h"
 #include "verilog_parser.h"
 
 #define PARSER verilog_parser
@@ -1158,9 +1159,20 @@ package_import_item_brace:
 
 package_import_item:
 	  package_identifier "::" identifier
-		{ init($$, ID_verilog_import_item); mto($$, $1); mto($$, $3); }
+		{ init($$, ID_verilog_import_item);
+		  mto($$, $1);
+		  mto($$, $3);
+		  // add item from package to our scope table
+		  auto &item = to_verilog_import_item(stack_expr($$));
+	          PARSER.current_scope->import_item(item);
+		}
 	| package_identifier "::" "*"
-		{ init($$, ID_verilog_import_item); mto($$, $1); }
+		{ init($$, ID_verilog_import_item);
+		  mto($$, $1);
+	          // add items from package to our scope table
+		  auto &item = to_verilog_import_item(stack_expr($$));
+	          PARSER.current_scope->import_item(item);
+		}
 	;
 
 genvar_declaration:

src/verilog/verilog_expr.h

@@ -1945,4 +1945,21 @@ to_verilog_implicit_typecast_expr(exprt &expr)
   return static_cast<verilog_implicit_typecast_exprt &>(expr);
 }
 
+class verilog_import_itemt : public binary_exprt
+{
+public:
+};
+
+inline const verilog_import_itemt &to_verilog_import_item(const exprt &expr)
+{
+  verilog_import_itemt::check(expr);
+  return static_cast<const verilog_import_itemt &>(expr);
+}
+
+inline verilog_import_itemt &to_verilog_import_item(exprt &expr)
+{
+  verilog_import_itemt::check(expr);
+  return static_cast<verilog_import_itemt &>(expr);
+}
+
 #endif

src/verilog/verilog_parser.cpp

@@ -11,6 +11,8 @@ Author: Daniel Kroening, [email protected]
 #include <util/cout_message.h>
 #include <util/unicode.h>
 
+#include "verilog_expr.h"
+
 #include <fstream>
 #include <iostream>
 #include <stdio.h>
@@ -81,3 +83,20 @@ const verilog_parsert::scopet *verilog_parsert::lookup(irep_idt name) const
   // not found, give up
   return nullptr;
 }
+
+/*******************************************************************\
+
+Function: verilog_parsert::scopet::import_item
+
+  Inputs:
+
+ Outputs:
+
+ Purpose:
+
+\*******************************************************************/
+
+void verilog_parsert::scopet::import_item(
+  const verilog_import_itemt &import_item)
+{
+}

src/verilog/verilog_parser.h

@@ -19,6 +19,8 @@ Author: Daniel Kroening, [email protected]
 
 int yyverilogparse();
 
+class verilog_import_itemt;
+
 class verilog_parsert:public parsert
 {
 public:
@@ -90,6 +92,8 @@ class verilog_parsert:public parsert
     // sub-scopes
     using scope_mapt = std::map<irep_idt, scopet>;
     scope_mapt scope_map;
+
+    void import_item(const verilog_import_itemt &);
   };
 
   scopet top_scope, *current_scope = &top_scope;