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

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

Revision: 1836
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1836&view=rev
Author:   frankrimlinger
Date:     2009-08-18 04:59:57 +0000 (Tue, 18 Aug 2009)

Log Message:
-----------
Completed native implementation of Class_MangoFormal.getName()

fixed ldc formal peer, which was not handling the case of a Class constant.

Fixed bug caused by decision to blur distinction between an instantiation of a Class and the Class object.  This may cause more trouble down the road.  It seemed like a good idea at the time...

Next bug: virtual invocation is still goofed up.  There seems to be a mixup between getVirtualRunTimeMethod and getVirtualRunTimeException.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetInterfaceRunTimeException.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/translate/automatic/DoesNotThrow.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/LDC.java
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip

Added Paths:
-----------
    branches/mango/Mango/mangoUserHome/frank/sessions/a.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/getName()Ljava.lang.String;/
    branches/mango/Mango/mangoUserHome/system/SystemTests/src/systemTests/ClassTests.java


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