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

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

Revision: 1608
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1608&view=rev
Author:   frankrimlinger
Date:     2009-06-10 17:01:44 +0000 (Wed, 10 Jun 2009)

Log Message:
-----------
Auto rulebase save after the session closes is now working, and the jpf scan completes.  However, jpf didn't visit all the places it was supposed to, which causes a crash in phase1.  Probably there is some stale data controlling backtracking that needs to be reinitialized prior to the scan.

Need to have ObjectDirtinessManager keep track of the script, and split the auto save preference into two different preferences.  There is significant latency, about 5 or ten seconds, to save the rulebase, so may want to opt out.

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/core/CoreMangoObject.java
    branches/mango/MangoJPF/Mango/src/mango/core/gui/action/SaveCoreRuleBaseAction.java
    branches/mango/MangoJPF/Mango/src/mango/worker/Mango.java
    branches/mango/MangoJPF/Mango/src/mango/worker/msg/RulebaseMsg.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ClassUtil.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MethodUtil.java
    branches/mango/MangoJPF/mangoUserHome/frank/rules/rulebase.zip


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