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

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

Revision: 1765
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1765&view=rev
Author:   frankrimlinger
Date:     2009-07-16 21:08:34 +0000 (Thu, 16 Jul 2009)

Log Message:
-----------
Array rehab in progress, which in turn is a part the typing rehab in progress, per revs 1763 and 1764.

Discovered that FieldInfo.getType() returns "canonical type", which does not translate array names to java level syntax.  As a workaround, introduced FormalTypes.getFieldType(FieldInfo).  Routed GETFIELD, GETSTATIC, and PUTFIELD through this method, so they shoud be ok.

HeapModel.generateDefault now returns null in the array-of-arrays case.  It is up to the caller, HeapModel.getValue_oldStyle() to detect and act accordingly.  Punting on this for now by throwing IllegalStateException.  When this gets triggered by an example I will write the code to generate the required (array ...) object.

Deleted the actions 
ClassPtrAsString
GetComponentType
isArrayClassptr
MakeClassPtr
RemoveBracket

Start by updating the broken instructions to conform to the new array semantics.  Then you need to test all instructions to see if they properly resolve class names to the java level.  Then the class names need to be formally realized as ClassNameSym, NOT Other or String.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/worker/Worker.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashEngine.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/form/model/HeapModel.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/translate/model/TranslationManager.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/javapathfinder-mango-bridge/mango/scanner/bytecode/GETFIELD.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/GETSTATIC.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/PUTFIELD.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/sym/JclassSym.java

Removed Paths:
-------------
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/ClassPtrAsString.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetComponentType.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/IsArrayClassPtr.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/MakeClassPtr.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/RemoveBracket.java


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