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

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

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

Log Message:
-----------
Fixed various EZ bugs for virtual invocation and broken parametrization.  Added more refinements for broke parametrization detection.  Completed testing of native implementation for Class_MangoFormal.getName().

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/debugger/msg/ContinueRewritingMsg.java
    branches/mango/Mango/Mango/src/mango/debugger/msg/SingleOffMsg.java
    branches/mango/Mango/Mango/src/mango/debugger/msg/SingleStepMsg.java
    branches/mango/Mango/Mango/src/mango/module/instance/loop/agent/LoopInstanceAgent.java
    branches/mango/Mango/Mango/src/mango/module/instance/method/agent/MethodInstanceAgent.java
    branches/mango/Mango/Mango/src/mango/module/sym/ModuleLevelSym.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/BuildInvocationUcon.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/Checkcast.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetInterfaceRunTimeMethod.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetVirtualRunTimeMethod.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/IsInterface.java
    branches/mango/Mango/Mango/src/mango/worker/engine/events/Rewriter.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/agent/CheckCast_getValueAgent.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/sym/FunctionSym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/model/HitemUtil.java
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip

Added Paths:
-----------
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/getName()Ljava.lang.String;/case.zip


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