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

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

Revision: 365
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=365&view=rev
Author:   pcmehlitz
Date:     2007-06-20 15:45:38 -0700 (Wed, 20 Jun 2007)

Log Message:
-----------
* the big change is an overhaul and completion of the Stackframe attribute system.
attribute references for locals and operands are only added on demand, i.e. are
not allocated by default. Once they are there, xLOAD/xSTORE and all the operand stack
ops update attributes automatically (i.e. copy between stack and operands etc.). Using
the attributes needs more testing though

* this required some changes in the StackFrame interface (as exposed by ThreadInfo), to
better accomodate the xLOAD/xSTORE insns

* added some public StackFrame accessors for attributes and operand/local values

* various little bugs reg. Throwable (e.g. a missing native toString())

* changed the RawTest interface = we only support calling one test method at a time,
but with optional String/int/double/boolean parameters. This also wraps InvocationTargetExceptions
into RuntimeExceptions, so that RawTest main() methods don't have to declare exception anymore.
Updated a bunh of tests accordingly

* some obsolete Debug cleanup

Modified Paths:
--------------
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_Throwable.java
    trunk/extensions/numeric/test/gov/nasa/jpf/numeric/TestNumeric.java
    trunk/src/gov/nasa/jpf/jvm/DirectCallStackFrame.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/KernelState.java
    trunk/src/gov/nasa/jpf/jvm/MethodInfo.java
    trunk/src/gov/nasa/jpf/jvm/StackFrame.java
    trunk/src/gov/nasa/jpf/jvm/ThreadInfo.java
    trunk/src/gov/nasa/jpf/jvm/Verify.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/ALOAD.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/ASTORE.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/DLOAD.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/DSTORE.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/FLOAD.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/FSTORE.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/ILOAD.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/INVOKESTATIC.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/ISTORE.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/LLOAD.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/LSTORE.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/LocalVariableInstruction.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/NEW.java
    trunk/test/gov/nasa/jpf/jvm/RawTest.java
    trunk/test/gov/nasa/jpf/jvm/TestFileIO.java
    trunk/test/gov/nasa/jpf/jvm/TestJavaLangString.java
    trunk/test/gov/nasa/jpf/jvm/TestNativePeer.java
    trunk/test/gov/nasa/jpf/jvm/TestNativePeerJPF.java
    trunk/test/gov/nasa/jpf/mc/TestRace.java
    trunk/test/gov/nasa/jpf/mc/TestRandom.java
    trunk/test/gov/nasa/jpf/mc/TestRandomJPF.java
    trunk/test/gov/nasa/jpf/mc/TestVMDeadlock.java


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