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

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

Revision: 1895
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1895&view=rev
Author:   frankrimlinger
Date:     2009-09-07 04:08:57 +0000 (Mon, 07 Sep 2009)

Log Message:
-----------
Refined the design for unravelling predicate transformers, and completed all the high-level wiring for jpf interface.  It remains to write HarvestChoiceCmd, InstantiateFreeChoiceCmd, and SpecifyCaseCmd, and associated traps and rules.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/module/definition/loop/LoopDefinitionManager.java
    branches/mango/Mango/Mango/src/mango/module/definition/loop/msg/LoopDefinitionRequestMsg.java
    branches/mango/Mango/Mango/src/mango/module/definition/method/MethodDefinitionManager.java
    branches/mango/Mango/Mango/src/mango/module/definition/method/msg/MethodDefinitionRequestMsg.java
    branches/mango/Mango/Mango/src/mango/module/definition/model/DefinitionManager.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashRewriter.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/msg/TrapCommand.java
    branches/mango/Mango/doc/unravelling predicate transfomers.rtf
    branches/mango/Mango/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/JPF_mango_rewriter_RewriterMJI.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/MangoAnnotation.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/sym/HarvestChoiceSym.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/RewriteInstruction.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/synthetic/Vertex.java

Added Paths:
-----------
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/FreeAssumption.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/InplaceChoice.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/OutboundChoice.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/msg/
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/msg/HarvestChoiceCmd.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/msg/InstantiateFreeChoiceCmd.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/msg/SpecifyCaseCmd.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/trap/
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/trap/HarvestChoiceTrap.java

Removed Paths:
-------------
    branches/mango/Mango/Mango/src/mango/worker/workFlow/msg/PriorityScheduleRequestMsg.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/rewriter/RewriteChoice.java


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