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

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

Revision: 474
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=474&view=rev
Author:   pcmehlitz
Date:     2007-08-03 13:59:24 -0700 (Fri, 03 Aug 2007)

Log Message:
-----------
* next stab on InvokeInstruction.getArgumentValues() - this is a never ending story, with all it's
corner cases (native/bc pre/post exec, overlayed direct calls like clinit, exceptions etc.)

* added a Instruction.isCompleted(ti) so that listeners can check in instructionExecuted() if
the thing is actually done, or we will come back to it (CGs, direct call overlays like clinit
or preconds)

* for that, added some more stack accessors to ThreadInfo

* did a stupid rename of ThreadInfo.top() to getTopFrame() for consistencies sake, but wasn't aware
of the huge fan out (lots of changed classes)

* slightly enhanced the CallMonitor (depth, tid, isCompleted)

* some TSVM changed to do real parameter object initialization, to avoid NPEs and the like when
executing test methods. Not yet functional

Modified Paths:
--------------
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_Math.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IADD.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IAND.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IDIV.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFEQ.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFGE.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFGT.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFLE.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFLT.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFNE.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IF_ICMPGE.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IF_ICMPGT.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IF_ICMPLE.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IF_ICMPLT.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IINC.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IMUL.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INEG.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKESTATIC.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKEVIRTUAL.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IOR.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IREM.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/ISUB.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IXOR.java
    trunk/extensions/symts/src/gov/nasa/jpf/ts/TSVM.java
    trunk/extensions/symts/test/gov/nasa/jpf/ts/TestUnprotectedRW.java
    trunk/src/gov/nasa/jpf/jvm/DynamicArea.java
    trunk/src/gov/nasa/jpf/jvm/MethodInfo.java
    trunk/src/gov/nasa/jpf/jvm/NativePeer.java
    trunk/src/gov/nasa/jpf/jvm/ThreadInfo.java
    trunk/src/gov/nasa/jpf/jvm/abstraction/filter/FilteringSerializer.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/INVOKESTATIC.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/Instruction.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/InvokeInstruction.java
    trunk/src/gov/nasa/jpf/tools/CallMonitor.java


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