View source for How to get library containing nested module

'''Q: How do I get the library that contains the module nested inside another module?'''

Take the following example:

  1 module top (output o, input i1, i2, i3);
  2   logic t;
  3 
  4   bot b (t, i1, i2);
  5 
  6   module bot (output o, input i1, i2);
  7     assign o = i1 ^ i2;
  8   endmodule
  9 
 10   assign o = t && i3;
 11 endmodule

Calling GetLibrary() on module "bot" returns NULL because a module nested inside another one is not attached to any library. To get the module ("top") containing the nested module ("bot"):

 // Get the scope of nested module
 VeriScope *nested_module_scope = nested_module_ptr->GetScope();
 // Get the containing module
 VeriScope *upper_scope = nested_module_scope ? nested_module_scope->Upper(): 0 ;
 VerIdDef *containing_module_id = upper_scope ? upper_scope->GetContainingModule(): 0 ;

Sample code how to find nested modules:

     1	#include <iostream>
     2	#include "veri_file.h"
     3	#include "VeriModule.h"
     4	#include "VeriId.h"
     5
     6	#ifdef VERIFIC_NAMESPACE
     7	using namespace Verific ;
     8	#endif
     9
    10	int main(int argc, char **argv)
    11	{
    12	    if (!veri_file::Analyze("test.v", veri_file::SYSTEM_VERILOG_2012)) return 1 ;
    13	    VeriModule *mod = veri_file::GetModule("top") ;
    14	    if (!mod) return 2 ;
    15	    Array *moduleitems = mod->GetModuleItems() ;
    16	    unsigned i ;
    17	    VeriModuleItem *item ;
    18	    FOREACH_ARRAY_ITEM(moduleitems, i, item) {
    19	        if (item->IsModule()) {
    20	            VeriModule *nestedmodule = static_cast<VeriModule *>(item) ;
    21	            std::cout << ">> Found nested module: " << nestedmodule->Name() << "\n" ;
    22	        }
    23	    }
    24	    return 0 ;
    25	}

Run:

    $ test-linux
    -- Analyzing Verilog file 'test.v' (VERI-1482)
    >> Found nested module: bot
    $