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

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

Revision: 1645
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1645&view=rev
Author:   frankrimlinger
Date:     2009-06-17 20:13:54 +0000 (Wed, 17 Jun 2009)

Log Message:
-----------
Fixed dropped branch condition bug for Exception Handlers.  This was actually an EZ bug.  As exception handling now works correctly in the bread-and-butter case of no handlers, punting on  Marc's stuff for now.  Fixed source code display bugs.  There are probably more of these out there.  This subject requires mastery of

***Zen and the art of line numbers***

When Method.getLineNumber is passed an Instruction, it returns the source code line number of that instruction.  When Instruction.getLineNumber is called, it returns the index of this instruction in the corresponding Instruction[] code array. This is also called the "position" by jpf.  Mango uses the word "lineNumber" to refer to what a jpf instruction would call "pc" or "offset", and this is the offset into the jvm codeblock in the Code attribute of an instruction.  For example, the following returns a source code line number of a mango lineNumber:

method.getLineNumber(method.getInstructionAt(lineNumber));

To simplify usage, the gem is encapsulated as

MethodUtil.getSourceCodeLineNumber(method,lineNumber)

Replayed all itsAWrap sessions successfully.  Moving on to other baseline loop tests.

Modified Paths:
--------------
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ExceptionHandlerUtil.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MethodUtil.java
    branches/mango/MangoJPF/mangoUserHome/frank/rules/rulebase.zip
    branches/mango/MangoJPF/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/length of the Array 'x' is greater than or equal to 10.zip
    branches/mango/MangoJPF/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8:iload_1_Code_01/op0 is less than 10.zip
    branches/mango/MangoJPF/mangoUserHome/frank/sessions/baseline/itsAWrap/main([I)Z/length of the Array 'x' is greater than or equal to 10.zip

Removed Paths:
-------------
    branches/mango/MangoJPF/mangoUserHome/frank/sessions/a.zip
    branches/mango/MangoJPF/mangoUserHome/frank/sessions/baseline/itsAWrap/main([I)Z/a.zip


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