[Javapathfinder-svn] SF.net SVN: javapathfinder:[1908] branches/mango/Mango/ javapathfinder-mango-bridge/mango/rewriter

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

Revision: 1908
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1908&view=rev
Author:   frankrimlinger
Date:     2009-09-16 03:38:26 +0000 (Wed, 16 Sep 2009)

Log Message:
-----------
Hotwired RewriteListener.instructionExecuted() and Graphic.execute() for test of global traverse logic.  Traversal of simple loops and blowups appears to be functional, using default logic to traverse a graph.  Test with nested_blowup.

FIX bug traversing MethodEntrySym graph with default logic.  Then punch in the external getDestinations() logic in the RewriteChoiceGenerator extensions and test.  Then restore RewriteListener and Graphic logic and start working on the internal logic.

Modified Paths:
--------------
    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/MethodChoiceGenerator.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/RewriteListener.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/Graphic.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/LoopSym.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/MethodEntrySym.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/SuperLoopSym.java


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