[Javapathfinder-svn] SF.net SVN: javapathfinder:[1243] branches/mango/extensions/mango

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

Revision: 1243
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1243&view=rev
Author:   frankrimlinger
Date:     2009-03-02 05:03:04 +0000 (Mon, 02 Mar 2009)

Log Message:
-----------
Fixed a replay bug involving the status rule and loop instantiation symbol appears twice in the instance window.  One fun thing you can do in C++ is statically invoke a virtual method in order to "skip up" the class hierarchy.  This doesn't work in Java, so might get burned some more by this.  Next need to find out why invariant rules are not firing correctly.  They definitely are firing.

Modified Paths:
--------------
    branches/mango/extensions/mango/Mango/src/mango/module/definition/DefinitionWindowManager.java
    branches/mango/extensions/mango/Mango/src/mango/module/instance/loop/agent/LoopInstanceAgent.java
    branches/mango/extensions/mango/Mango/src/mango/module/instance/method/agent/MethodInstanceAgent.java
    branches/mango/extensions/mango/Mango/src/mango/module/model/RuleModel.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/agent/RewriteAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleInvocationSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/ConditionalEquivalenceAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/ConditionalInvariantTestAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/ConditionalMethodTestAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/InvariantFactorizationAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/InvariantHypoAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/InvariantTestAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/MethodInvariantTestAgent.java

Added Paths:
-----------
    branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/clear([I)V/a.zip


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