Menu
▾
▴
[Javapathfinder-svn] SF.net SVN: javapathfinder:[1224] branches/mango/extensions/mango
|
From: <fra...@us...> - 2009-02-24 21:18:49
|
Revision: 1224
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1224&view=rev
Author: frankrimlinger
Date: 2009-02-24 21:18:43 +0000 (Tue, 24 Feb 2009)
Log Message:
-----------
fixed some E-Z bugs. fixed banner stamper to check entire file for existence of the banner, as sometimes package stuff gets put at the top of the file. Stamped banner on some recent files.
Realized the system code still has legacy nomenclature in it and is therefore out of sync with the rulebase. Next thing to fix.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/control/action/control/BackupAction.java
branches/mango/extensions/mango/Mango/src/mango/core/CoreHitem.java
branches/mango/extensions/mango/Mango/src/mango/core/CoreHitemFactory.java
branches/mango/extensions/mango/Mango/src/mango/data/TestData.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/model/HashItemProxyPersistenceDelegate.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/model/HiddenObjectPersistenceDelegate.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/IDException.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/WorkerIDBeanInfo.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/ApplyCondMapAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/CaptureMapAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/ManualDefinitionAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/ManualInstantiationAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/RestoreContextAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/agent/ParameterExpAgent.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/ApplyCondMapMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CaptureMapMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/ManualDefinitionMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/ManualInstantiationMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/RestoreContextMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/sym/ParamSym.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/HarvestParametersTrap.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ScriptedCloseCaseConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/loop/agent/LoopInstanceAgent.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/agent/MethodInstanceAgent.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/trap/RebindTargetConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/model/InstanceManager.java
branches/mango/extensions/mango/Mango/src/mango/module/model/RuleModel.java
branches/mango/extensions/mango/Mango/src/mango/module/sym/ModuleLevelSym.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/form/binder/FrameTransitionToFunctionalContext.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/form/binder/StatTransitionToFunctionalContext.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/form/binder/TransitionToFunctionalContext.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/invariant/ConditionalEquivalence.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/invariant/ConditionalInvariantTest.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/invariant/ConditionalMethodInvariant.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/invariant/ConditionalMethodTest.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/invariant/Invariant.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/invariant/InvariantTest.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/invariant/MethodInvariant.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/invariant/MethodInvariantTest.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/invariant/OpVarAsLocalVar.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/Conjecture.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/Equivalence.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/FactorizationModel.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/Function.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/Hypothesis.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/Parameter.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/StandingEquivalence.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/StandingHypothesis.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/Status.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/definition/HarvestLocalVariableFunction.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/AmbientLocal.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/RenderInvariantName.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/function/BaseInvariantAgentProxySym.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/function/PathNameExp.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/naturalLanguage/ParameterName.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/typing/PredicateReq.java
branches/mango/extensions/mango/Mango/src/mango/script/util/ScriptAndPostAction.java
branches/mango/extensions/mango/Mango/src/mango/tree/model/CellPersistenceDelegate.java
branches/mango/extensions/mango/Mango/src/mango/worker/EventLoopCmd.java
branches/mango/extensions/mango/Mango/src/mango/worker/debugging/ClassParserDebuggingFlags.java
branches/mango/extensions/mango/Mango/src/mango/worker/debugging/TranslationToJavaDebuggingFlags.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/AssumeEquivRule.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/AssumeHypoRule.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/OtherPersistenceDelegate.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/UserVarSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/ClassModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/ClassParsingAlg.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/linkingModel/MethodResolution.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/FortyTwo.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/GeneralizeAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/BindModuleAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleInvocationSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/BaseInvariantAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/ConditionalEquivalenceAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/ConditionalInvariantTestAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/ConditionalMethodAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/ConditionalMethodTestAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/InvariantAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/InvariantFactorizationAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/InvariantHypoAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/InvariantTestAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/LocalVarConditionalEquivalenceAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/MethodInvariantAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/MethodInvariantTestAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/model/CaptureModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/model/FactorizationModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/model/InvariantManifestModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/model/InvariantModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/model/InvariantStatus.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/model/LocalInvariant.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/model/ScoreModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/sym/BaseInvariantAgentProxySym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/trap/BuildInvariantNamesConnector.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/trap/BuildInvariantNamesTrap.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/Mango/src/mango/workstation/interaction/PopUpMenuEnabler.java
branches/mango/extensions/mango/Mango/src/mango/workstation/msg/PopUpMsg.java
branches/mango/extensions/mango/ThreadSupport/src/impl/ScriptTestCommand.java
branches/mango/extensions/mango/ThreadSupport/src/impl/SerialChildCommand.java
branches/mango/extensions/mango/ThreadSupport/src/impl/SerialCommand.java
branches/mango/extensions/mango/ThreadSupport/src/impl/SerialParentCommand.java
branches/mango/extensions/mango/ThreadSupport/src/model/AckCommand.java
branches/mango/extensions/mango/ThreadSupport/src/model/Priority.java
branches/mango/extensions/mango/ThreadSupport/src/model/Restart.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Boolean.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Byte.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Class.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Integer.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Object.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Short.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_String.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_StringBuffer.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/util/Destiny_ArrayList.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/String.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/StringBuffer.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/AbstractCollection.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/AbstractList.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/ArrayList.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/Collection.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/Iterator.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/List.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/ListIterator.java
Removed Paths:
-------------
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/observer pattern.rtf
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
