From cd7fbf1bfe6a451977509a91fde66a9fa57f2fd4 Mon Sep 17 00:00:00 2001
From: Jonas Blatt <jonasblatt@uni-koblenz.de>
Date: Wed, 5 Jun 2019 00:02:26 +0200
Subject: [PATCH] Formatting
---
.../fgbks/dmn/core/models/VerifierType.java | 3 ++-
.../fgbks/dmn/core/verifier/SubsumptionVerifier.java | 12 ++++++------
.../multitable/MultiTableSubsumptionVerifier.java | 12 ++++++------
3 files changed, 14 insertions(+), 13 deletions(-)
diff --git a/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/models/VerifierType.java b/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/models/VerifierType.java
index a5b43f8..7b89e0c 100644
--- a/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/models/VerifierType.java
+++ b/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/models/VerifierType.java
@@ -23,7 +23,8 @@ public enum VerifierType {
true,
true,
false),
- Equivalent("Checking for semantically equivalent rules.", EquivalentVerifier.class, true, false, false),
+ Equivalent(
+ "Checking for semantically equivalent rules.", EquivalentVerifier.class, true, false, false),
Overlap("Checking for overlapping rules.", OverlappingVerifier.class, true, true, false),
Missing("Checking for missing rules.", MissingVerifier.class, true, false, false),
PartialReduction(
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 dec9fc1..33504f7 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
@@ -183,13 +183,13 @@ public class SubsumptionVerifier extends AbstractVerifier {
.sorted()
.collect(Collectors.joining(", ")));
if (subsumptionRules.size() > 1) {
- sb.append("subsume"); //Plural
- }else{
- sb.append(" subsumes rule");
- }
-
+ sb.append("subsume"); // Plural
+ } else {
+ sb.append(" subsumes rule");
+ }
+
if (currentRuleIdentifiers.size() > 2) {
- sb.append("s");
+ sb.append("s");
}
sb.append(" ");
sb.append(
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 54f500e..4a9807b 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,7 +34,7 @@ public class MultiTableSubsumptionVerifier extends SubsumptionVerifier {
List<Value> subsumptionRules,
boolean isDifferentConclusion) {
StringBuilder sb = new StringBuilder();
-
+
sb.append("Rule");
if (subsumptionRules.size() > 1) {
sb.append("s");
@@ -46,13 +46,13 @@ public class MultiTableSubsumptionVerifier extends SubsumptionVerifier {
.sorted()
.collect(Collectors.joining(", ")));
sb.append("in table ");
- sb.append(subsumptionRules.get(0).getRuleIdentifier().getTableName());
+ sb.append(subsumptionRules.get(0).getRuleIdentifier().getTableName());
if (subsumptionRules.size() > 1) {
sb.append(" subsume rule");
- }else{
- sb.append(" subsumes rule");
- }
-
+ } else {
+ sb.append(" subsumes rule");
+ }
+
if (currentRuleIdentifiers.size() > 2) {
sb.append("s");
}
--
GitLab