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

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

Revision: 1386
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1386&view=rev
Author:   frankrimlinger
Date:     2009-04-12 03:40:43 +0000 (Sun, 12 Apr 2009)

Log Message:
-----------
Reworked much of the plumbing for parametrization, simplifying and clarifying the code.  This eliminated the bug that caused the nested loops test to fail.  Regenerated the baseline loop tests up through the nested loops example.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/module/definition/model/DefinitionManager.java
    branches/mango/Mango/Mango/src/mango/module/definition/sym/ParamSym.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/instance/model/InstanceManager.java
    branches/mango/Mango/Mango/src/mango/module/sym/ModuleReadOnlySym.java
    branches/mango/Mango/Mango/src/mango/ruleAction/function/engine/UnmodelModuleInvocationSym.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashRecent.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/sym/FunctionSym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleHypothesisSym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleInvocationSym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/agent/InvariantHypoAgent.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/model/InvariantModel.java
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/if_with_two_loops/loops(I)I/'x' is greater than or equal to 10.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/if_with_two_loops/loops(I)I/'x' is less than 10.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/if_with_two_loops/loops(I)I/loops/-baseline.if_with_two_loops.loops(I)I#10:iload_i_Code_01/op0 is less than 'x'.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/length of the Array 'x' is greater than or equal to 10.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/nested_loops/<init>()V/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/nested_loops/loops(I)I/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/nested_loops/main(I)Z/case.zip

Added Paths:
-----------
    branches/mango/Mango/Mango/src/mango/module/instance/model/InstanceUtil.java


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