#9 Add action for subsumption rules

(delete subsumed rules only for same output)

dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/impl/SubsumptionVerifier.java

@@ -15,6 +15,10 @@ import de.unikoblenz.fgbks.core.dmn.domain.vdmn.VDmnValue;
 import de.unikoblenz.fgbks.core.dmn.domain.vdmn.utils.VDmnFunctions;
 import de.unikoblenz.fgbks.core.dmn.verification.result.VerificationResultEntry.VerificationClassification;
 import de.unikoblenz.fgbks.core.dmn.verification.result.VerificationResultEntryElement;
+import de.unikoblenz.fgbks.core.dmn.verification.result.actions.Action;
+import de.unikoblenz.fgbks.core.dmn.verification.result.actions.ActionScope;
+import de.unikoblenz.fgbks.core.dmn.verification.result.actions.ActionType;
+import de.unikoblenz.fgbks.core.dmn.verification.result.actions.VerificationFix;
 import de.unikoblenz.fgbks.core.dmn.verification.verifier.AbstractVerifier;
 import de.unikoblenz.fgbks.core.dmn.verification.verifier.DmnVerifier;
 import de.unikoblenz.fgbks.core.dmn.verification.verifier.types.SubsumptionVerification;
@@ -53,14 +57,34 @@ public class SubsumptionVerifier extends AbstractVerifier {
         // add to rules to result
         boolean differentConclusions = VDmnFunctions.differentConclusions(currentRules);
         currentRules.forEach(
-            rule ->
-                vreFactory.addElement(
-                    VerificationResultEntryElement.create(inColumns.get(0).getVDmnDecisionTable())
-                        .withIdentifier(rule.getRuleId())));
-        vreFactory.addVerificationFix(SHOW_RULES);
-        vreFactory.addToEntry(
-            VerificationClassification.WARNING,
-            getMessageText(currentRules, currentRootSubsumptionElements, differentConclusions));
+            rule -> vreFactory.addElement(VerificationResultEntryElement.create(rule)));
+        if (!differentConclusions) {
+          VerificationFix.Builder verificationFixBuilder =
+              VerificationFix.getBuilder().withFixName("Delete subsumed Rules");
+          Action.Builder actionBuilder =
+              Action.getBuilder()
+                  .withActionScope(ActionScope.RULE)
+                  .withActionType(ActionType.DELETE);
+          for (VDmnRule rule : currentRules) {
+            if (!currentRootSubsumptionElements.contains(rule)) {
+              verificationFixBuilder.addAction(
+                  Action.getBuilder()
+                      .withActionScope(ActionScope.RULE)
+                      .withActionType(ActionType.DELETE)
+                      .addIdValue(rule.getVDmnDecision().getDecisionId())
+                      .addIdValue(rule.getRuleId())
+                      .build());
+            }
+          }
+          vreFactory.addVerificationFix(verificationFixBuilder.build());
+        }
+        // Action Show
+        vreFactory
+            .addVerificationFix(SHOW_RULES)
+            // Add to result
+            .addToEntry(
+                VerificationClassification.WARNING,
+                getMessageText(currentRules, currentRootSubsumptionElements, differentConclusions));
       }
     } else {
       // get all input values from the current column, and filter with the prev. iteration