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

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

Revision: 1824
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1824&view=rev
Author:   frankrimlinger
Date:     2009-08-13 05:36:42 +0000 (Thu, 13 Aug 2009)

Log Message:
-----------
Fixed bug in LocalArrayModel which was computing incorrect base frame for local variables.  Roughed out new design for state translation.  Before implementing, need to wire the translation actions through a trap which will "map locals to scope", connecting to the TranslateModuleManager to perform the translation.  The trouble is, we are translating from context, and we start out with "too much" context.  Otherwise the parameters will not match properly for the localType map.  NB: the map locals to scope operation is applied to the raw expressions, which generate the binder symbols when they rewrite. THEN you can create the models upon which the translation is based.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/module/msg/MapToScopeRequestMsg.java
    branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/TranslateLoopUcon.java
    branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/TranslateReturnUcon.java
    branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/TranslateThrownExceptionUcon.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/form/model/LocalArrayModel.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/LocalVarSym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/translate/model/TranslateModuleManager.java
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip

Removed Paths:
-------------
    branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/TranslateNoReturnUcon.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/translate/model/TranslateLoopManager.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/translate/model/TranslateReturnManager.java


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