reduce annotations #485

Feuermagier · May 16, 2024 · ccba5db · ccba5db
1 parent 4789717
commit ccba5db
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/...grader-core/src/main/java/de/firemage/autograder/core/check/general/DoNotUseRawTypes.java b/...grader-core/src/main/java/de/firemage/autograder/core/check/general/DoNotUseRawTypes.java
@@ -10,6 +10,8 @@
 import spoon.reflect.path.CtRole;
 import spoon.reflect.reference.CtTypeReference;
 
+import java.util.Optional;
+
 @ExecutableCheck(reportedProblems = { ProblemType.DO_NOT_USE_RAW_TYPES })
 public class DoNotUseRawTypes extends IntegratedCheck {
     private boolean isRawType(CtTypeReference<?> ctTypeReference) {
@@ -48,4 +50,9 @@ public void process(CtTypeReference<?> ctTypeReference) {
             }
         });
     }
+
+    @Override
+    public Optional<Integer> maximumProblems() {
+        return Optional.of(4);
+    }
 }
diff --git a/autograder-core/src/main/java/de/firemage/autograder/core/check/general/ObjectDatatype.java b/autograder-core/src/main/java/de/firemage/autograder/core/check/general/ObjectDatatype.java
@@ -11,6 +11,7 @@
 import spoon.reflect.reference.CtTypeReference;
 
 import java.util.Map;
+import java.util.Optional;
 
 @ExecutableCheck(reportedProblems = { ProblemType.OBJECT_DATATYPE })
 public class ObjectDatatype extends IntegratedCheck {
@@ -45,4 +46,9 @@ public void process(CtVariable<?> ctVariable) {
             }
         });
     }
+
+    @Override
+    public Optional<Integer> maximumProblems() {
+        return Optional.of(4);
+    }
 }