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

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

Revision: 1887
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1887&view=rev
Author:   frankrimlinger
Date:     2009-09-03 03:44:12 +0000 (Thu, 03 Sep 2009)

Log Message:
-----------
Most of the wiring for JPFrewriter is now in place.  Need to punch in the branching logic for Vertex and Edge instructions. In RewriteListener.instructionExecuted(), you need to acquire the last Step, generate its MangoState, and wait on a command to rewrite the MangoState components.  Then the game starts to play itself.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/module/definition/loop/LoopDefinitionManager.java
    branches/mango/Mango/Mango/src/mango/module/definition/method/MethodDefinitionManager.java
    branches/mango/Mango/javapathfinder-mango-bridge/gov/nasa/jpf/JPFrewriter.java
    branches/mango/Mango/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/JPF_mango_rewriter_RewriterMJI.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/InstructionFactory.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/RewriteChoiceGenerator.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/RewriteListener.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/Edge.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/Vertex.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/MangoInstructionFactory.java

Added Paths:
-----------
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/MangoState.java
    branches/mango/Mango/mangoUserHome/rkrug/itsAWrap/src/baseline/ItsAWrap.java.tmp


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