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

SourceForge Headquarters 1320 Columbia Street Suite 310 San Diego, CA 92101 +1 (858) 422-6466

Revision: 1609
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1609&view=rev
Author:   frankrimlinger
Date:     2009-06-10 20:33:26 +0000 (Wed, 10 Jun 2009)

Log Message:
-----------
The jpf scan is now correct the second time around, at least it produces the same statistics as the first time, which is to be expected.  THe backup alg also looks good, both phase1 and 2.  However, ItsAWrap.clear fails to rewrite.  Not sure why, but same error occurs even if the rule base is saved and read in cold in a new Mango app, so certainly not a "second time" issue.

Also, deleted legacy stuff, this is not going to be useful.

Introduced distinct rulebase and session save prefs.  Working on auto session save.  This is complicated by the need to involve the user if the "plausible" directory for the session is not available, or if the session already exists.

Modified Paths:
--------------
    branches/mango/Mango/ThreadSupport/src/threadModel/SystemBuilder.java
    branches/mango/MangoJPF/Mango/src/mango/module/definition/msg/CoalesceStandingHypothesesMsg.java
    branches/mango/MangoJPF/Mango/src/mango/script/gui/action/ScriptSaveAction.java
    branches/mango/MangoJPF/Mango/src/mango/script/model/MangoSafeModel.java
    branches/mango/MangoJPF/Mango/src/mango/script/model/MangoScriptModel.java
    branches/mango/MangoJPF/Mango/src/mango/worker/Worker.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/BackupAlg.java
    branches/mango/MangoJPF/Mango/src/mango/worker/msg/AutoResetMsg.java
    branches/mango/MangoJPF/Mango/src/mango/worker/msg/RulebaseMsg.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/CodeSurvey.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MethodUtil.java
    branches/mango/MangoJPF/mangoUserHome/frank/rules/rulebase.zip
    branches/mango/MangoJPF/src/mango/preferences/GeneralPreferencePage.java

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

Removed Paths:
-------------
    branches/mango/MangoJPF/Mango/src/mango/worker/msg/ResetMsg.java
    branches/mango/legacy/

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