Cleaning up for the real fixes.

[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 a7c5ed9c982156c538cc311f7316eff0070190dd..964968d2b32d92519fb29b5925ac26435986250b 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
@@ -114,7 +114,7 @@ public class JPF_java_lang_reflect_Method extends NativePeer {
     return getParameterTypes(env, getMethodInfo(env, objRef));
   }
 
-  // TODO: DIRTY HACKS
+  // TODO: Fix for Groovy's model-checking
   @MJI
   public int getGenericParameterTypes_____3Ljava_lang_reflect_Type_2 (MJIEnv env, int objRef){
     //return getGenericParameterTypes(env, getMethodInfo(env, objRef));
@@ -125,7 +125,7 @@ public class JPF_java_lang_reflect_Method extends NativePeer {
   public int getGenericReturnType____Ljava_lang_reflect_Type_2 (MJIEnv env, int objRef){
     return getReturnType____Ljava_lang_Class_2(env, objRef);
   }
-  // TODO: DIRTY HACKS
+  // TODO: Fix for Groovy's model-checking
   
   int getExceptionTypes(MJIEnv env, MethodInfo mi) {
     ThreadInfo ti = env.getThreadInfo();