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

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

Revision: 1761
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1761&view=rev
Author:   frankrimlinger
Date:     2009-07-15 03:39:50 +0000 (Wed, 15 Jul 2009)

Log Message:
-----------
Migration of code base to new typing system complete.  Now for the rulebase.  This will require hacking into the core factories and punching in the new type names.  Also AbstractSym needs to be changed to InvocationNameSym.  Also map the following requirements:

InstantiatedHeap --> Instantiated
InstantiatedStack --> Instantiated
InstantiatedStat --> Instantiated

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/TranslateHeapObject1.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/linearArithmetic/InequationValue.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/linearArithmetic/LinearVariable.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/linearArithmetic/NotEquationValue.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/naturalLanguage/Instantiated.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/ArithmeticFieldType.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/DoubleReq.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/FloatReq.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/GstackReq.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/HeapPointerReq.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/IntReq.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/IntegralArrayFieldType.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/IntegralFieldType.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/IntegralValue.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/InvocationNameReq.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/JavaButNotJVMtype.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/LongReq.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/PredTransformerReq.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/PredicateReq.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/StateReq.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/StringValue.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/UconReq.java
    branches/mango/Mango/Mango/src/mango/worker/Worker.java
    branches/mango/Mango/Mango/src/mango/worker/engine/sym/InvocationNameSym.java
    branches/mango/Mango/Mango/src/mango/worker/utilities/Util.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/sym/EquationSym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/sym/InequationSym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/form/model/HeapItemModel.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/form/model/HeapModel.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/form/model/HeapObjectModel.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/form/model/LocalVarModel.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/form/sym/binder/ContextBinderSym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleHypothesisSym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleInvocationSym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/model/InvariantModel.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/naturalLanguage/InstantiatedHeap.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/naturalLanguage/InstantiatedStack.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/naturalLanguage/InstantiatedStat.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/PushHvalue.java


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