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

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

Revision: 761
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=761&view=rev
Author:   pcmehlitz
Date:     2008-02-21 20:25:35 -0800 (Thu, 21 Feb 2008)

Log Message:
-----------
* added an MJIEnv.getOperandAttrs() so that we can get and set operand attrs from within native methods.
This came up with the java.lang.Math native peer for symbolic exec, but will be helpful for the
numeric extension too

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

Added Paths:
-----------
    trunk/test/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_jvm_TestAttrs.java


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