From c39635667649881eaf0b75896be9045083e353c4 Mon Sep 17 00:00:00 2001
From: Carl Corea <ccorea@uni-koblenz.de>
Date: Tue, 4 Jun 2019 16:34:17 +0200
Subject: [PATCH] Update SubsumptionVerifier.java
---
.../dmn/core/verifier/SubsumptionVerifier.java | 13 +++++++++----
1 file changed, 9 insertions(+), 4 deletions(-)
diff --git a/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/SubsumptionVerifier.java b/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/SubsumptionVerifier.java
index d5c1aca..dec9fc1 100644
--- a/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/SubsumptionVerifier.java
+++ b/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/SubsumptionVerifier.java
@@ -172,7 +172,7 @@ public class SubsumptionVerifier extends AbstractVerifier {
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");
}
@@ -182,9 +182,14 @@ public class SubsumptionVerifier extends AbstractVerifier {
.map(c -> c.getRuleIdentifier().getRowNumber().toString())
.sorted()
.collect(Collectors.joining(", ")));
- sb.append(" subsumes rule");
+ if (subsumptionRules.size() > 1) {
+ sb.append("subsume"); //Plural
+ }else{
+ sb.append(" subsumes rule");
+ }
+
if (currentRuleIdentifiers.size() > 2) {
- sb.append("s");
+ sb.append("s");
}
sb.append(" ");
sb.append(
@@ -200,7 +205,7 @@ public class SubsumptionVerifier extends AbstractVerifier {
.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