mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
assertion
This commit is contained in:
+2
-1
@@ -20,6 +20,7 @@ import com.intellij.openapi.diagnostic.Logger;
|
||||
import com.intellij.openapi.util.Key;
|
||||
import com.intellij.openapi.util.Pair;
|
||||
import com.intellij.openapi.util.UserDataHolderBase;
|
||||
import com.intellij.openapi.util.io.FileUtil;
|
||||
import com.intellij.openapi.vfs.VirtualFile;
|
||||
import com.intellij.openapi.vfs.VirtualFileManager;
|
||||
import com.intellij.openapi.vfs.pointers.VirtualFilePointer;
|
||||
@@ -224,7 +225,7 @@ public class VirtualFilePointerImpl extends UserDataHolderBase implements Virtua
|
||||
((VirtualFilePointerManagerImpl)VirtualFilePointerManager.getInstance()).clearPointerCaches(file.getUrl(), myListener);
|
||||
}
|
||||
String url = pair.second;
|
||||
if (url != null && (file == null || !url.equals(file.getUrl()))) {
|
||||
if (url != null && (file == null || !FileUtil.pathsEqual(url, file.getUrl()))) {
|
||||
((VirtualFilePointerManagerImpl)VirtualFilePointerManager.getInstance()).clearPointerCaches(url, myListener);
|
||||
}
|
||||
}
|
||||
|
||||
+1
-1
@@ -72,7 +72,7 @@ public class VirtualFilePointerManagerImpl extends VirtualFilePointerManager imp
|
||||
|
||||
synchronized void clearPointerCaches(String url, VirtualFilePointerListener listener) {
|
||||
TreeMap<String, VirtualFilePointerImpl> urlToPointer = myUrlToPointerMaps.get(listener);
|
||||
assert urlToPointer != null;
|
||||
assert urlToPointer != null : url;
|
||||
urlToPointer.remove(VfsUtil.urlToPath(url));
|
||||
if (urlToPointer.isEmpty()) {
|
||||
myUrlToPointerMaps.remove(listener);
|
||||
|
||||
Reference in New Issue
Block a user