projects
/
jpf-core.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Finalizing the beta version of the implementation for Groovy extension in JPF: JPF...
[jpf-core.git]
/
src
/
peers
/
gov
/
nasa
/
jpf
/
vm
/
JPF_java_lang_reflect_Method.java
diff --git
a/src/peers/gov/nasa/jpf/vm/JPF_java_lang_reflect_Method.java
b/src/peers/gov/nasa/jpf/vm/JPF_java_lang_reflect_Method.java
index 123cbbb16364d5b5ad96d41702ebe989d22f33dd..3baa1651b31a3fdbdaa777a8fa0e16d723e9f10a 100644
(file)
--- a/
src/peers/gov/nasa/jpf/vm/JPF_java_lang_reflect_Method.java
+++ b/
src/peers/gov/nasa/jpf/vm/JPF_java_lang_reflect_Method.java
@@
-319,7
+319,6
@@
public class JPF_java_lang_reflect_Method extends NativePeer {
return retRef;
}
// TODO: Fix for Groovy's model-checking
- // TODO: We have been able to only register the generic class and not yet the parameterized types
int getExceptionTypes(MJIEnv env, MethodInfo mi) {
ThreadInfo ti = env.getThreadInfo();