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

SourceForge Headquarters 1320 Columbia Street Suite 310 San Diego, CA 92101 +1 (858) 422-6466

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

Log Message:
-----------
All edge building logic has been ported.  This is by far the trickiest step, so apparently the one-pass strategy is going to pan out.  It remains to

1. transfer the required functionality in the old ClassParser.Instruction to MangoInstruction to complete the port of the BackupAlg,
2. port the required functionlity from the old ClassParser Method and ClassModel classes to MethodUtil and ClassUtil, resp,
3. finish porting the rest of the mango formal logic to the bridge bytecodes.

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/backupAlg/BackupAlg.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/edge/Edge.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ExceptionHandlerUtil.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInstruction.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MethodUtil.java

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