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

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

Revision: 1726
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1726&view=rev
Author:   frankrimlinger
Date:     2009-07-06 21:32:26 +0000 (Mon, 06 Jul 2009)

Log Message:
-----------
Fixed some EZ bugs.  There is a problem in hypo2.test() after the call to test2().  In this case, an explicit handler is set up to catch exceptions at the source code level.  However, the ArithmeticException thrown by test2() is not caught as it should be, and checkPoint2 is not set.  Inspection of the graph reveals that the branch conditions for the ATHROWANDLER are brain-dead.  Investigating.

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/worker/Mango.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/form/model/StatItemModel.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/form/model/StatModel.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInstruction.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInvokeInstruction.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ACATCHHANDLER.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ATHROWCREATOR.java
    branches/mango/MangoJPF/mangoUserHome/frank/rules/rulebase.zip

Added Paths:
-----------
    branches/mango/MangoJPF/mangoUserHome/frank/sessions/a.zip
    branches/mango/MangoJPF/mangoUserHome/frank/sessions/extest/hypo2/test()I/


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