mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
'rename to ignored' fix for unused catch parameters
This commit is contained in:
+7
-8
@@ -15,9 +15,12 @@
|
||||
*/
|
||||
package org.jetbrains.plugins.groovy.codeInspection.exception;
|
||||
|
||||
import com.intellij.codeInsight.daemon.impl.quickfix.RenameElementFix;
|
||||
import com.intellij.codeInspection.LocalQuickFix;
|
||||
import com.intellij.codeInspection.ProblemHighlightType;
|
||||
import com.intellij.psi.PsiElement;
|
||||
import org.jetbrains.annotations.Nls;
|
||||
import org.jetbrains.annotations.NotNull;
|
||||
import org.jetbrains.annotations.Nullable;
|
||||
import org.jetbrains.plugins.groovy.codeInspection.BaseInspection;
|
||||
import org.jetbrains.plugins.groovy.codeInspection.BaseInspectionVisitor;
|
||||
import org.jetbrains.plugins.groovy.lang.psi.api.statements.GrCatchClause;
|
||||
@@ -42,12 +45,6 @@ public class GroovyUnusedCatchParameterInspection extends BaseInspection {
|
||||
return "Unused catch parameter";
|
||||
}
|
||||
|
||||
@Nullable
|
||||
protected String buildErrorString(Object... args) {
|
||||
return "Unused catch parameter '#ref' #loc";
|
||||
|
||||
}
|
||||
|
||||
public BaseInspectionVisitor buildVisitor() {
|
||||
return new Visitor();
|
||||
}
|
||||
@@ -71,7 +68,9 @@ public class GroovyUnusedCatchParameterInspection extends BaseInspection {
|
||||
final CatchParameterUsedVisitor visitor = new CatchParameterUsedVisitor(parameter);
|
||||
block.accept(visitor);
|
||||
if (!visitor.isUsed()) {
|
||||
registerVariableError(parameter);
|
||||
final PsiElement nameIdentifier = parameter.getNameIdentifierGroovy();
|
||||
registerError(nameIdentifier, "Unused catch parameter '#ref' #loc", new LocalQuickFix[]{new RenameElementFix(parameter, "ignored")},
|
||||
ProblemHighlightType.GENERIC_ERROR_OR_WARNING);
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user