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

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

Revision: 1810
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1810&view=rev
Author:   frankrimlinger
Date:     2009-08-07 04:44:04 +0000 (Fri, 07 Aug 2009)

Log Message:
-----------
Added native implementation for Class_MangoFormal.isArray().  Currently favoring the idea of casing out and returning concrete 't and 'f, as oppose to a boolean valued utility.  This makes for cleaner syntax, as the isArray() utility is now a <predicate>.  Translation is now via semantic operator.  Do the same for isPrimitive, isAssignableFrom, and isInterface.

There is an rewriter bug with getComponentType. fix this.

When Class_MangoFormal is done, migrate the HeapPtr stuff to the new type system.

Modified Paths:
--------------
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
    branches/mango/Mango/mangoUserHome/system/System/mango/cheat_sheet.txt

Added Paths:
-----------
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/IsArray.java
    branches/mango/Mango/Mango/src/mango/ruleAction/translate/automatic/IsClassLoadableAssumption.java
    branches/mango/Mango/Mango/src/mango/ruleAction/translate/semantics/AddSemanticsForIsArray.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/translate/model/semantics/SemanticsForIsArray.java
    branches/mango/Mango/mangoUserHome/frank/sessions/a.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/isArray()Z/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/isArray()Z/case.zip
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Worksheet for String_MangoFormal.isArray()Z.txt

Removed Paths:
-------------
    branches/mango/Mango/Mango/src/mango/ruleAction/translate/automatic/IsClassLoadable.java
    branches/mango/Mango/mangoUserHome/system/System/mango/cheat_sheet (Autosaved)


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