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

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

Revision: 1745
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1745&view=rev
Author:   frankrimlinger
Date:     2009-07-10 20:37:43 +0000 (Fri, 10 Jul 2009)

Log Message:
-----------
All targeted String constructors now have native abstractions.  Unfortunately, an ancient nightmare has returned.  Sometimes class names are in "stripped regular form", java.lang.String, and sometimes in "internal form", Ljava/lang/String;  This is causing havoc in trying to relieve hypotheses.  

So what is the ideal?  Internal form is really bad because it makes a class name look like a path name.  Stripped regular form is bad because you can't tell syntactically whether char is a primitive type or really Lchar;.  However, you can't make the class Lchar; at the compiler level, so if you assume compiled code then stripped regular is ok.

Need to hunt down all the internal forms and change them to stripped regular.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/worker/Worker.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/agent/CheckCast_getValueAgent.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/String_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/mango/cheat_sheet.txt

Added Paths:
-----------
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/string/ExtractStringFromCharArray.java
    branches/mango/Mango/mangoUserHome/frank/rules/tier.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8- dload_i_Code_01/
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8- dload_i_Code_01/op0 is less than 10.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/ClassCastException_MangoFormal/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/ClassCastException_MangoFormal/<init>()V/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/ClassCastException_MangoFormal/<init>()V/case.zip
    branches/mango/Mango/mangoUserHome/system/System/java/lang/ClassCastException_MangoFormal.java


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