MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

[indexes] IJPL-225237: fix unsafe casting TransientVirtualFile to WithId

Browse Source 
GitOrigin-RevId: 32509b84ffa7c17547226fd8d0a6be9da40aa1e7
This commit is contained in:
Ruslan Cheremin
2025-12-23 20:31:41 +00:00
committed by intellij-monorepo-bot
parent 1fa3abd410
commit cdcf64cef1
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/indexing-api/src/com/intellij/util/indexing/IdFilter.java
+4 -2
View File
@@ -63,10 +63,12 @@ public abstract class IdFilter {
private static @NotNull IdFilter buildProjectIdFilterForContentFiles(@NotNull Project project) {
long started = System.currentTimeMillis();
final BitSet idSet = new BitSet();
BitSet idSet = new BitSet();
ContentIterator iterator = fileOrDir -> {
idSet.set(((VirtualFileWithId)fileOrDir).getId());
if (fileOrDir instanceof VirtualFileWithId fileWithId) {
idSet.set(fileWithId.getId());
}//else: if file doesn't have id -- we don't bother adding it to IdFilter?
ProgressManager.checkCanceled();
return true;
};