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

api to mark places which were not checked by local inspection but would be checked in batch mode (IDEA-268840)

Browse Source 
ignore possible problems in batch mode

GitOrigin-RevId: 50bf04dbb01a6ec4fa36c1dbed3d7159ddbd0170
This commit is contained in:
Anna Kozlova
2021-05-10 11:02:28 +00:00
committed by intellij-monorepo-bot
parent 64d0132021
commit 9d1f5882b9
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/codeInsight/daemon/impl/LocalInspectionsPass.java
+5 -1
View File
@@ -142,7 +142,8 @@ public class LocalInspectionsPass extends ProgressableTextEditorHighlightingPass
LocalInspectionToolWrapper toolWrapper = inspectionResult.tool;
final String shortName = toolWrapper.getShortName();
for (ProblemDescriptor descriptor : inspectionResult.foundProblems) {
if (descriptor.getHighlightType() == ProblemHighlightType.INFORMATION) {
ProblemHighlightType highlightType = descriptor.getHighlightType();
if (highlightType == ProblemHighlightType.INFORMATION) {
if (ourToolsWithInformationProblems.add(shortName)) {
String message = "Tool #" + shortName + " registers INFORMATION level problem in batch mode on " + getFile() + ". " +
"INFORMATION level 'warnings' are invisible in the editor and should not become visible in batch mode. " +
@@ -158,6 +159,9 @@ public class LocalInspectionsPass extends ProgressableTextEditorHighlightingPass
}
continue;
}
else if (highlightType == ProblemHighlightType.POSSIBLE_PROBLEM) {
continue;
}
addDescriptors(toolWrapper, descriptor, context);
}
}