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

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

Revision: 1509
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1509&view=rev
Author:   frankrimlinger
Date:     2009-05-13 19:25:22 +0000 (Wed, 13 May 2009)

Log Message:
-----------
Simplified control for rulebase button.  The rulebase button is now always enabled.  If a rulebase has been loaded, pressing the rulebase button now just opens the top-level rulebase window.  Otherwise, pressing the rulebase button loads a new rulebase.    The trick is that to get rid of an existing rulebase, you now have to close it from the rulebase "File" menu.  The close command is only enabled when there are no live worker threads.

It is intentionally difficult to load a new rulebase, since this is not normally something a user would want to do.

Rewired the quit listener for SWT so that the user gets queried to save rulebase if dirty.

Now finally onto the buildWorkerImage selector for RulebaseMsg.  With this in place we can kick the SCANNER and start building control flow graphs.

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/control/action/input/RuleBaseAction.java
    branches/mango/MangoJPF/Mango/src/mango/core/gui/action/SaveCoreRuleBaseAction.java
    branches/mango/MangoJPF/Mango/src/mango/core/gui/window/CoreRuleBaseWindow.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/RulebaseMsg.java
    branches/mango/MangoJPF/mangoUserHome/frank/rules/rulebase.zip
    branches/mango/MangoJPF/src/mango/views/GenSpecWindow.java

Added Paths:
-----------
    branches/mango/MangoJPF/Mango/src/mango/core/gui/action/CloseCoreRuleBaseAction.java

Removed Paths:
-------------
    branches/mango/MangoJPF/Mango/src/mango/core/gui/action/LoadCoreRuleBaseAction.java


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