Method writeElabGenScope

src/DesignCompile/UhdmWriter.cpp:2252–2438

}

bool UhdmWriter::writeElabGenScope(Serializer& s, ModuleInstance* instance,
                                   gen_scope* m, ExprBuilder& exprBuilder) {
  FileSystem* const fileSystem = FileSystem::getInstance();
  Netlist* netlist = instance->getNetlist();
  ModuleDefinition* mod =
      valuedcomponenti_cast<ModuleDefinition*>(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);
      }
    }
    if (!mod->getSequenceDecls().empty()) {
      VectorOfsequence_decl* decls = s.MakeSequence_declVec();
      m->Sequence_decls(decls);
      for (auto decl : mod->getSequenceDecls()) {
        decl->VpiParent(m);
        decls->push_back(decl);
      }
    }
    // Typepecs
    VectorOftypespec* typespecs = s.MakeTypespecVec();
    m->Typespecs(typespecs);
    writeDataTypes(mod->getDataTypeMap(), m, typespecs, s, true);
    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);
      }
    }
  }
  if (netlist) {
    m->Nets(netlist->nets());
    if (netlist->nets()) {
      for (auto obj : *netlist->nets()) {
        obj->VpiParent(m);
      }
    }