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

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

Revision: 1807
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1807&view=rev
Author:   frankrimlinger
Date:     2009-08-06 05:48:44 +0000 (Thu, 06 Aug 2009)

Log Message:
-----------
Wrote native implementation for Class_MangoFormal.getName().

Discovered the meaning behind "canonical representation".  It turns out the javadoc for Class.getName() states that arrays represent the base class in "internal form", [Ljava.lang.object; and that classes are represented by their "binary name", java.lang.object.  Modeled Class_MangoFormal.getName() accordingly.  So, the conversion from MFL, which uses source code level representation, to canonical representation, is

Types.getCanonicalTypeName(FormalTypes.getTypeCode(source-level-rep))

Mystery revealed.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/Checkcast.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/StringValue.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashMangoModel.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashTyping.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/agent/InstanceOfAgent.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/form/model/HeapModel.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/FormalTypes.java
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip

Added Paths:
-----------
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/string/GetCanonicalTypeName.java
    branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_string.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/symbols/StringReq.java
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/getName()Ljava.lang.String_MangoFormal;/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/getName()Ljava.lang.String_MangoFormal;/case.zip
    branches/mango/Mango/mangoUserHome/system/System/java/lang/getName worksheet.txt
    branches/mango/Mango/mangoUserHome/system/System/mango/cheat_sheet (Autosaved)

Removed Paths:
-------------
    branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_stringValue.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/StringReq.java


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