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 92c68bc2182a6633c07c92062770751d72c83fb8..54f500e994ce55ea832f4675f6711c9b8d2d24cc 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."); }