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

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

Revision: 1844
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1844&view=rev
Author:   frankrimlinger
Date:     2009-08-21 03:58:54 +0000 (Fri, 21 Aug 2009)

Log Message:
-----------
Completed checkcast rehab, precisely implementing Jvm2ed checkcast semantics.

TODO

instanceof rehab just like checkcast
isAssignableFrom

With the much more precise understanding of types, JclassSym really needs to be weeded out entirely.  

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/Checkcast.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetInterfaceRunTimeException.java
    branches/mango/Mango/Mango/src/mango/worker/Worker.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/FormalTypes.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/MangoClassPeer.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/CHECKCAST.java
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip

Added Paths:
-----------
    branches/mango/Mango/mangoUserHome/system/SystemTests/src/Casting.java


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