[Javapathfinder-svn] SF.net SVN: javapathfinder:[1892] branches/mango/Mango/doc/ unravelling predicate transfomers.rtf

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

Revision: 1892
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1892&view=rev
Author:   frankrimlinger
Date:     2009-09-04 19:15:35 +0000 (Fri, 04 Sep 2009)

Log Message:
-----------
Realized that the transition from the dual world of predicate transformers to the state/predicate world should not be attacked in an ad hoc manner.  This process gets its own design document "unravelling predicate transformers".  To summarize,  instruction.execute() must block and rewrite in order to formulate the correct return value.  This method creates its own private data structures, blocks on the rewriter, and the when it wakes up, examines those structures and either returns nextPC, or loads the appropriate choice generators and returns null.  The RewriteListener.instructionExecuted() method is restricted to the very simple function of mapping the current step to the MangoState already computed in the execute() method, and updating the transition annotation accordingly.  The only reason we don't do this in the execute() method is that currentStep is not available yet.

"unravelling predicate transformers" in progress.

Added Paths:
-----------
    branches/mango/Mango/doc/unravelling predicate transfomers.rtf


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