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

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

Revision: 1741
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1741&view=rev
Author:   frankrimlinger
Date:     2009-07-09 21:02:04 +0000 (Thu, 09 Jul 2009)

Log Message:
-----------
Fixed some problems with the new "location" type parameter.  This is now working correctly and improves readability of formal expressions. Some native abstractions (hand written specifications) for Mango_String were not present, and these have been added.  At this point all native abstactions in the mango package have been written, I *think*.  However, there are still some methods of java.lang.String_MangoFormal and StringBuffer_MangoFormal to write before the foundation of string manipulation is solid.  Then it should be possible to use the tool to build the rest of Object_MangoFormal and Class_MangoFormal.  

Added stubs for the MangoFormal version of certain exception classes.  The presence of these stubs is all that mango needs to create exception objects for explicitly thrown exceptions.  This allowed abstraction of the NullPointerException case of Class_MangoFormal.forName(), which might come up occasionally in nominal execution flow.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/module/definition/sym/ParamSym.java
    branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/TranslateValueH.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashEnterpriseAndTranslation.java
    branches/mango/Mango/Mango/src/mango/worker/utilities/Util.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/translate/sym/TranslationSym.java
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/a.zip
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Object_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/String_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_String.java

Added Paths:
-----------
    branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/TranslateLocation.java
    branches/mango/Mango/mangoUserHome/frank/rules/param.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/<init>()V/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/<init>()V/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/'className' equals null reference.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/'className' is defined.zip
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Exception_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/NullPointerException_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/RuntimeException_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Throwable_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_String.append(str1,str2) worksheet.txt
    branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_String.charAt worksheet.txt
    branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_String.leftBracket worksheet.txt
    branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_String.setValueFromStringBuffer worksheet.txt

Removed Paths:
-------------
    branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_String.charAt worksheet.rtf
    branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_String.setValueFromStringBuffer worksheet.rtf


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