Formatting

dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/models/VerifierType.java

@@ -23,7 +23,8 @@ public enum VerifierType {
       true,
       true,
       false),
-  Equivalent("Checking for semantically equivalent rules.", EquivalentVerifier.class, true, false, false),
+  Equivalent(
+      "Checking for semantically equivalent rules.", EquivalentVerifier.class, true, false, false),
   Overlap("Checking for overlapping rules.", OverlappingVerifier.class, true, true, false),
   Missing("Checking for missing rules.", MissingVerifier.class, true, false, false),
   PartialReduction(

dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/SubsumptionVerifier.java

@@ -183,13 +183,13 @@ public class SubsumptionVerifier extends AbstractVerifier {
             .sorted()
             .collect(Collectors.joining(", ")));
     if (subsumptionRules.size() > 1) {
-      sb.append("subsume"); //Plural
-    }else{        
-      sb.append(" subsumes rule");    
-    }  
-    
+      sb.append("subsume"); // Plural
+    } else {
+      sb.append(" subsumes rule");
+    }
+
     if (currentRuleIdentifiers.size() > 2) {
-      sb.append("s"); 
+      sb.append("s");
     }
     sb.append(" ");
     sb.append(

dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/multitable/MultiTableSubsumptionVerifier.java

@@ -34,7 +34,7 @@ public class MultiTableSubsumptionVerifier extends SubsumptionVerifier {
       List<Value> subsumptionRules,
       boolean isDifferentConclusion) {
     StringBuilder sb = new StringBuilder();
-    
+
     sb.append("Rule");
     if (subsumptionRules.size() > 1) {
       sb.append("s");
@@ -46,13 +46,13 @@ public class MultiTableSubsumptionVerifier extends SubsumptionVerifier {
             .sorted()
             .collect(Collectors.joining(", ")));
     sb.append("in table ");
-    sb.append(subsumptionRules.get(0).getRuleIdentifier().getTableName());            
+    sb.append(subsumptionRules.get(0).getRuleIdentifier().getTableName());
     if (subsumptionRules.size() > 1) {
       sb.append(" subsume rule");
-    }else{
-        sb.append(" subsumes rule");
-    }   
-    
+    } else {
+      sb.append(" subsumes rule");
+    }
+
     if (currentRuleIdentifiers.size() > 2) {
       sb.append("s");
     }