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

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

Revision: 720
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=720&view=rev
Author:   pcmehlitz
Date:     2007-12-26 23:15:39 -0800 (Wed, 26 Dec 2007)

Log Message:
-----------
* bag of bug fixes from Tihomir & Darko

 - ConsoleOutputStream printf/format (w/o test, since only side effect)
 - Enum<T>.valueOf() fix (requires - package private - Class.enumConstantDirectory(), which uses a private Class field)
 - Class.getInterfaces() (according to doc, it was returning all interfaces, but it turns out that in reality it
 only should return the declared (direct) interfaces)
 - cloning of primitive type arrays
 
 The last one was the biggest change with quite some fan out - the real problem is yet again in the various different
 naming schemes (type code, dot/builtin, L-dot, L-slash). DynamicArea.newArray() tried to be too smart, which ended up in an
 ambiguity between builtin typecodes and user defined classes in the default package (e.g. "B"). Of course, we can
 only test this if we also allow rawtest/JPF driver combos in a test/ default package (Java >1.4 doesn't allow
 importing def package classes into named packages), which also required build.xml to be modified.
 
 NOTE - DynmaicArea.newArray() now expects L-slash notation! If you use the MJIEnv.newObjectArray() facade, you can still use
 normal dot names, but otherwise the burden is on the caller. THIS MIGHT BREAK SOME CODE OUT THERE
 
 A pity we hav to go through all this for the stupid case somebody wants to name default package classes "B", "C" etc.
 (which is unfortunately what everybody does with quick tests)
 
 * Fields.equals() had a bug with attribute comparison (missing branches) - thanks Hank
   

Modified Paths:
--------------
    trunk/build.xml
    trunk/env/jpf/java/lang/Class.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_ConsoleOutputStream.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_Class.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_Object.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_System.java
    trunk/extensions/statechart/env/jvm/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_sc_State.java
    trunk/src/gov/nasa/jpf/jvm/ClassInfo.java
    trunk/src/gov/nasa/jpf/jvm/DynamicArea.java
    trunk/src/gov/nasa/jpf/jvm/Fields.java
    trunk/src/gov/nasa/jpf/jvm/MJIEnv.java
    trunk/test/gov/nasa/jpf/jvm/TestJavaLangClass.java
    trunk/test/gov/nasa/jpf/jvm/TestJavaLangClassJPF.java

Added Paths:
-----------
    trunk/test/TestJavaLangObject.java
    trunk/test/TestJavaLangObjectJPF.java
    trunk/test/gov/nasa/jpf/jvm/TestEnum.java
    trunk/test/gov/nasa/jpf/jvm/TestEnumJPF.java


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