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

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

Revision: 1597
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1597&view=rev
Author:   frankrimlinger
Date:     2009-06-05 00:47:40 +0000 (Fri, 05 Jun 2009)

Log Message:
-----------

Fixed a few bugs.  Blowups now appear to be working, and predicate transformers appear to be computed correctly.  Method names are fixed.  Next is to get graph display of methods and strata.  It is important to see the graphs, to know what is really happening, especially since all this is going to change when jpf gets wired into the rewriter.

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/script/util/MangoScriptUtilities.java
    branches/mango/MangoJPF/Mango/src/mango/worker/Mango.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/BackupAlg.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/edge/BackupEdge.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/edge/Edge.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/edge/Espec.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/graph/Graph.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/graph/LoopGraph.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/graph/StrataGraph.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/graphic/SuperVertexClassSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/reflection/StateSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperBlowUpSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperCpnSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperLoopSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperStrataSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperVertexSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/ucon/UconSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/AcyclicVertex.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/BackupVertex.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/CpnVertex.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/LoopVertex.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/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/ATHROWHANDLER.java


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