[Javapathfinder-svn] SF.net SVN: javapathfinder:[1606] branches/mango/MangoJPF

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

Revision: 1606
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1606&view=rev
Author:   frankrimlinger
Date:     2009-06-10 05:36:22 +0000 (Wed, 10 Jun 2009)

Log Message:
-----------
Worked through a thicket of model/view issues and deadlock issues, and got automated reset to rebuild the worker threads, rebuild the worker rulebase image, and fire up jpf for another round. This was done very cleanly by having the reset command check for autoReset, and if so, calling the RuleBaseMsg with the worker image selector, per design.

Next bug, INVOKETARGET gets confused during initialization the second time around.

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/control/action/control/StopWorkerAction.java
    branches/mango/MangoJPF/Mango/src/mango/worker/Worker.java
    branches/mango/MangoJPF/Mango/src/mango/worker/WorkerControl.java
    branches/mango/MangoJPF/Mango/src/mango/worker/msg/NewWorkerMsg.java
    branches/mango/MangoJPF/Mango/src/mango/worker/msg/RulebaseMsg.java
    branches/mango/MangoJPF/ThreadSupport/src/threadModel/Command.java
    branches/mango/MangoJPF/ThreadSupport/src/threadModel/CommandState.java
    branches/mango/MangoJPF/ThreadSupport/src/threadModel/Commander.java
    branches/mango/MangoJPF/ThreadSupport/src/threadModel/PermCommand.java
    branches/mango/MangoJPF/ThreadSupport/src/threadModel/SystemBuilder.java
    branches/mango/MangoJPF/src/mango/views/GlobalViewWindow.java

Added Paths:
-----------
    branches/mango/MangoJPF/Mango/src/mango/worker/GlobalViewModel.java


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