src/main/java/domain/checks/RequiredOverridesCheck.java added

mkacct · May 9, 2024 · 5b72aba · 5b72aba
1 parent 807ccc7
commit 5b72aba
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/uml/classes.puml b/uml/classes.puml
@@ -317,6 +317,17 @@ package domain.checks {
     -isTypeOkay(typeFullName: String, classes: ClassDataCollection, domainPkgName: String, allowedDeps: Set<String>): boolean
     -{static} stripArrayIndicators(typeFullName: String): String
   }
+
+  class RequiredOverridesCheck {
+    -{static} NAME: String
+    -{static} TYPES_EMPTY: String[]
+    -{static} TYPES_1_OBJECT: String[]
+    +run(classes: ClassDataCollection, config: Configuration): void
+    -validateCompareToImpliesEquals(classData: ClassData, messages: Set<Message>): void
+    -validateEqualsImpliesHashCode(classData: ClassData, messages: Set<Message>): void
+    -{static} classHasMethod(classData: ClassData, methodName: String, paramTypes: String[]): boolean
+    -{static} paramTypesMatch(params: List<VariableData>, paramTypes: String[]): boolean
+  }
 }
 
 exception IOException {
@@ -382,6 +393,7 @@ ObserverPatternCheck --|> GraphCheck
 ParameterCountCheck --|> Check
 PlantUMLGenerator --|> GraphCheck
 ProgramToInterfaceNotImplementationCheck --|> Check
+RequiredOverridesCheck --|> Check
 
 ' exceptions
 FileNotFoundException --|> IOException