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

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

Revision: 1618
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1618&view=rev
Author:   frankrimlinger
Date:     2009-06-12 19:19:55 +0000 (Fri, 12 Jun 2009)

Log Message:
-----------
Added dirty session save to quit handler.  

Wired in the new HasCommutingClinit rule to the corresponding action to fix rewriting problem in ItsAWrap.main().  But this only works because ItsAWrap does not trigger any clinit invocation.  To handle the problem more generally, introduced preference to suppress clinit invocation.  This in itself does not cause unsoundness.  What is unsound is to introduce rules to resolve references to non-final static fields in an ad-hoc manner.  When this issue comes up, we can turn off the preference and implement the rest of the new clinit mechanism.

Specifically, the rule HasCommutingClinit just returns (dualp 'f) if the "Suppress clinit invocation" preference is on.   For now, we leave this turned off.

Next bug, ItsAWrap.main thinks x[5] and x[6] are loop invariant.  Technically, this is true, but shouldn't be able to know this.  YIKES!

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/coreRewriter/clinit/HasCommutingClinit.java
    branches/mango/MangoJPF/Mango/src/mango/script/model/MangoScriptModel.java
    branches/mango/MangoJPF/Mango/src/mango/worker/Worker.java
    branches/mango/MangoJPF/mangoUserHome/frank/rules/rulebase.zip
    branches/mango/MangoJPF/src/mango/preferences/GeneralPreferencePage.java

Added Paths:
-----------
    branches/mango/MangoJPF/mangoUserHome/frank/sessions/a.zip

Removed Paths:
-------------
    branches/mango/MangoJPF/mangoUserHome/frank/sessions/baseline/a.zip


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