[Javapathfinder-svn] SF.net SVN: javapathfinder:[1548] branches/mango/MangoJPF

[<fra...@us...>]

Revision: 1548
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1548&view=rev
Author:   frankrimlinger
Date:     2009-05-24 01:27:20 +0000 (Sun, 24 May 2009)

Log Message:
-----------
Realized that required jar plugins (other than those in the standard Eclipse distribution) were not physically present in the MangoJPF project.  This is undesirable, so copied them in.

Port of method and class adapter utilities complete.  But there are issues...

The javadoc for MethodInfo.loadLocalVariableNames  is a little misleading.  You can't really get "the local variable names for the method" because the variable name is dependent on the pc.  So instead of calling the bcel method LocalVariableTable.getLocalVariableTable(), which presumably is some approximation, call the more precise LocalVariableTable.getLocalVariable(index,pc).

It is possible that the javadoc predates the more precise bcel method.  That is the charming thing about documentation.

For the record, the old class parser getLocalVarName() contains the following statement:

This is very disturbing, but the local variable appears to be
start_pc-1 to start_pc+length-1 inclusive.  Don't know why we are off.

Will this chicken come home to roost?

Modified Paths:
--------------
    branches/mango/MangoJPF/META-INF/MANIFEST.MF
    branches/mango/MangoJPF/Mango/src/mango/worker/Worker.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/ACONST_NULL.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/ANEWARRAY.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ClassUtil.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MethodUtil.java

Added Paths:
-----------
    branches/mango/MangoJPF/plugins/
    branches/mango/MangoJPF/plugins/Mango_Jars_1.0.0.jar
    branches/mango/MangoJPF/plugins/javapathfinder_trunk_extensions_symbc_lib_update1_1.0.0.jar
    branches/mango/MangoJPF/plugins/jpf_trunk_build_tools_lib_1.0.0.jar
    branches/mango/MangoJPF/plugins/jpf_trunk_extensions_concolic_1.0.0.jar
    branches/mango/MangoJPF/plugins/jpf_trunk_extensions_symbc_1.0.0.jar
    branches/mango/MangoJPF/plugins/jpf_trunk_extensions_symbolic_1.0.0.jar
    branches/mango/MangoJPF/plugins/jpf_trunk_lib_1.0.0.jar

Removed Paths:
-------------
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/backupAlg/


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