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

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

Revision: 1781
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1781&view=rev
Author:   frankrimlinger
Date:     2009-07-25 03:17:03 +0000 (Sat, 25 Jul 2009)

Log Message:
-----------
Fixed some bugs involving flavors of unknown type.  Successful specification of exceptional case of Class_MangoFormal.forName().  Now need to write code for object case of HeapModel.getValue_oldStyle().  This involves explicit search of heap to determine if we are in the multiarray case, in which case, "the object is its name", otherwise null.  Then can complete specification of forName().

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/module/definition/sym/ParamSym.java
    branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/AmbientLocal.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/translate/sym/TranslationSym.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/FormalTypes.java
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip

Removed Paths:
-------------
    branches/mango/Mango/mangoUserHome/frank/sessions/a.zip


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