[Javapathfinder-svn] SF.net SVN: javapathfinder:[1003] trunk

[<pcm...@us...>]

Revision: 1003
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1003&view=rev
Author:   pcmehlitz
Date:     2008-09-06 01:58:42 +0000 (Sat, 06 Sep 2008)

Log Message:
-----------
* missing class object and clinit execution for Method and Constructor reflection
(getReturnType() and getParameterTypes()). The latter one was delegating to 
MJIEnv, using a ClinitRequired exception, which was lame - wherever the caller
can detect the need for re-exec of a known insn or native method, it should do so w/o
reverting to control flow exceptions. Consequently removed the MJIEnv.getParameterTypeArray(),
but left the ClinitRequired exception type in there, in case this happens from a location
where we don't know how to repeat

* refactored Consructor/Method native peers a bit to avoid code duplication (beware - we use
different registries for ctors and methods)

* added some test cases for this to TestMethodReflection

this should solve Taehoon's problem  

Modified Paths:
--------------
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_reflect_Constructor.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_reflect_Method.java
    trunk/src/gov/nasa/jpf/jvm/ClassInfo.java
    trunk/src/gov/nasa/jpf/jvm/MJIEnv.java
    trunk/test/gov/nasa/jpf/jvm/TestJavaLangString.java
    trunk/test/gov/nasa/jpf/jvm/TestMethodReflection.java
    trunk/test/gov/nasa/jpf/jvm/TestMethodReflectionJPF.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.