mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
more diagnostics
GitOrigin-RevId: c99f3a60744c6d0983b94a2129de4c880b14bd9b
This commit is contained in:
committed by
intellij-monorepo-bot
parent
8d960a4c66
commit
6435265914
+3
-4
@@ -95,11 +95,10 @@ class HighlightInfoUpdater {
|
||||
|
||||
TextRange hostRange = InjectedLanguageManager.getInstance(project).injectedToHost(psiFile, psiFile.getTextRange());
|
||||
TextRange updateRange = ObjectUtils.chooseNotNull(hostRange.intersection(restrictRange), hostRange);
|
||||
if (LOG.isDebugEnabled()) {
|
||||
LOG.debug("updateInspectionResult: tool:" + shortName + "; infos:" + infos + "; oldInfos:" + oldInfos + "; psiFile:" + psiFile);
|
||||
}
|
||||
List<HighlightInfo> resultInfos = setHighlightersInRange(updateRange, newInfos, oldInfos, markup, session);
|
||||
|
||||
if (LOG.isDebugEnabled()) {
|
||||
LOG.debug("updateInspectionResult: tool:" + shortName + "; psiFile:" + psiFile+ "; \ninfos:" + infos + "; \noldInfos:" + oldInfos +";results:\n"+resultInfos);
|
||||
}
|
||||
data.put(Pair.create(shortName, psiFile), resultInfos);
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user