correctly lint public constructor in abstract class

Feuermagier · May 16, 2024 · c812402 · c812402
1 parent ef6173a
commit c812402
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/...der-core/src/main/java/de/firemage/autograder/core/check/oop/InheritanceBadPractices.java b/...der-core/src/main/java/de/firemage/autograder/core/check/oop/InheritanceBadPractices.java
@@ -6,7 +6,6 @@
 
 import de.firemage.autograder.core.integrated.IdentifierNameUtils;
 import de.firemage.autograder.core.integrated.IntegratedCheck;
-import de.firemage.autograder.core.integrated.SpoonUtil;
 import de.firemage.autograder.core.integrated.StaticAnalysis;
 import spoon.processing.AbstractProcessor;
 import spoon.reflect.declaration.CtClass;
@@ -26,7 +25,7 @@
 
 @ExecutableCheck(reportedProblems = {
     ProblemType.ABSTRACT_CLASS_WITHOUT_ABSTRACT_METHOD,
-    ProblemType.USE_DIFFERENT_VISIBILITY,
+    ProblemType.USE_DIFFERENT_VISIBILITY_PEDANTIC,
     ProblemType.SHOULD_BE_INTERFACE,
     ProblemType.COMPOSITION_OVER_INHERITANCE
 })
@@ -87,7 +86,7 @@ public void process(CtClass<?> ctClass) {
                                         "suggestion", "protected"
                                     )
                                 ),
-                                ProblemType.USE_DIFFERENT_VISIBILITY
+                                ProblemType.USE_DIFFERENT_VISIBILITY_PEDANTIC
                             );
                         }
                     }