mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-26 19:06:24 +07:00
dead code fixes should be available in offline mode as well
This commit is contained in:
+2
-2
@@ -730,7 +730,7 @@ public class UnusedDeclarationInspection extends FilteringInspectionTool {
|
||||
for (RefElement refElement : refElements) {
|
||||
PsiElement psiElement = refElement.getElement();
|
||||
if (psiElement == null) continue;
|
||||
if (myFilter.getElementProblemCount((RefJavaElement)refElement) == 0) continue;
|
||||
if (getFilter().getElementProblemCount((RefJavaElement)refElement) == 0) continue;
|
||||
psiElements.add(psiElement);
|
||||
}
|
||||
|
||||
@@ -798,7 +798,7 @@ public class UnusedDeclarationInspection extends FilteringInspectionTool {
|
||||
for (RefElement refElement : refElements) {
|
||||
PsiElement psiElement = refElement.getElement();
|
||||
if (psiElement == null) continue;
|
||||
if (myFilter.getElementProblemCount((RefJavaElement)refElement) == 0) continue;
|
||||
if (getFilter().getElementProblemCount((RefJavaElement)refElement) == 0) continue;
|
||||
commentOutDead(psiElement);
|
||||
refElement.getRefManager().removeRefElement(refElement, deletedRefs);
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user