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

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

Revision: 273
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=273&view=rev
Author:   pcmehlitz
Date:     2007-03-01 16:03:06 -0800 (Thu, 01 Mar 2007)

Log Message:
-----------
last commit got fired off prematurely, so here goes again

* added a Types.getCanonicalTypeName to overcome the "byte" vs. "[B" anomaly. This is now
used for lookup in ClassInfo.getClassInfo.
the FieldInfo still needs to be updated, since it still uses the "Ljava/lang/String;" notation,
causing a lot of superfluous name conversions (I guess that comes from BCEL)

* with that, fixed the AtomicReferenceFieldUpdater so that it can also handle arrays of
builtin types

* added a simple regtest for it

* ..and with that the BufferedInputStream should run - so I've added another reg test
for that one too

Modified Paths:
--------------
    trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/StateMachine.java
    trunk/extensions/statechart/env/jvm/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_sc_StateMachine.java
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/sc/SimStateMachine.java
    trunk/jpf.properties

Added Paths:
-----------
    trunk/test/gov/nasa/jpf/jvm/TestAtomicReferenceFieldUpdater.java
    trunk/test/gov/nasa/jpf/jvm/TestAtomicReferenceFieldUpdaterJPF.java
    trunk/test/gov/nasa/jpf/jvm/TestBufferedInputStream.java
    trunk/test/gov/nasa/jpf/jvm/TestBufferedInputStreamJPF.java


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