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

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

Revision: 1758
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1758&view=rev
Author:   frankrimlinger
Date:     2009-07-14 04:43:27 +0000 (Tue, 14 Jul 2009)

Log Message:
-----------
Type system rehab and cleanup.  In FormalTypes class, added partial orderings of types for making positive inferences about implied type.  This needs to be hooked up to the typing requirements, replacing the old "satisfies" system, which is obsolete.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/core/util/CoreUtilities.java
    branches/mango/Mango/Mango/src/mango/enterprise/sym/ExpLevelSym.java
    branches/mango/Mango/Mango/src/mango/module/definition/msg/AddEquivalenceRequestMsg.java
    branches/mango/Mango/Mango/src/mango/module/instance/model/InstanceManager.java
    branches/mango/Mango/Mango/src/mango/module/instance/msg/SubmitStandingHypothesisMsg.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/BuildAbstractSym.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/BuildAbstractUcon.java
    branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/TranslateType.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/backflow/BlockedUcon.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/leadingKey/NotResolvedAbstractUcon.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/linearArithmetic/CoefficientValue.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/symbols/AbstractSymbolReq.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/symbols/NotAbstractSym.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/symbols/ResolvedAbstractSym.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/ArithmeticFieldType.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/SymbolHashCoreParser.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashLogicAndArithmetic.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashMangoModel.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashRewriter.java
    branches/mango/Mango/Mango/src/mango/worker/engine/rule/AssumeEquivRule.java
    branches/mango/Mango/Mango/src/mango/worker/engine/rule/Rule.java
    branches/mango/Mango/Mango/src/mango/worker/engine/sym/Sym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/sym/FunctionSym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/agent/InvariantHypoAgent.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/FormalTypes.java

Added Paths:
-----------
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/InvocationNameReq.java
    branches/mango/Mango/Mango/src/mango/worker/engine/sym/InvocationNameSym.java

Removed Paths:
-------------
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/AbstractSymTypeReq.java
    branches/mango/Mango/Mango/src/mango/worker/engine/sym/AbstractSym.java


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