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

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

Revision: 1786
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1786&view=rev
Author:   frankrimlinger
Date:     2009-07-28 06:10:26 +0000 (Tue, 28 Jul 2009)

Log Message:
-----------
Stale Hitem mitigation underway.  Stale Hitems result from not disposing of static Hitem fields prior to rebuilding the SymbolHash class.  The principle symptom of this problem: a session S will replay  correctly if it is the first session of a mango lifetime, but not if it is the second.  Stale stable objects are particularly damaging because they "constipate" the rewriter when confused with their genuine unstable counterparts.  The Hash object methods as well as certain other strategic methods in Hitem and Sym now perform a very quick test to determine liveness, which has uncovered errors.  But the best thing is just to be careful when introducing static data in the first place.

Fixed a few more typing bugs.  Issue: FormalTypes.buildPartialOrderings() does not magically take the transitive closure.  Eventually you probably should code this up, as it is painfully easy to omit "obvious" relations.

Keep working on parametrization bugs.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/module/definition/agent/ParameterExpAgent.java
    branches/mango/Mango/Mango/src/mango/module/definition/model/DefinitionManager.java
    branches/mango/Mango/Mango/src/mango/module/definition/sym/ParamSym.java
    branches/mango/Mango/Mango/src/mango/worker/Worker.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/Hash.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/Hitem.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/Kons.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHash.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashTyping.java
    branches/mango/Mango/Mango/src/mango/worker/engine/sym/Sym.java
    branches/mango/Mango/Mango/src/mango/worker/msg/RulebaseMsg.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/FrameSym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/HeapSym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/StackSym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/StatSym.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/FormalTypes.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/sym/JclassSym.java
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/'className' equals null reference.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/'className' is defined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/a.zip


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