add percentage skipped

ros3rag.placeB/src/main/java/de/tudresden/inf/st/placeB/UtilB.java

 package de.tudresden.inf.st.placeB;
 
 import com.fasterxml.jackson.databind.ObjectMapper;
-import com.google.protobuf.util.JsonFormat;
 import de.tudresden.inf.st.ceti.Object;
-import de.tudresden.inf.st.ceti.Reachability;
 import de.tudresden.inf.st.placeB.ast.*;
 import de.tudresden.inf.st.ros3rag.common.RegionConfiguration;
 import de.tudresden.inf.st.ros3rag.common.RegionConfiguration.RegionDefinition;
@@ -13,7 +11,6 @@ import org.apache.logging.log4j.Logger;
 
 import java.io.File;
 import java.io.IOException;
-import java.nio.file.Files;
 import java.nio.file.Path;
 import java.util.List;
 import java.util.function.Function;
@@ -133,10 +130,33 @@ public class UtilB {
     sb.append("Operations: ").append(model.diffToOperations().prettyPrint(Operation::prettyPrint)).append("\n");
     sb.append("Next operation: ").append(model.getNextOperation().prettyPrint()).append("\n");
     sb.append("Operation History: ").append(model.getExecutedOperations().prettyPrint(Operation::prettyPrint)).append("\n");
-    sb.append("EvaluationCounter:\n").append(model.ragconnectEvaluationCounterSummary());
+    String summary = model.ragconnectEvaluationCounterSummary();
+    sb.append("EvaluationCounter:\n").append(summary);
+    sb.append("% skipped: ").append(percentageSkipped(summary)).append("\n");
     return sb.toString();
   }
 
+  static double percentageSkipped(String summary) {
+    int sumCall = 0;
+    int sumSkipped = 0;
+    try {
+      for (String line : summary.split("\n")) {
+        String[] tokens = line.split(",");
+        if (tokens.length == 0 || tokens[0].equals("parentTypeName")) {
+          continue;
+        }
+        sumCall += Integer.parseInt(tokens[4]);
+        sumSkipped += Integer.parseInt(tokens[6]);
+      }
+    } catch (NumberFormatException e) {
+      logger.catching(e);
+    }
+    if (sumCall == 0) {
+      return 0;
+    }
+    return sumSkipped * 100.0 / sumCall;
+  }
+
   static Scene convert(de.tudresden.inf.st.ceti.Scene scene) throws Exception {
     return new ExposingASTNode().exposed_apply_ConvertScene(scene);
   }