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

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

Revision: 1911
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1911&view=rev
Author:   frankrimlinger
Date:     2009-09-21 04:19:56 +0000 (Mon, 21 Sep 2009)

Log Message:
-----------
Completed testing of TrailManager.  Removed the logic from the Graphic.execution() jig which caused an instruction to visited only once.  This was sufficient for the code subdivision algorithm but case enumeration requires the potentially exponential enumeration of all paths.  Fixed bug involving MethodEntrySym.  The MethodEntrySym should walk the LoopGraph with blowup level 0, NOT the CpnGraph, starting at the corresponding entrypoint.  (The CpnGraph is generally not even acyclic, so the walk doesn't terminate.)  Fixed bugs in Vertex.getDestinations().  Tested exhaustive walk logic (excluding omea-alpha jump).  Added weak attractor logic to BlowupChoiceGenerator and tested.  

To complete the global traversal logic, need to write MethodChoiceGenerator.getDestination().  This is complicated by the need to maintain the TrailState.  Then on to "unravelling predicate transformers.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/graph/data/ucon/UconData.java
    branches/mango/Mango/Mango/src/mango/worker/engine/sym/Sym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/BackupAlg.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/graphic/EdgeSym.java
    branches/mango/Mango/Mango/src/mango/worker/msg/OpenDefinitionMsg.java
    branches/mango/Mango/Mango/src/mango/worker/msg/SelectTargetMsg.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/BlowupChoiceGenerator.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/LoopChoiceGenerator.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/MangoAnnotation.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/TrailManager.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/Edge.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/Graphic.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/MethodEntrySym.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/Vertex.java


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