handleMaps is ignored

[martinschaef]

The handleMapsBackward and handleMapsForward methods ignore the handleMaps option. It doesn't look like this option is used anywhere in the code.

[martinschaef]

This would do the trick:

diff --git a/boomerangPDS/src/main/java/boomerang/WeightedBoomerang.java b/boomerangPDS/src/main/java/boomerang/WeightedBoomerang.java
index 13088abc..cb7b7833 100644
--- a/boomerangPDS/src/main/java/boomerang/WeightedBoomerang.java
+++ b/boomerangPDS/src/main/java/boomerang/WeightedBoomerang.java
@@ -178,7 +178,9 @@ public abstract class WeightedBoomerang<W extends Weight> {
                 }
                 addVisitedMethod(node.stmt().getStart().getMethod());
 
-                handleMapsBackward(node);
+                if (options.handleMaps()) {
+                  handleMapsBackward(node);
+                }
 
                 if (options.trackStaticFieldAtEntryPointToClinit()) {
                   handleStaticInitializer(node, backwardSolver);
@@ -528,7 +530,9 @@ public abstract class WeightedBoomerang<W extends Weight> {
           }
 
           addVisitedMethod(node.stmt().getStart().getMethod());
-          handleMapsForward(solver, node);
+          if (options.handleMaps()) {
+            handleMapsForward(solver, node);
+          }
         });
 
     return solver;

[johspaeth]

Thanks for the suggested fix. I'll include the diff with my next changes.