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

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

Revision: 333
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=333&view=rev
Author:   pcmehlitz
Date:     2007-05-03 00:41:04 -0700 (Thu, 03 May 2007)

Log Message:
-----------
* InputStreamReader has to provide a ready()

* casting multi-dim array objects failed because of the / . type name confusion

* Random now uses the standard lib randomizing. Still need to do the optional
CG enumeration - THIS MIGHT BREAK SOME JPF EXAMPLE/TEST APPS!!

* StringBuffer wasn't null safe

* UNBELIEVABLE - apparently we never had growing DynamicXArrays, since there was
a freakish relict bug in the growth handling

Modified Paths:
--------------
    trunk/env/jpf/java/io/InputStreamReader.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_StringBuffer.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_reflect_Array.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_Random.java
    trunk/src/gov/nasa/jpf/jvm/Types.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/CHECKCAST.java
    trunk/src/gov/nasa/jpf/util/DynamicIntArray.java
    trunk/src/gov/nasa/jpf/util/DynamicObjectArray.java


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