projects
/
jpf-core.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
3f93420
)
More filtering: never define a method call 'call' since Groovy generates a lot of...
author
rtrimana
<rtrimana@uci.edu>
Sat, 4 Jul 2020 00:14:00 +0000
(17:14 -0700)
committer
rtrimana
<rtrimana@uci.edu>
Sat, 4 Jul 2020 00:14:00 +0000
(17:14 -0700)
src/main/gov/nasa/jpf/vm/serialize/SmartThingsConfig.java
patch
|
blob
|
history
diff --git
a/src/main/gov/nasa/jpf/vm/serialize/SmartThingsConfig.java
b/src/main/gov/nasa/jpf/vm/serialize/SmartThingsConfig.java
index 94fc0f3aabd1cbadfda4026a009af4735caa5fc5..589f53eee0f1bba68fc0fcf6cfc4a8db033c08a5 100644
(file)
--- 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;
}
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();
@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 {
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;
}
return sofar;