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

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

Revision: 520
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=520&view=rev
Author:   pcmehlitz
Date:     2007-08-18 12:29:02 -0700 (Sat, 18 Aug 2007)

Log Message:
-----------
* fixed a bug in array instantiation via java.lang.reflect.Array - the array
class was initialized in slash-notation, whereas Java seems to use the
dot-notation. Refactored this to happen in DynamicArea.newArray(), since
the initialization is just adding it to the StaticArea and creating the
class object.

The Java type names are a mess!! (method sigs use slash, array types dots,
sometimes "[]" gets appended, sometimes'[' prepended, sometimes it's
typecodes ('I'), sometimes primitive names ("int")..)

* had to add a public static accessor for the StaticArea, since there is
no access path for all clients. BAD. but has to be revisited anyways when
reworking the Dynamicarea/StaticArea. at least it's consistent with
DynamicArea.getHeap()

Modified Paths:
--------------
    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/MJIEnv.java
    trunk/src/gov/nasa/jpf/jvm/StaticArea.java
    trunk/src/gov/nasa/jpf/jvm/Types.java


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