mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Merge remote-tracking branch 'origin/master'
This commit is contained in:
+1
-1
@@ -149,7 +149,7 @@ public class IdTableBuilding {
|
||||
}
|
||||
|
||||
private int convertToMask(final WordOccurrence.Kind kind) {
|
||||
if (kind == null) return UsageSearchContext.ANY;
|
||||
if (kind == null) return UsageSearchContext.IN_PLAIN_TEXT;
|
||||
if (kind == WordOccurrence.Kind.CODE) return UsageSearchContext.IN_CODE;
|
||||
if (kind == WordOccurrence.Kind.COMMENTS) return UsageSearchContext.IN_COMMENTS;
|
||||
if (kind == WordOccurrence.Kind.LITERALS) return UsageSearchContext.IN_STRINGS;
|
||||
|
||||
@@ -59,7 +59,7 @@ public class IndexingStamp {
|
||||
private static final long UNINDEXED_STAMP = -1L; // we don't store trivial "absent" state
|
||||
private static final long INDEX_DATA_OUTDATED_STAMP = -2L;
|
||||
|
||||
private static final int VERSION = 12;
|
||||
private static final int VERSION = 13;
|
||||
private static final ConcurrentHashMap<ID<?, ?>, Long> ourIndexIdToCreationStamp = new ConcurrentHashMap<ID<?, ?>, Long>();
|
||||
private static volatile long ourLastStamp; // ensure any file index stamp increases
|
||||
|
||||
|
||||
Reference in New Issue
Block a user