Menu
▾
▴
[Javapathfinder-svn] SF.net SVN: javapathfinder:[1773] branches/mango/Mango
|
From: <fra...@us...> - 2009-07-23 23:11:53
|
Revision: 1773
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1773&view=rev
Author: frankrimlinger
Date: 2009-07-23 23:11:46 +0000 (Thu, 23 Jul 2009)
Log Message:
-----------
Rulebase type assignment and translation cleanup. Added check for missing actions and requirements in Rule constructor. Cleaned up all detected problems.
The use of the word "abstraction" came to mean both "invocation" and "specification". Within the rulebase, "abstraction" meant exclusively "invocation", so all such references have been changed to invocation, with corresponding changes in the code base. Mapping:
RuleKey
buildAbstractUcon --> buildInvocatonUcon
abstractUcon --> invocationUcon
abstractUconInvocation --> invocationUconInvoked
buildAbstractUconDummy --> buildInvocationUconDummy
Requirement
NotResolvedAbstractUcon --> NotResovedInvocationUcon
NotAbstractSym --> NotInvocationNameSym
Action
BuildAbstractUcon --> BuildInvocatonUcon
BuildAbstractUconDummy --> BuildInvocationUconDummy
literal
"AbstractUconMethod()V" --> "InvocationUconMethod"
Class
AbstractUconSym --> InvocationUconSym
AbstractUconPlace --> InvocationUconPlace
AbstractUconMethod --> InvocationUconMethod
With all this in place, ready to rewrite the rest of the native abstractions for Class_MangoFormal and Mango_Class.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/Resources/IconIndex.java
branches/mango/Mango/Mango/src/mango/core/CoreMangoActiveObject.java
branches/mango/Mango/Mango/src/mango/core/CoreMangoObject.java
branches/mango/Mango/Mango/src/mango/core/CoreRule.java
branches/mango/Mango/Mango/src/mango/core/CoreVariable.java
branches/mango/Mango/Mango/src/mango/core/RuleResourceManager.java
branches/mango/Mango/Mango/src/mango/core/gui/tablemodel/CoreVariableTableModel.java
branches/mango/Mango/Mango/src/mango/merge/window/FindPatternWindow.java
branches/mango/Mango/Mango/src/mango/module/definition/msg/AddEquivalenceRequestMsg.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/backflow/BlockedUcon.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/binder/LocalVar.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/ArithmeticValue.java
branches/mango/Mango/Mango/src/mango/util/LOG.java
branches/mango/Mango/Mango/src/mango/worker/Worker.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashInitialize.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashMangoModel.java
branches/mango/Mango/Mango/src/mango/worker/engine/rule/ActiveObject.java
branches/mango/Mango/Mango/src/mango/worker/engine/rule/Req.java
branches/mango/Mango/Mango/src/mango/worker/engine/rule/Rule.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/BackupAlg.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/vertex/CpnVertex.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/vertex/SuperCpnVertex.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/sym/binder/ContextBinderSym.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/FormalTypes.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/Invocation.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKECLINIT.java
branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
Added Paths:
-----------
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/BuildInvocationUconDummy.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/BuildInvocatonUcon.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/TranslateClassNamePred.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_double.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_float.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_arithmeticValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_coefficientValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_conjunctionValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_equationValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_gstack.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_inequationValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_integralValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_invocationName.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_location.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_object.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_predicate.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_predicateTransformer.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_state.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_stringValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_ucon.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_int.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_long.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/InheritTypeFromThirdArg.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/TypeAssignmentRule.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/leadingKey/NotResovedInvocationUcon.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/linearArithmetic/ArithmeticLocalVar.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/symbols/NotInvocationNameSym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/ucon/InvocationUconSym.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/InvocationUconMethod.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/InvocationUconPlace.java
Removed Paths:
-------------
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefArithmeticValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefCoefficientValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefConjunctionValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefDouble.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefEquationValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefFloat.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefGstack.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefInequationValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefInt.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefIntegralValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefLong.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefObject.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefPredicate.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefPredicateTransformer.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefState.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefStringValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefUcon.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/classModel/BuildAbstractUcon.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/BuildAbstractUconDummy.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/TranslateClassPtrPred.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/leadingKey/NotResolvedAbstractUcon.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/symbols/NotAbstractSym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/ucon/AbstractUconSym.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/AbstractUconMethod.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/AbstractUconPlace.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
