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

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

Revision: 642
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=642&view=rev
Author:   pcmehlitz
Date:     2007-10-22 14:10:28 -0700 (Mon, 22 Oct 2007)

Log Message:
-----------
* fixed the annoying JPFException when specifying a non-existing application class (actually, it handles all
startup classes the same way now)

* added a Verify.set/getLocalAttr() debug method

* had to slightly change StackFrame.getLocalOffset() handling for this, which shouldn't throw an
exception anyways

* simplified the TestAttrsNew, which is going to be removed now anyways

* fixed the "lost attribute on backtrack" bug, which was nothing else than just a Fields.equals() that
wasn't aware of attributes. That's why it was spurious - sometimes, spuriousness tells a story.

* added attributes to the Fields hashing too. Not strictly required (hashCode isn't guaranteed to be unique
anyways), but seems like a good idea for sym exec (the other ones would get slowed down though) 

Modified Paths:
--------------
    trunk/examples/launch/basic-racer.launch
    trunk/examples/launch/conc-1-RA.launch
    trunk/src/gov/nasa/jpf/jvm/CollapsingRestorer.java
    trunk/src/gov/nasa/jpf/jvm/Fields.java
    trunk/src/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_jvm_Verify.java
    trunk/src/gov/nasa/jpf/jvm/JVM.java
    trunk/src/gov/nasa/jpf/jvm/StackFrame.java
    trunk/src/gov/nasa/jpf/jvm/Verify.java
    trunk/src/gov/nasa/jpf/util/HashData.java
    trunk/test/gov/nasa/jpf/jvm/TestAttrs.java
    trunk/test/gov/nasa/jpf/jvm/TestAttrsNew.java


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