Formatting

dmn-generator/src/main/java/de/uniko/bks/generator/entry/InputEntryGenerator.java

@@ -8,9 +8,7 @@ package de.uniko.bks.generator.entry;
 import de.uniko.bks.dom.dmn.entry.InputEntry;
 import java.util.Random;
 
-/**
- * Class which generates a single input entry for the DMN
- */
+/** Class which generates a single input entry for the DMN */
 public class InputEntryGenerator {
 
   private static String generateInputRange() {

dmn-generator/src/main/java/de/uniko/bks/statistic/PerformanceTester.java

@@ -56,10 +56,14 @@ public class PerformanceTester {
         TestDMN testDMN = new TestDMN();
         // Add the run-time of the current execution to the list of run-times for the file
         testDMN.testDmn(dmnFile.getPath().toString());
-        verificationsFound.add(testDMN.getVerifcation().getVerifierResults()
-            .stream()
-            .map(verifierResult -> verifierResult.getVerifications().size())
-            .mapToLong(Long::valueOf).sum());
+        verificationsFound.add(
+            testDMN
+                .getVerifcation()
+                .getVerifierResults()
+                .stream()
+                .map(verifierResult -> verifierResult.getVerifications().size())
+                .mapToLong(Long::valueOf)
+                .sum());
         runTimeList.add(testDMN.getExecTime());
         System.out.println(
             "DMN " + j + " von " + size + " verified in " + testDMN.getExecTime() + "ms");

dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/AbstractVerifier.java

@@ -33,7 +33,7 @@ public abstract class AbstractVerifier {
       final List<DmnDecision> dmnDecisionList,
       final RuleMap ruleMap,
       Queue<VerificationResult> interdeterminismRules) {
-    //LOGGER.info("Start verifyDecision " + this.getClass().getSimpleName());
+    // LOGGER.info("Start verifyDecision " + this.getClass().getSimpleName());
     long start = System.currentTimeMillis();
     this.dmnDecisionList = new ArrayList<>(dmnDecisionList);
     this.ruleMap = ruleMap;