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

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

Revision: 1524
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1524&view=rev
Author:   frankrimlinger
Date:     2009-05-15 18:54:42 +0000 (Fri, 15 May 2009)

Log Message:
-----------
Detailed work on bridge port of exception handling in progress.  But first, need to figure out exactly how the contruction of the total graph is to proceed.  The first point is that the intermediate Branch class is to be completely eliminated.  There will be a 1-1 binding between Instructions and total graph vertices.  Instead of creating branches, just immediately punch in the corresponding edge between vertices.  This amounts to wiring in the correct phase1 code at the moment branches are currently created, and creating total vertex peers for the instructions on demand.  To avoid calling buildFormalPeer more than once, define an Hitem formalPeer member which represents the state transition.  That way we can grab it when necessary and also know when it has already been created.

Start by defining exactly what happens when jpf calls the mango hooks.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/worker/javaModel/jvmSyntax/attributes/Code_attribute.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ExceptionHandlerUtil.java
    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


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