Add more logging for verifier execution

dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/DmnVerificationService.java

@@ -28,10 +28,15 @@ import javax.inject.Inject;
 import org.apache.commons.lang3.Validate;
 import org.eclipse.microprofile.config.inject.ConfigProperty;
 import org.reflections.Reflections;
+import org.slf4j.Logger;
+import org.slf4j.LoggerFactory;
 
 @ApplicationScoped
 public class DmnVerificationService {
 
+  private static final Logger LOGGER =
+      LoggerFactory.getLogger(DmnVerificationService.class.getSimpleName());
+
   @ConfigProperty(name = "verifier.threads", defaultValue = "2")
   Integer maxThreads;
 
@@ -53,7 +58,8 @@ public class DmnVerificationService {
 
   private void initVerifier() {
     if (executor == null || verifierClasses == null) {
-      System.out.println("Creating thread pool with " + maxThreads + " threads!"); // TODO remove
+      LOGGER.info("Init verification.");
+      LOGGER.info("Creating thread pool with " + maxThreads + " threads.");
       executor = Executors.newFixedThreadPool(maxThreads);
       Reflections reflections = new Reflections(packagePath);
       verifierClasses = reflections.getTypesAnnotatedWith(DmnVerifier.class);
@@ -62,8 +68,11 @@ public class DmnVerificationService {
       Set<Class<?>> clVts = reflections.getTypesAnnotatedWith(Type.class);
       for (Class<?> clVt : clVts) {
         try {
-          verificationTypes.add(
-              (VerificationType) clVt.getMethod("getInstance").invoke(null, null));
+          VerificationType verificationType =
+              (VerificationType) clVt.getMethod("getInstance").invoke(null, null);
+          LOGGER.info("Verifier found: " + verificationType.getName() + " (" + verificationType
+              .getClassification().getName() + ")");
+          verificationTypes.add(verificationType);
         } catch (IllegalAccessException | NoSuchMethodException | InvocationTargetException e) {
           e.printStackTrace();
         }
@@ -120,11 +129,11 @@ public class DmnVerificationService {
                   .getValue()
                   .equals(classificationName))) {
         // Create Configuration
-        AbstractDmnVerifierConfig vConfig =
+        AbstractDmnVerifierConfig verifierConfig =
             configs.get(av.getClass().getAnnotation(DmnVerifier.class).verifierConfig());
 
         // Add Configuration and start Calculation
-        results.add(av.withConfiguration(vConfig).verify(executor));
+        results.add(av.withConfiguration(verifierConfig).verify(executor));
       }
     }
 
@@ -132,9 +141,7 @@ public class DmnVerificationService {
         r -> {
           try {
             resultBuilder.addVerifierResult(r.get());
-          } catch (InterruptedException e) {
-            e.printStackTrace();
-          } catch (ExecutionException e) {
+          } catch (InterruptedException | ExecutionException e) {
             e.printStackTrace();
           }
         });
@@ -143,13 +150,13 @@ public class DmnVerificationService {
   }
 
   private Map<Class<? extends AbstractDmnVerifierConfig>, AbstractDmnVerifierConfig> getConfigs(
-      String dmnXML) {
+      String dmnXml) {
     Map<Class<? extends AbstractDmnVerifierConfig>, AbstractDmnVerifierConfig> map =
         new ConcurrentHashMap<>();
     map.put(
         DefaultConfiguration.class,
         DefaultConfiguration.getBuilder()
-            .withDmnObjectContainer(dmnService.getDmnServiceFromXml(dmnXML))
+            .withDmnObjectContainer(dmnService.getDmnServiceFromXml(dmnXml))
             .build());
     return map;
   }