Skip to content
Snippets Groups Projects
Commit 1c605bed authored by Dr. Carl Corea's avatar Dr. Carl Corea
Browse files

Update MultiTableSubsumptionVerifier.java

parent c0f020c5
No related branches found
No related tags found
No related merge requests found
...@@ -34,9 +34,8 @@ public class MultiTableSubsumptionVerifier extends SubsumptionVerifier { ...@@ -34,9 +34,8 @@ public class MultiTableSubsumptionVerifier extends SubsumptionVerifier {
List<Value> subsumptionRules, List<Value> subsumptionRules,
boolean isDifferentConclusion) { boolean isDifferentConclusion) {
StringBuilder sb = new StringBuilder(); 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) { if (subsumptionRules.size() > 1) {
sb.append("s"); sb.append("s");
} }
...@@ -46,7 +45,14 @@ public class MultiTableSubsumptionVerifier extends SubsumptionVerifier { ...@@ -46,7 +45,14 @@ public class MultiTableSubsumptionVerifier extends SubsumptionVerifier {
.map(c -> c.getRuleIdentifier().getRowNumber().toString()) .map(c -> c.getRuleIdentifier().getRowNumber().toString())
.sorted() .sorted()
.collect(Collectors.joining(", "))); .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) { if (currentRuleIdentifiers.size() > 2) {
sb.append("s"); sb.append("s");
} }
...@@ -64,7 +70,7 @@ public class MultiTableSubsumptionVerifier extends SubsumptionVerifier { ...@@ -64,7 +70,7 @@ public class MultiTableSubsumptionVerifier extends SubsumptionVerifier {
.collect(Collectors.joining(", "))); .collect(Collectors.joining(", ")));
sb.append("."); sb.append(".");
if (isDifferentConclusion) { if (isDifferentConclusion) {
sb.append(" The output has different conclusions!"); sb.append(" The outputs have different conclusions!");
} else { } else {
sb.append(" The output is the same."); sb.append(" The output is the same.");
} }
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment