Method writeElabModule

src/DesignCompile/UhdmWriter.cpp:3947–4094

}

bool UhdmWriter::writeElabModule(Serializer& s, ModuleInstance* instance,
                                 module_inst* m, ExprBuilder& exprBuilder) {
  Netlist* netlist = instance->getNetlist();
  if (netlist == nullptr) return true;
  m->Ports(netlist->ports());
  DesignComponent* mod = instance->getDefinition();
  if (mod) {
    // Let decls
    if (!mod->getLetStmts().empty()) {
      VectorOflet_decl* decls = s.MakeLet_declVec();
      m->Let_decls(decls);
      for (auto stmt : mod->getLetStmts()) {
        decls->push_back((let_decl*)stmt.second->Decl());
      }
    }
    if (!mod->getPropertyDecls().empty()) {
      VectorOfproperty_decl* decls = s.MakeProperty_declVec();
      m->Property_decls(decls);
      for (auto decl : mod->getPropertyDecls()) {
        decl->VpiParent(m);
        decls->push_back(decl);
      }
    }
    // Typepecs
    VectorOftypespec* typespecs = s.MakeTypespecVec();
    m->Typespecs(typespecs);
    writeDataTypes(mod->getDataTypeMap(), m, typespecs, s, false);
    writeImportedSymbols(mod, s, typespecs);
    // System elab tasks
    m->Elab_tasks((std::vector<UHDM::tf_call*>*)&mod->getElabSysCalls());
    if (m->Elab_tasks()) {
      for (auto et : *m->Elab_tasks()) {
        et->VpiParent(m);
      }
    }
    // Assertions
    if (mod->getAssertions()) {
      m->Assertions(mod->getAssertions());
      for (auto ps : *m->Assertions()) {
        ps->VpiParent(m);
      }
    }
  }

  writeElabParameters(s, instance, m, exprBuilder);
  if (netlist) {
    if (netlist->ports()) {
      for (auto obj : *netlist->ports()) {
        obj->VpiParent(m);
      }
    }
    m->Nets(netlist->nets());
    if (netlist->nets()) {
      for (auto obj : *netlist->nets()) {
        obj->VpiParent(m);
      }
    }
    m->Gen_scope_arrays(netlist->gen_scopes());