mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
logging for unloading stubs
GitOrigin-RevId: 02d5480a4fa0bf8fbedb141ba4f00448cfbf6b13
This commit is contained in:
committed by
intellij-monorepo-bot
parent
a47531b215
commit
bf5d8ffdc8
@@ -1,4 +1,4 @@
|
||||
// Copyright 2000-2021 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
|
||||
// Copyright 2000-2022 JetBrains s.r.o. and contributors. Use of this source code is governed by the Apache 2.0 license.
|
||||
package com.intellij.util.indexing;
|
||||
|
||||
import com.intellij.ide.plugins.PluginUtil;
|
||||
@@ -187,8 +187,9 @@ public class ID<K, V> extends IndexId<K,V> {
|
||||
|
||||
@ApiStatus.Internal
|
||||
public synchronized static void unloadId(@NotNull ID<?, ?> id) {
|
||||
ID<?, ?> oldID = ourIdObjects.remove(id.getName());
|
||||
LOG.assertTrue(id.equals(oldID));
|
||||
String name = id.getName();
|
||||
ID<?, ?> oldID = ourIdObjects.remove(name);
|
||||
LOG.assertTrue(id.equals(oldID), "Failed to unload: " + name);
|
||||
ourIdToPluginId.remove(id);
|
||||
ourIdToRegistrationStackTrace.remove(id);
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user