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

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

Revision: 1518
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1518&view=rev
Author:   frankrimlinger
Date:     2009-05-14 21:05:17 +0000 (Thu, 14 May 2009)

Log Message:
-----------
port of exception handler code to javapathfinder-mango-bridge in progress

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/worker/Worker.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/JPF_mango_scanner_ScannerMJI.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ExceptionHandlerUtil.java

Added Paths:
-----------
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecodeSynthetic/
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecodeSynthetic/ACATCHHANDLER.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecodeSynthetic/ATHROWCREATOR.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecodeSynthetic/ATHROWHANDLER.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecodeSynthetic/INVOKETARGET.java

Removed Paths:
-------------
    branches/mango/MangoJPF/Mango/src/mango/worker/javaModel/
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/INVOKETARGET.java


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