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

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

Revision: 1716
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1716&view=rev
Author:   frankrimlinger
Date:     2009-07-02 05:38:46 +0000 (Thu, 02 Jul 2009)

Log Message:
-----------
Cleanup up of invocation instructions, finally resolving the exception handler chicken-and-egg.  The solution is to uncouple *creation* of ACATCHHANLDER and ATHROWCREATOR, required by the execute() routine to set up scanner branching, from the formal construction, which takes place as it should in buildFormalPeer.  These two different activities have finally been teased apart correctly.

Rehab must be propagated to all the other instructions which branch in the scanner.  Also, ATHROWCREATOR is not playing well with BranchChoiceGenerator, need to investigate this.

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/BackupAlg.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/CodeSurvey.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ExceptionHandlerUtil.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/Invocation.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInstruction.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInterface.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInvokeInstruction.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ACATCHHANDLER.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/IDIV.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEINTERFACE.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKESPECIAL.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKESTATIC.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEVIRTUAL.java


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