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

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

Revision: 1759
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1759&view=rev
Author:   frankrimlinger
Date:     2009-07-14 21:20:08 +0000 (Tue, 14 Jul 2009)

Log Message:
-----------
Type system rehab is now nearing completion, at least in the code base.  There will also be a
lot of work in the rulebase due to rationalization of requirement names.
All type requirements now defer to FormalTypes.  Also introduced getTypeDelegate() method for Hitems that want to punt.  This is definitely better-faster-cheaper.

ArithmeticLocalVar -->  ArithmeticValue

FoundationSym no longer has type formal_predicate.
This is a long-standing hack that needs to be addressed in a saner manner.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/core/sym/RuleKey.java
    branches/mango/Mango/Mango/src/mango/enterprise/sym/ExpLevelSym.java
    branches/mango/Mango/Mango/src/mango/module/definition/sym/ParamSym.java
    branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/InheritTypeFromThirdArg.java
    branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/TypeAssignmentRule.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/comparison/Equals.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/comparison/InequivalentRef.java
    branches/mango/Mango/Mango/src/mango/ruleAction/form/binder/PushRefH.java
    branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/BoolRecapture.java
    branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/BoolRecaptureAndNegate.java
    branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/CharRecapture.java
    branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/CharRecaptureAndNegate.java
    branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/TranslateValueH.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/linearArithmetic/CoefficientValue.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/linearArithmetic/ConjunctionValue.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/linearArithmetic/EquationValue.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/ArithmeticValue.java
    branches/mango/Mango/Mango/src/mango/worker/Worker.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/DoubleH.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/FloatH.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/Hitem.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/IntegerH.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/Kons.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/LongH.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/Number.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/csym/Csym.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHash.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashInitialize.java
    branches/mango/Mango/Mango/src/mango/worker/engine/rule/Rule.java
    branches/mango/Mango/Mango/src/mango/worker/engine/sym/InterpretableSym.java
    branches/mango/Mango/Mango/src/mango/worker/engine/sym/Sym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/GateSym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/graphic/CodeSym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/graphic/EdgeSym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/graphic/LoopSym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/graphic/PathSym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/ucon/MethodEntrySym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/ucon/UconSym.java
    branches/mango/Mango/Mango/src/mango/worker/utilities/Util.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/WithAgent.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/model/HeapTracer.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/sym/ConjunctionSym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/sym/EquationSym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/sym/FoundationSym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/sym/InequationSym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/LocalVarSym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/sym/FunctionSym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleHypothesisSym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/msg/ShowTypeRequestMsg.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/FormalTypes.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/MangoMethodPeer.java

Removed Paths:
-------------
    branches/mango/Mango/Mango/src/mango/ruleRequirement/linearArithmetic/ArithmeticLocalVar.java


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