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

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

Revision: 1637
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1637&view=rev
Author:   frankrimlinger
Date:     2009-06-17 14:35:02 +0000 (Wed, 17 Jun 2009)

Log Message:
-----------
The idea that jpf was not loading exception tables is wrong.  These tables only apply to checked exceptions thrown by a method, which is not the situation I am in.  So the immediate problem of dropped exception branch conditions lies elsewhere.  To address this whole issue more systematically, have reinstanted Marc's exception handler tests, which for the most part are taken from the old IBM jikes test suite.

Modified Paths:
--------------
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ExceptionHandlerUtil.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MethodUtil.java

Added Paths:
-----------
    branches/mango/MangoJPF/mangoUserHome/marc/
    branches/mango/MangoJPF/mangoUserHome/marc/arrayCopyShell/
    branches/mango/MangoJPF/mangoUserHome/marc/arrayCopyShell/src/
    branches/mango/MangoJPF/mangoUserHome/marc/arrayCopyShell/src/arrayCopyShell.java
    branches/mango/MangoJPF/mangoUserHome/marc/hypo2/
    branches/mango/MangoJPF/mangoUserHome/marc/hypo2/src/
    branches/mango/MangoJPF/mangoUserHome/marc/hypo2/src/hypo2.java
    branches/mango/MangoJPF/mangoUserHome/marc/lptry1/
    branches/mango/MangoJPF/mangoUserHome/marc/lptry1/lptry1.java
    branches/mango/MangoJPF/mangoUserHome/marc/lptry2/
    branches/mango/MangoJPF/mangoUserHome/marc/lptry2/src/
    branches/mango/MangoJPF/mangoUserHome/marc/lptry2/src/lptry2.java
    branches/mango/MangoJPF/mangoUserHome/marc/try1/
    branches/mango/MangoJPF/mangoUserHome/marc/try1/try1.java
    branches/mango/MangoJPF/mangoUserHome/marc/try2/
    branches/mango/MangoJPF/mangoUserHome/marc/try2/try2.java
    branches/mango/MangoJPF/mangoUserHome/marc/try3/
    branches/mango/MangoJPF/mangoUserHome/marc/try3/try3.java
    branches/mango/MangoJPF/mangoUserHome/marc/trychk1/
    branches/mango/MangoJPF/mangoUserHome/marc/trychk1/trychk1.java
    branches/mango/MangoJPF/mangoUserHome/marc/trychk2/
    branches/mango/MangoJPF/mangoUserHome/marc/trychk2/trychk2.java
    branches/mango/MangoJPF/mangoUserHome/marc/trychk3/
    branches/mango/MangoJPF/mangoUserHome/marc/trychk3/trychk3.java
    branches/mango/MangoJPF/mangoUserHome/marc/trychk6/
    branches/mango/MangoJPF/mangoUserHome/marc/trychk6/trychk6.java
    branches/mango/MangoJPF/mangoUserHome/marc/trychk7/
    branches/mango/MangoJPF/mangoUserHome/marc/trychk7/trychk7.java
    branches/mango/MangoJPF/mangoUserHome/marc/trychk8/
    branches/mango/MangoJPF/mangoUserHome/marc/trychk8/trychk8.java


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