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

SourceForge Headquarters 225 Broadway Suite 1600 San Diego, CA 92101 +1 (858) 422-6466

Revision: 271
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=271&view=rev
Author:   pcmehlitz
Date:     2007-02-28 23:45:54 -0800 (Wed, 28 Feb 2007)

Log Message:
-----------
* added simple java.util.concurrent.AtomicReferenceFieldUpdater replacement. It's apparently
used in BufferedInputStream. This thing doesn't do much else than the compareAndSet(), which
is trivial to implement on the peer side

* added a FieldInfo.getTypeClassInfo()

* it seems java.lang.reflect.Field was using the FieldInfo type name wrongly

* added a little more info to the error section printing in the ConsolePublisher

Modified Paths:
--------------
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_reflect_Field.java
    trunk/src/gov/nasa/jpf/jvm/FieldInfo.java
    trunk/src/gov/nasa/jpf/report/ConsolePublisher.java

Added Paths:
-----------
    trunk/env/jpf/java/util/concurrent/atomic/
    trunk/env/jpf/java/util/concurrent/atomic/AtomicReferenceFieldUpdater.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_concurrent_atomic_AtomicReferenceFieldUpdater.java

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