MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-15 02:59:33 +07:00
Code Issues Packages Projects Releases Wiki Activity

cleanup InspectionDiff

Browse Source 
GitOrigin-RevId: 8d3665130be2fd324f75e094e8b86468aae39871
This commit is contained in:
Max Medvedev
2024-09-04 13:23:40 +02:00
committed by intellij-monorepo-bot
parent 24a6ac5988
commit 5397d3b823
1 changed files with 6 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
platform/inspect/src/com/intellij/codeInspection/InspectionDiff.java
View File

@@ -7,6 +7,7 @@ import com.intellij.openapi.util.JDOMUtil;
import org.jdom.Document; import org.jdom.Document;
import org.jdom.Element; import org.jdom.Element;
import org.jetbrains.annotations.NonNls; import org.jetbrains.annotations.NonNls;
import org.jetbrains.annotations.NotNull;
import org.jetbrains.annotations.Nullable; import org.jetbrains.annotations.Nullable;
import java.io.BufferedOutputStream; import java.io.BufferedOutputStream;
@@ -90,17 +91,15 @@ public final class InspectionDiff {
} }
} }
@SuppressWarnings({"HardCodedStringLiteral"}) private static @NotNull Document createDelta(@Nullable Element oldRoot, Element newRoot) {
private static Document createDelta(@Nullable Element oldRoot, Element newRoot) {
ourFileToProblem = new HashMap<>(); ourFileToProblem = new HashMap<>();
List newProblems = newRoot.getChildren("problem"); List<Element> newProblems = newRoot.getChildren("problem");
for (final Object o : newProblems) { for (Element problem : newProblems) {
Element newProblem = (Element)o; addProblem(problem);
addProblem(newProblem);
} }
if (oldRoot != null) { if (oldRoot != null) {
for (final Element oldProblem : oldRoot.getChildren("problem")) { for (Element oldProblem : oldRoot.getChildren("problem")) {
if (!removeIfEquals(oldProblem)) { if (!removeIfEquals(oldProblem)) {
addProblem(oldProblem); addProblem(oldProblem);
} }