[Javapathfinder-devel] SF.net SVN: javapathfinder: [560] trunk

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

Revision: 560
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=560&view=rev
Author:   pcmehlitz
Date:     2007-09-11 14:40:23 -0700 (Tue, 11 Sep 2007)

Log Message:
-----------
the grand scheme is to make the MethodTester run under JPF. For that we need a lot more reflection..

* added synthetic, on-the-fly creation of Annotation proxy classes, turning annotation entries into
field/accessor pairs. Some functionality resides in an actificial AnnotationProxyBase, so that we don't
have to generate too much code. And since it's not subject to verification, the code is actually
in a NativePeer

* added initialize(..) methods for ALOAD,GETFIELD so that we can instantiate them in synthetic methods

* added missing Array.get()

* added missing Class.getAnnotation() (Method/Field.getAnnotation() still missing, but the same)

* added MethodTester and MemoryGoal NativePeers, to facilitate execution under JPF. native peers are
the preferred way to add JPF specific behavior

* added a DynamicArea.getHeapSize() for statistical purposes

Modified Paths:
--------------
    trunk/env/jpf/java/lang/Class.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_Class.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_reflect_Array.java
    trunk/src/gov/nasa/jpf/jvm/ClassInfo.java
    trunk/src/gov/nasa/jpf/jvm/DynamicArea.java
    trunk/src/gov/nasa/jpf/jvm/FieldInfo.java
    trunk/src/gov/nasa/jpf/jvm/MJIEnv.java
    trunk/src/gov/nasa/jpf/jvm/MethodInfo.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/ALOAD.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/GETFIELD.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/IRETURN.java
    trunk/src/gov/nasa/jpf/test/Goal.java
    trunk/src/gov/nasa/jpf/tools/MethodTester.java

Added Paths:
-----------
    trunk/env/jpf/gov/nasa/jpf/AnnotationProxyBase.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_AnnotationProxyBase.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_test_MemoryGoal.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_tools_MethodTester.java


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