projects
/
jpf-core.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
More filtering: never define a method call 'call' since Groovy generates a lot of...
[jpf-core.git]
/
src
/
main
/
gov
/
nasa
/
jpf
/
vm
/
serialize
/
SmartThingsConfig.java
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;