IDEA-CR-52216 fix JBTreeTraverser cannot be cast to PluginTraverser

GitOrigin-RevId: ddf8452cb7109362d138de87b7073c5fbee93ce8
2026-09-27 10:03:11 +07:00 · 2019-09-11 13:31:59 +00:00
parent 4a35c78da0
commit 935db45ad1
1 changed files with 12 additions and 0 deletions
@@ -1651,5 +1651,17 @@ public class PluginManagerCore {
      });
      this.idMap = idMap;
    }
+
+    protected PluginTraverser(@NotNull Meta<PluginId> meta,
+                              @NotNull Map<PluginId, IdeaPluginDescriptorImpl> idMap) {
+      super(meta);
+      this.idMap = idMap;
+    }
+
+    @NotNull
+    @Override
+    protected JBTreeTraverser<PluginId> newInstance(@NotNull Meta<PluginId> meta) {
+      return new PluginTraverser(meta, idMap);
+    }
  }
 }