[Javapathfinder-svn] SF.net SVN: javapathfinder:[1641] branches/mango/Mango

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

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

Log Message:
-----------
There is a bug involving the default package.  MangoJPF doesn't seem to find the corresponding .class files, event when one is specified as the target class.  For now working around this by moving Marc's exception handler test code to the "extest" package.

The invocation formal peers are not failing gracefully when there are link errors.  This needs to be figured out.  We may have to punch in the rest of the clinit design sooner rather than later so that popular java.io methods can be sensibly modelled. 

Have verified there there is in fact an issue with jpf lazy loading of method exception handlers.  This loading is now forced by calling MethodUtil.getExceptions().

In extest.lptry1, Mango is generating exception handler branch conditions as will as well as gracefully handling an invocation of java.ioPrintStream.println(I)V.  So this is a good place to start once ItsAWrap.main is working.

Something is causing branch conditions for exceptions to be dropped very early on.  This problem has nothing to do with existence of exception handlers or lack thereof.

Modified Paths:
--------------
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEVIRTUAL.java

Added Paths:
-----------
    branches/mango/Mango/mangoUserHome/frank/sessions/lptry1.zip
    branches/mango/MangoJPF/mangoUserHome/marc/arrayCopyShell/src/extest/
    branches/mango/MangoJPF/mangoUserHome/marc/arrayCopyShell/src/extest/arrayCopyShell.java
    branches/mango/MangoJPF/mangoUserHome/marc/hypo2/src/extest/
    branches/mango/MangoJPF/mangoUserHome/marc/hypo2/src/extest/hypo2.java
    branches/mango/MangoJPF/mangoUserHome/marc/jar/
    branches/mango/MangoJPF/mangoUserHome/marc/jar/extest.jar
    branches/mango/MangoJPF/mangoUserHome/marc/jarBuild
    branches/mango/MangoJPF/mangoUserHome/marc/lptry1/extest/
    branches/mango/MangoJPF/mangoUserHome/marc/lptry1/extest/lptry1.java
    branches/mango/MangoJPF/mangoUserHome/marc/lptry2/src/extest/
    branches/mango/MangoJPF/mangoUserHome/marc/lptry2/src/extest/lptry2.java
    branches/mango/MangoJPF/mangoUserHome/marc/try1/extest/
    branches/mango/MangoJPF/mangoUserHome/marc/try1/extest/try1.java
    branches/mango/MangoJPF/mangoUserHome/marc/try2/extest/
    branches/mango/MangoJPF/mangoUserHome/marc/try2/extest/try2.java
    branches/mango/MangoJPF/mangoUserHome/marc/try3/extest/
    branches/mango/MangoJPF/mangoUserHome/marc/try3/extest/try3.java
    branches/mango/MangoJPF/mangoUserHome/marc/trychk1/extest/
    branches/mango/MangoJPF/mangoUserHome/marc/trychk1/extest/trychk1.java
    branches/mango/MangoJPF/mangoUserHome/marc/trychk2/extest/
    branches/mango/MangoJPF/mangoUserHome/marc/trychk2/extest/trychk2.java
    branches/mango/MangoJPF/mangoUserHome/marc/trychk3/extest/
    branches/mango/MangoJPF/mangoUserHome/marc/trychk3/extest/trychk3.java
    branches/mango/MangoJPF/mangoUserHome/marc/trychk6/extest/
    branches/mango/MangoJPF/mangoUserHome/marc/trychk6/extest/trychk6.java
    branches/mango/MangoJPF/mangoUserHome/marc/trychk7/extest/
    branches/mango/MangoJPF/mangoUserHome/marc/trychk7/extest/trychk7.java
    branches/mango/MangoJPF/mangoUserHome/marc/trychk8/extest/
    branches/mango/MangoJPF/mangoUserHome/marc/trychk8/extest/trychk8.java

Removed Paths:
-------------
    branches/mango/MangoJPF/mangoUserHome/marc/arrayCopyShell/src/arrayCopyShell.java
    branches/mango/MangoJPF/mangoUserHome/marc/hypo2/src/hypo2.java
    branches/mango/MangoJPF/mangoUserHome/marc/lptry1/lptry1.java
    branches/mango/MangoJPF/mangoUserHome/marc/lptry2/src/lptry2.java
    branches/mango/MangoJPF/mangoUserHome/marc/try1/try1.java
    branches/mango/MangoJPF/mangoUserHome/marc/try2/try2.java
    branches/mango/MangoJPF/mangoUserHome/marc/try3/try3.java
    branches/mango/MangoJPF/mangoUserHome/marc/trychk1/trychk1.java
    branches/mango/MangoJPF/mangoUserHome/marc/trychk2/trychk2.java
    branches/mango/MangoJPF/mangoUserHome/marc/trychk3/trychk3.java
    branches/mango/MangoJPF/mangoUserHome/marc/trychk6/trychk6.java
    branches/mango/MangoJPF/mangoUserHome/marc/trychk7/trychk7.java
    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.