projects
/
jpf-core.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fixing JPF for methodMissing() method in Groovy: 1) Bug in detecting the array type...
[jpf-core.git]
/
src
/
main
/
gov
/
nasa
/
jpf
/
vm
/
ClassInfo.java
diff --git
a/src/main/gov/nasa/jpf/vm/ClassInfo.java
b/src/main/gov/nasa/jpf/vm/ClassInfo.java
index abc9499818e31ba264210cfbfdf7dd9341e178b9..3ff7ca6ca7c6d13a72e7dd1b551031168872f621 100644
(file)
--- a/
src/main/gov/nasa/jpf/vm/ClassInfo.java
+++ b/
src/main/gov/nasa/jpf/vm/ClassInfo.java
@@
-1813,6
+1813,12
@@
public class ClassInfo extends InfoObject implements Iterable<MethodInfo>, Gener
public static boolean isBuiltinClass (String cname) {
char c = cname.charAt(0);
public static boolean isBuiltinClass (String cname) {
char c = cname.charAt(0);
+ // TODO: Fix for Groovy's model-checking
+ // TODO: Handling impossible names in Groovy, e.g., [Ljava.lang.Object;BeanInfo
+ if (cname.indexOf(';') != -1 && cname.indexOf(';') != cname.length() - 1) {
+ return false;
+ }
+
// array class
if ((c == '[') || cname.endsWith("[]")) {
return true;
// array class
if ((c == '[') || cname.endsWith("[]")) {
return true;