[Javapathfinder-svn] SF.net SVN: javapathfinder: [927] trunk

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

Revision: 927
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=927&view=rev
Author:   pcmehlitz
Date:     2008-07-15 13:59:06 -0700 (Tue, 15 Jul 2008)

Log Message:
-----------
* changed NativePeer so that it caches a clone of the caller frame. That sucks a quite bit, but the alternative of
using the reflection call argument array is worse, since it doesn't preserve ElementInfos (turns them into
Integers because of the reflection call mapping to 'int'). Seems nobody so far ran into this anomaly between
argument values for model and native peer methods.

that calls for a more efficient StackFrame clone (e.g. unified operand/local slots), but that has to wait until v5

* with that, moved the argument attribute retrieval (from MJIEnv) to StackFrame, since ThreadInfo doesn't know about
about cached StackFrames (of NativePeer)

* with that, implemented getArgumentAttrs in InvokeInstruction, so that it can be used consistently in pre/post
exec listeners no matter if the invoked method is native or not

Modified Paths:
--------------
    trunk/src/gov/nasa/jpf/jvm/MJIEnv.java
    trunk/src/gov/nasa/jpf/jvm/NativePeer.java
    trunk/src/gov/nasa/jpf/jvm/StackFrame.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/InvokeInstruction.java
    trunk/test/gov/nasa/jpf/jvm/TestAttrs.java
    trunk/test/gov/nasa/jpf/jvm/TestAttrsJPF.java


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