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

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

Revision: 1893
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1893&view=rev
Author:   frankrimlinger
Date:     2009-09-06 03:54:21 +0000 (Sun, 06 Sep 2009)

Log Message:
-----------
Completed design for unravelling predicate transformers.  Implementation in progress.

Modified Paths:
--------------
    branches/mango/Mango/doc/unravelling predicate transfomers.rtf
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/MangoAnnotation.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/MangoState.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

Added Paths:
-----------
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/RewriteChoice.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/sym/
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/sym/HarvestChoiceSym.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/RewriteInstruction.java

Removed Paths:
-------------
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/RewriterInstruction.java


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