From 1c605bed54279feb1792808b9d90fbb31783311a Mon Sep 17 00:00:00 2001
From: Carl Corea <ccorea@uni-koblenz.de>
Date: Tue, 4 Jun 2019 16:40:02 +0200
Subject: [PATCH] Update MultiTableSubsumptionVerifier.java

---
 .../MultiTableSubsumptionVerifier.java           | 16 +++++++++++-----
 1 file changed, 11 insertions(+), 5 deletions(-)

diff --git a/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/multitable/MultiTableSubsumptionVerifier.java b/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/multitable/MultiTableSubsumptionVerifier.java
index 92c68bc..54f500e 100644
--- a/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/multitable/MultiTableSubsumptionVerifier.java
+++ b/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/multitable/MultiTableSubsumptionVerifier.java
@@ -34,9 +34,8 @@ public class MultiTableSubsumptionVerifier extends SubsumptionVerifier {
       List<Value> subsumptionRules,
       boolean isDifferentConclusion) {
     StringBuilder sb = new StringBuilder();
-    sb.append("In table ");
-    sb.append(subsumptionRules.get(0).getRuleIdentifier().getTableName());
-    sb.append(" rule");
+    
+    sb.append("Rule");
     if (subsumptionRules.size() > 1) {
       sb.append("s");
     }
@@ -46,7 +45,14 @@ public class MultiTableSubsumptionVerifier extends SubsumptionVerifier {
             .map(c -> c.getRuleIdentifier().getRowNumber().toString())
             .sorted()
             .collect(Collectors.joining(", ")));
-    sb.append(" subsumes rule");
+    sb.append("in table ");
+    sb.append(subsumptionRules.get(0).getRuleIdentifier().getTableName());            
+    if (subsumptionRules.size() > 1) {
+      sb.append(" subsume rule");
+    }else{
+        sb.append(" subsumes rule");
+    }   
+    
     if (currentRuleIdentifiers.size() > 2) {
       sb.append("s");
     }
@@ -64,7 +70,7 @@ public class MultiTableSubsumptionVerifier extends SubsumptionVerifier {
             .collect(Collectors.joining(", ")));
     sb.append(".");
     if (isDifferentConclusion) {
-      sb.append(" The output has different conclusions!");
+      sb.append(" The outputs have different conclusions!");
     } else {
       sb.append(" The output is the same.");
     }
-- 
GitLab