From: rtrimana <rtrimana@uci.edu>
Date: Sat, 4 Jul 2020 00:14:00 +0000 (-0700)
Subject: More filtering: never define a method call 'call' since Groovy generates a lot of... 
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=6043aef21d400687617a3c1b1a47db55f0e66955;hp=3f9342059ec33896c372b743fe016c2d92cdd209

More filtering: never define a method call 'call' since Groovy generates a lot of those.
---

diff --git a/src/main/gov/nasa/jpf/vm/serialize/SmartThingsConfig.java b/src/main/gov/nasa/jpf/vm/serialize/SmartThingsConfig.java
index 94fc0f3..589f53e 100644
--- a/src/main/gov/nasa/jpf/vm/serialize/SmartThingsConfig.java
+++ b/src/main/gov/nasa/jpf/vm/serialize/SmartThingsConfig.java
@@ -147,15 +147,21 @@ public class SmartThingsConfig
     return sofar;
   }
 
+  boolean checkName(String name) {
+    if (name.equals("call"))
+      return true;
+    return (name.charAt(0) == '[' && name.charAt(name.length()-1)==']');
+  }
+  
   @Override
   public FramePolicy ammendFramePolicy(MethodInfo mi, FramePolicy sofar) {
     ClassInfo ci = mi.getClassInfo();
-    if (ignoreClass(ci)) {
+    if (ignoreClass(ci) || checkName(mi.getName())) {
       sofar.includeLocals = false;
       sofar.includeOps = false;
       sofar.includePC = false;
     } else {
-      //      System.out.println("Including M: " +mi);
+      //            System.out.println("Including M: " +mi.getName());
     }
 
     return sofar;