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

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

Revision: 1842
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1842&view=rev
Author:   frankrimlinger
Date:     2009-08-20 04:15:54 +0000 (Thu, 20 Aug 2009)

Log Message:
-----------
Complete rewrite of accessibility code and get virtual and interface method and exception. 

NEXT: revamp checkcast, starting with formal bytecode.  You want first to set up the instruction to access the className from the heap.  This allows the heap to get garbage collected in the standard way.  Also, jpf gives you "canonical type", which must be converted to a ClassInfo.  You know you can do this because the JVM spec says we have "a class, array, or interface".  

All bytecodes involving a heap access to get a class name or whatever need to be set up in this manner, as this vastly simplifies garbage collection.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetInterfaceRunTimeException.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetInterfaceRunTimeMethod.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetVirtualRunTimeException.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetVirtualRunTimeMethod.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/IsSuperClass.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/Invocation.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/MangoClassPeer.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/MangoFieldPeer.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/MangoMethodPeer.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/CHECKCAST.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEINTERFACE.java
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip


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