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

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

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

Log Message:
-----------
Various tweaks to better understand exactly how JPFrewriter, RewriteChoiceGenerator, and RewriteListener play together.  Simulations show all the paths through a loop body or acyclic module graph are covered exactly once.  Ready for the tricky business of state splicing across transitions.  Also made sure persistent names were manufactured in order to support "transition replay", which will eventually be an issue.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/worker/engine/sym/InterpretableSym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/edge/SimpleLoopPath.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/RewriterInstruction.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.