javapathfinder-svn Mailing List for JavaPathFinder (Page 33)

Status: Beta

Brought to you by: artimid, johnpenix, masoud_mansouri, pcdillinger, and 3 others

javapathfinder-svn — source repository related messages (SVN)

You can subscribe to this list here.

2008	_Jan	_Feb	_Mar	_Apr	_May (16)	_Jun (42)	_Jul (46)	_Aug (48)	_Sep (33)	_Oct (26)	_Nov (28)	_Dec (38)
2009	_Jan (35)	_Feb (80)	_Mar (112)	_Apr (108)	_May (102)	_Jun (126)	_Jul (89)	_Aug (82)	_Sep (36)	_Oct (7)	_Nov (1)	_Dec (4)
2010	_Jan (87)	_Feb	_Mar (2)	_Apr (1)	_May	_Jun	_Jul	_Aug	_Sep	_Oct	_Nov	_Dec

Flat | Threaded

<< < 1 .. 31 32 33 34 35 .. 46 > >> (Page 33 of 46)

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1195] branches/mango/extensions/mango/Mango/src /mango

From: <fra...@us...> - 2009-02-16 20:15:57

Revision: 1195
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1195&view=rev
Author:   frankrimlinger
Date:     2009-02-16 20:15:55 +0000 (Mon, 16 Feb 2009)

Log Message:
-----------
Fixes for persistence.  I have learned some fun facts about the XML encoder.  First, unlike serialization, the "transient" rulekey is ignored.  Instead, for class XXX, you create a extension XXXBeanInfo of SimpleBeanInfo, and override getProperyDescriptors, adding a new descriptor for each field you want to hide, whose "transient" attribute is Boolean.TRUE.  YIKES!  Also, the DefaultPersistenceDelegate looks for for pairs of methods getXXX() and setXXX().  For each pair it finds, it just ASSUMES they are a getter and setter, it doesn't actually check to see if XXX is a field.  You are fried if you have legacy code that does not follow the pattern.  Anyway, progress marches on. 

Modified Paths:
--------------
    branches/mango/extensions/mango/Mango/src/mango/core/io/MangoEncoder.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/model/HashItemProxy.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/GlobalParityID.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/ObjectID.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/ParityID.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/PersistentObjectID.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/TransientObjectID.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/WorkerID.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/msg/LoopDefinitionRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/script/gui/action/ScriptSaveAction.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/ActiveObject.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/Sym.java

Added Paths:
-----------
    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/WorkerIDBeanInfo.java
    branches/mango/extensions/mango/Mango/src/mango/tree/model/CellPersistenceDelegate.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/OtherPersistenceDelegate.java


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1193] branches/mango/extensions/mango/Mango/src /mango

From: <fra...@us...> - 2009-02-15 22:22:40

Revision: 1193
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1193&view=rev
Author:   frankrimlinger
Date:     2009-02-15 21:32:03 +0000 (Sun, 15 Feb 2009)

Log Message:
-----------
debugger window fix

Modified Paths:
--------------
    branches/mango/extensions/mango/Mango/src/mango/control/action/control/DebugRewriterAction.java
    branches/mango/extensions/mango/Mango/src/mango/control/action/window/DebuggerAction.java
    branches/mango/extensions/mango/Mango/src/mango/debugger/DebuggerWindow.java
    branches/mango/extensions/mango/Mango/src/mango/tree/TreeViewManager.java
    branches/mango/extensions/mango/Mango/src/mango/worker/WorkerControl.java


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1194] branches/mango/extensions/mango/Mango/src /mango/tree/model/Cell.java

From: <fra...@us...> - 2009-02-15 22:22:32

Revision: 1194
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1194&view=rev
Author:   frankrimlinger
Date:     2009-02-15 21:33:16 +0000 (Sun, 15 Feb 2009)

Log Message:
-----------
Cell fix

Modified Paths:
--------------
    branches/mango/extensions/mango/Mango/src/mango/tree/model/Cell.java


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1192] branches/mango/extensions/mango/Mango/src /mango

From: <fra...@us...> - 2009-02-15 04:44:36

Revision: 1192
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1192&view=rev
Author:   frankrimlinger
Date:     2009-02-15 04:44:26 +0000 (Sun, 15 Feb 2009)

Log Message:
-----------
more bugs fixed.  first complete session.  Next thing to fix is persistence delegation issues, and then replay will be possible.  Debugging against a working version is turning out to be E-Z.

Modified Paths:
--------------
    branches/mango/extensions/mango/Mango/src/mango/core/sym/RuleKey.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/ruleAction/module/definition/HarvestParameters.java


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1191] branches/mango/extensions/mango

From: <fra...@us...> - 2009-02-14 20:25:41

Revision: 1191
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1191&view=rev
Author:   frankrimlinger
Date:     2009-02-14 20:25:37 +0000 (Sat, 14 Feb 2009)

Log Message:
-----------
bug fix

Modified Paths:
--------------
    branches/mango/extensions/mango/Mango/src/mango/core/msg/WorkerCommand.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/GarbageCollectRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/ruleAction/coreRewriter/sorting/SRTP.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/Sym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/model/EquationModel.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/model/LAsolver.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/model/InvariantModel.java
    branches/mango/extensions/mango/ThreadSupport/src/model/Command.java
    branches/mango/extensions/mango/ThreadSupport/src/model/Commander.java
    branches/mango/extensions/mango/ThreadSupport/src/model/SystemBuilder.java


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1190] branches/mango/extensions/mango/Mango/src /mango

From: <fra...@us...> - 2009-02-14 03:31:23

Revision: 1190
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1190&view=rev
Author:   frankrimlinger
Date:     2009-02-14 03:31:20 +0000 (Sat, 14 Feb 2009)

Log Message:
-----------
Numerous bugs fixed.  Debugging is moving along more rapidly than expected.  In particular, the threading model is performing beautifully.

Modified Paths:
--------------
    branches/mango/extensions/mango/Mango/src/mango/core/gui/action/PrintAbstractionsAction.java
    branches/mango/extensions/mango/Mango/src/mango/core/util/CoreStringUtilities.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/ModuleLocator.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/PersistentObjectID.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/model/DefinitionManager.java
    branches/mango/extensions/mango/Mango/src/mango/module/model/ModuleManager.java
    branches/mango/extensions/mango/Mango/src/mango/script/model/MangoScriptModel.java
    branches/mango/extensions/mango/Mango/src/mango/script/msg/ReplayedMsg.java
    branches/mango/extensions/mango/Mango/src/mango/tree/TreeViewManager.java
    branches/mango/extensions/mango/Mango/src/mango/tree/data/TreeNodeClientData.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashInitialize.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/ObjMap.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/RewriteRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/LocalVarModel.java
    branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1189] branches/mango/extensions/mango/Mango/src /mango/core

From: <fra...@us...> - 2009-02-13 19:57:36

Revision: 1189
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1189&view=rev
Author:   frankrimlinger
Date:     2009-02-13 19:57:27 +0000 (Fri, 13 Feb 2009)

Log Message:
-----------
fix in progress for printing spec

Modified Paths:
--------------
    branches/mango/extensions/mango/Mango/src/mango/core/gui/action/PrintAbstractionsAction.java
    branches/mango/extensions/mango/Mango/src/mango/core/util/CoreStringUtilities.java


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1188] branches/mango/extensions/mango/Mango/src /mango

From: <fra...@us...> - 2009-02-13 05:09:18

Revision: 1188
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1188&view=rev
Author:   frankrimlinger
Date:     2009-02-13 05:09:11 +0000 (Fri, 13 Feb 2009)

Log Message:
-----------
mango bug fixes

Modified Paths:
--------------
    branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/LocatableFolderViewer.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/LoopDefinitionManager.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/model/DefinitionManager.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceConjectureLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/tree/TreeViewManager.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/RewriteLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/workstation/ViewBuilder.java
    branches/mango/extensions/mango/Mango/src/mango/workstation/action/MangoActionManager.java


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1187] branches/mango/extensions/mango/local/ franklocal/sessions/a.zip

From: <fra...@us...> - 2009-02-12 06:48:26

Revision: 1187
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1187&view=rev
Author:   frankrimlinger
Date:     2009-02-12 06:48:21 +0000 (Thu, 12 Feb 2009)

Log Message:
-----------
test session for mango code debugging

Added Paths:
-----------
    branches/mango/extensions/mango/local/franklocal/sessions/a.zip


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

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

From: <fra...@us...> - 2009-02-12 06:25:36

Revision: 1186
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1186&view=rev
Author:   frankrimlinger
Date:     2009-02-12 06:25:31 +0000 (Thu, 12 Feb 2009)

Log Message:
-----------
some misc stuff

Modified Paths:
--------------
    branches/mango/.classpath

Added Paths:
-----------
    branches/mango/make_test_jars

Removed Paths:
-------------
    branches/mango/banner.rtf


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1185] branches/mango/extensions/mango

From: <fra...@us...> - 2009-02-12 06:23:18

Revision: 1185
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1185&view=rev
Author:   frankrimlinger
Date:     2009-02-12 06:23:09 +0000 (Thu, 12 Feb 2009)

Log Message:
-----------
mango phase1 update, phase1 is NOW COMPLETE!

Added Paths:
-----------
    branches/mango/extensions/mango/banner.txt
    branches/mango/extensions/mango/cheat iterator
    branches/mango/extensions/mango/intermediate transformers
    branches/mango/extensions/mango/issue with SymbolicLinkPacket.rtf
    branches/mango/extensions/mango/secret memory command.txt
    branches/mango/extensions/mango/status.txt
    branches/mango/extensions/mango/wiring a command/
    branches/mango/extensions/mango/wiring a command/bind additional actions to the message (optional).tiff
    branches/mango/extensions/mango/wiring a command/bind the action to the pick response.tiff
    branches/mango/extensions/mango/wiring a command/bind the action to the pop-up menu.tiff
    branches/mango/extensions/mango/wiring a command/define a pick response.tiff
    branches/mango/extensions/mango/wiring a command/define the message.tiff
    branches/mango/extensions/mango/wiring a command/define the pick response accessor.tiff
    branches/mango/extensions/mango/wiring a command/time capsule.rtf
    branches/mango/extensions/mango/wiring a command/wiring a command.rtf

Removed Paths:
-------------
    branches/mango/extensions/mango/rulebase.txt


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1184] branches/mango/extensions/mango/local/ franklocal

From: <fra...@us...> - 2009-02-12 06:13:37

Revision: 1184
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1184&view=rev
Author:   frankrimlinger
Date:     2009-02-12 06:13:32 +0000 (Thu, 12 Feb 2009)

Log Message:
-----------
mango phase1 update, local data

Modified Paths:
--------------
    branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/Demo.java
    branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/EZfunctionAbs.java
    branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/FieldTest.java
    branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/LinearTest.java
    branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/ManagementDemo.java
    branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/ModelCheckText.java
    branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/conditionalTest.java
    branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/conditonalBugs.java
    branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/fcnCall.java
    branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/heapVacuum.java
    branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/invocationTest.java
    branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/multiarray.java
    branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/staticObjectVirtualCallTest/staticObjectVirtualCallTest.java
    branches/mango/extensions/mango/local/franklocal_input/LinearArithmeticTest/src/LinearArithmeticTest/liteTest1.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_Class.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_String.java
    branches/mango/extensions/mango/local/franklocal_input/System/java/lang/Class.java
    branches/mango/extensions/mango/local/franklocal_input/System/java/lang/System.java
    branches/mango/extensions/mango/local/franklocal_input/System/java/lang/reflect/Array.java
    branches/mango/extensions/mango/local/franklocal_input/SystemTests/src/systemTests/ArrayCopyFunctionalTest.java
    branches/mango/extensions/mango/local/franklocal_input/SystemTests/src/systemTests/ArrayCopyTest.java
    branches/mango/extensions/mango/local/franklocal_input/SystemTests/src/systemTests/PleaseWrapThis.java
    branches/mango/extensions/mango/local/franklocal_input/app/src/app/Bit/Bit.java
    branches/mango/extensions/mango/local/franklocal_input/app/src/app/Bit/nastyBitTest.java
    branches/mango/extensions/mango/local/franklocal_input/app/src/app/BitString/BitString.java
    branches/mango/extensions/mango/local/franklocal_input/loopTests/src/loopTests/ArrayLengthLoopTest.java
    branches/mango/extensions/mango/local/franklocal_input/loopTests/src/loopTests/EcapTwo.java
    branches/mango/extensions/mango/local/franklocal_input/loopTests/src/loopTests/EncapsulationTest.java
    branches/mango/extensions/mango/local/franklocal_input/loopTests/src/loopTests/LoopGuardTest.java
    branches/mango/extensions/mango/local/franklocal_input/loopTests/src/loopTests/NaturalMultiplier.java
    branches/mango/extensions/mango/local/franklocal_input/loopTests/src/loopTests/SimpleEcap.java
    branches/mango/extensions/mango/local/franklocal_input/loopTests/src/loopTests/WarrenExample.java
    branches/mango/extensions/mango/local/franklocal_input/loopTests/src/loopTests/fibonocci.java
    branches/mango/extensions/mango/local/franklocal_input/loopTests/src/loopTests/genloc.java
    branches/mango/extensions/mango/local/franklocal_input/loopTests/src/loopTests/heapLoop.java
    branches/mango/extensions/mango/local/franklocal_input/loopTests/src/loopTests/innermostLoop.java
    branches/mango/extensions/mango/local/franklocal_input/loopTests/src/loopTests/nested_blowup.java
    branches/mango/extensions/mango/local/franklocal_input/loopTests/src/loopTests/testrecursive.java
    branches/mango/extensions/mango/local/franklocal_input/loopTests/src/loopTests/twoLevelLoop.java

Added Paths:
-----------
    branches/mango/extensions/mango/local/franklocal/rules/rulebase port.rtf
    branches/mango/extensions/mango/local/franklocal/rules/rulebase.zip

Removed Paths:
-------------
    branches/mango/extensions/mango/local/franklocal/rules/rulebase.xml


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1183] branches/mango/extensions/mango/Mango/src /mango

From: <fra...@us...> - 2009-02-12 06:05:50

Revision: 1183
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1183&view=rev
Author:   frankrimlinger
Date:     2009-02-12 06:05:47 +0000 (Thu, 12 Feb 2009)

Log Message:
-----------
mango phase1 update, source code sync complete

Added Paths:
-----------
    branches/mango/extensions/mango/Mango/src/mango/graph/msg/Graph2DViewCreateCommandMsg.java
    branches/mango/extensions/mango/Mango/src/mango/graph/msg/Graph2DViewCreateRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/graph/msg/Graph3DViewCreateCommandMsg.java
    branches/mango/extensions/mango/Mango/src/mango/graph/msg/Graph3DViewCreateRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/graph/msg/GraphViewCreateCommandMsg.java
    branches/mango/extensions/mango/Mango/src/mango/graph/msg/GraphViewCreateRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/graph/msg/MultiGraph3DViewCreateCommandMsg.java
    branches/mango/extensions/mango/Mango/src/mango/graph/msg/MultiGraph3DViewCreateRequestMsg.java

Removed Paths:
-------------
    branches/mango/extensions/mango/Mango/src/mango/graph/agent/msg/
    branches/mango/extensions/mango/Mango/src/mango/graph/msg/Graph2DViewCreateRequestMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/graph/msg/Graph2DViewCreateRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/graph/msg/Graph3DViewCreateRequestMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/graph/msg/Graph3DViewCreateRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/graph/msg/MultiGraph3DViewCreateRequestMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/graph/msg/MultiGraph3DViewCreateRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/graph/msg/PostCoreRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/graph/msg/PostRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/ruleAction/form/invariant/


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1182] branches/mango/extensions/mango/Mango/src /mango

From: <fra...@us...> - 2009-02-12 05:45:27

Revision: 1182
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1182&view=rev
Author:   frankrimlinger
Date:     2009-02-12 05:45:23 +0000 (Thu, 12 Feb 2009)

Log Message:
-----------
mango phase1 update, round-up of source code strays

Modified Paths:
--------------
    branches/mango/extensions/mango/Mango/src/mango/workstation/action/ActionManager.java
    branches/mango/extensions/mango/Mango/src/mango/workstation/action/MangoActionManager.java
    branches/mango/extensions/mango/Mango/src/mango/workstation/agent/ActionAgent.java
    branches/mango/extensions/mango/Mango/src/mango/workstation/interaction/Actions.java
    branches/mango/extensions/mango/Mango/src/mango/workstation/msg/ScheduleRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/workstation/msg/SetAllActionsEnabledMsg.java
    branches/mango/extensions/mango/Mango/src/mango/workstation/msg/SetEnabledActionsMsg.java
    branches/mango/extensions/mango/Mango/src/mango/workstation/msg/UpdateParityModelsMsg.java
    branches/mango/extensions/mango/Mango/src/mango/workstation/window/GlobalViewWindow.java
    branches/mango/extensions/mango/Mango/src/mango/workstation/window/ToggleUnblockingStateAction.java

Added Paths:
-----------
    branches/mango/extensions/mango/Mango/src/mango/workstation/interaction/PopUpMenuEnabler.java
    branches/mango/extensions/mango/Mango/src/mango/workstation/msg/PopUpMsg.java

Removed Paths:
-------------
    branches/mango/extensions/mango/Mango/src/mango/lang/
    branches/mango/extensions/mango/Mango/src/mango/tree/msg/
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/agent/
    branches/mango/extensions/mango/Mango/src/mango/workstation/msg/EnableActionsRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/workstation/msg/StandardScheduleRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/workstation/msg/WorkstationMsg.java


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1181] branches/mango/extensions/mango/ ThreadSupport

From: <fra...@us...> - 2009-02-12 05:36:49

Revision: 1181
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1181&view=rev
Author:   frankrimlinger
Date:     2009-02-12 05:36:39 +0000 (Thu, 12 Feb 2009)

Log Message:
-----------
mango phase1 update, part12, ThreadSupport

Modified Paths:
--------------
    branches/mango/extensions/mango/ThreadSupport/src/impl/CommandUtilities.java
    branches/mango/extensions/mango/ThreadSupport/src/impl/LongCommand.java
    branches/mango/extensions/mango/ThreadSupport/src/impl/ShortCommand.java
    branches/mango/extensions/mango/ThreadSupport/src/model/Command.java
    branches/mango/extensions/mango/ThreadSupport/src/model/Commander.java
    branches/mango/extensions/mango/ThreadSupport/src/model/SystemBuilder.java
    branches/mango/extensions/mango/ThreadSupport/src/script/ScriptCommandCellRenderer.java
    branches/mango/extensions/mango/ThreadSupport/src/script/ScriptModel.java
    branches/mango/extensions/mango/ThreadSupport/src/script/ScriptRunAction.java
    branches/mango/extensions/mango/ThreadSupport/src/script/ScriptUtilities.java
    branches/mango/extensions/mango/ThreadSupport/src/script/ScriptWindow.java
    branches/mango/extensions/mango/ThreadSupport/src/util/Time.java

Added Paths:
-----------
    branches/mango/extensions/mango/ThreadSupport/command structure.txt
    branches/mango/extensions/mango/ThreadSupport/src/impl/BatchParentCommand.java
    branches/mango/extensions/mango/ThreadSupport/src/impl/ParentCommand.java
    branches/mango/extensions/mango/ThreadSupport/src/impl/ScriptTest.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/ThreadSupport/src/model/ScriptableCommand.java

Removed Paths:
-------------
    branches/mango/extensions/mango/ThreadSupport/src/impl/JpfTest.java
    branches/mango/extensions/mango/ThreadSupport/src/impl/ParentDoneCommand.java
    branches/mango/extensions/mango/ThreadSupport/src/impl/SubcommandGenerator.java
    branches/mango/extensions/mango/ThreadSupport/src/model/Main.java
    branches/mango/extensions/mango/ThreadSupport/src/model/UserCommand.java
    branches/mango/extensions/mango/ThreadSupport/src/model/WorkerBuilder.java


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1180] branches/mango/extensions/mango/Mango/src /mango/workstation

From: <fra...@us...> - 2009-02-12 05:33:35

Revision: 1180
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1180&view=rev
Author:   frankrimlinger
Date:     2009-02-12 05:33:31 +0000 (Thu, 12 Feb 2009)

Log Message:
-----------
mango phase1 update, part11, mango/workstation

Modified Paths:
--------------
    branches/mango/extensions/mango/Mango/src/mango/workstation/RuleResourceManager.java
    branches/mango/extensions/mango/Mango/src/mango/workstation/ViewBuilder.java
    branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java

Added Paths:
-----------
    branches/mango/extensions/mango/Mango/src/mango/workstation/PopUpResourceManager.java
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/How to create or modify Destiny icons
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/axiom.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/axiomDef.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/boolean.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/char.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/conjecture.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/conjectureDef.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/dark chocolate.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/defun.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/defunP.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/equivAxiomDef.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/equivConjectureDef.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/equivalence.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/hypothesis.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1004_numerical.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1019_Method.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1041_heapObjectType.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1042_heapItemType.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1058_BclassPtrType.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1062_SuperMethod.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1070.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1072.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1073_CodeSymType.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1085_StateSymType.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1088_PredicateSym.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1090_MethodEntrySym.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1111_BliteGraphSymType.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1112_defU.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1113_defP.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1114_PackageSymType.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1115_RuleBaseSymType.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1116_EquivalenceSymType.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1117_FloatSymType.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1118_LocalValueSym.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1119_closedLocalVarType.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1120_closedHeapType.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1121_closedGreenHeapID.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1122_closedYellowHeapID.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1123_closedOrangeHeapID.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1124_closedredHeapID.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1125_closedStackType.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1126_closedFrameType.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1127_ closedBeginningOfTimeIconID.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1128_ closedStatType.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1129_instantiatedLoopSymType.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1130_ParamStateSymType.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1131_ExportSymType.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1132_ closedOpVarType.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1133_primitiveExportSym.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1134_SimplifySym.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1135_PredKeySym.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1136_OutcomeKeySym.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1137_BooleanKeySym.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1138_ParameterLoopSym
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1139_ReturnValueSym.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1140_BooleanKeySymX.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1141_EquivFormSym.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1142_notReadyInst.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1143_LoopTargetSym.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1144_MemoSym.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1145_defS.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1146_defunP.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1147_defunU.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1148_defunS.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1149_LoopTargetSym.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1150_MethodTargetSym.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1151_TierIconIndex.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1152_InactiveTierIcon.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1153_ActiveObjectSym.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1154_InactiveRuleIcon.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1155_TranslationSyType.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1156_modelRuleKey.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1157_methondInst.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1158_LocatableArraySym.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1159_modelRuleKey.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1160_returnStateKey.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/icon1161_loopStateKey.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/iff.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/numericalHeapCounter.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/page.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/userDef.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1000_bookmark.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1001_group.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1002_symbol.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1003_aliased_rule_key.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1004_number.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1005_kons.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1006_args.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1007_ruleKey.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1008_aliased_var.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1009_csym.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1010_rewriter.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1011_unifier.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1012_undefined.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1013_handle.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1014_namexp.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1015_pointer.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1016_instruction.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1018_Loop.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1019_method.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1020_omegaLoopIconType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1023_Connector.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1024_Predicate.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1026_userVar.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1029_root.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1031_rulekeyUp.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1032_rulekeyDown.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1033_interpretable_kons.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1033_konsWithLiteGraphTag.txt
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1034_stack.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1035_frame.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1036_local.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1037_op.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1038_slist.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1039_heap.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1040_heapPointer.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1041_heapObject.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1042_heapItem.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1044_stat.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1045_blessed.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1046_dual.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1047_dualp.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1048_pred.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1050_graph.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1051_callGraph.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1052_methodGraph.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1053_LoopTran.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1054_Emit.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1055_BsuperCallSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1059_BsuperCpnSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1060_BsuperVertexSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1062_BsuperMethodSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1063_BsuperBlowUpSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1064_BsuperLoopSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1065_BsuperStrataSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1066_BsuperSplitSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1067_BagentSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1068_BexpressionSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1069_BgraphicElementSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1070_BreflectionSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1071_BvertexSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1072_BedgeSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1073_BcodeSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1074_BuconSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1075_BsinkTerminatorSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1076_BinifiniteLoopSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1077_BcallSinkSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1078_BthrowSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1079_BassertionSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1080_BmissingDestSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1081_BreturnTerminatorSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1082_BtrueReturnType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1083_BosReturnType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1084_BdeadCodeType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1085_BstateSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1086_BprimitiveSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1087_BbranchSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1088_BpredicateSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1089_BalphaSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1090_BmethodEntrySymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1091_BloopSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1092_BbadPlaceSinkSym.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1093_BunknownReturnType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1094_BcallEdgeSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1095_BinvocationEdgeSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1096_BunconOSTerminatorSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1097_BOSSinkSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1098_BpushOffSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1099_omega.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1100_BstrataSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1101_BsuperEntrySymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1102_BsuperPathSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1103_BpathSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1104_BconditionSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1105_BnotConditionSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1106_BcollateralSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1107_BparamSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1111_BliteGraphSymType.rtf
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/icon1146_defunP.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/buffer.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon port instructions
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1000.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1001.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1002.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1003.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1004.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1005.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1006.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1007.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1008.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1009.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1010.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1011.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1012.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1013.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1014.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1015.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1016.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1018.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1019.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1020.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1023.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1024.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1026.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1029.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1031.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1032.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1033.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1034.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1035.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1036.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1037.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1038.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1039.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1040.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1041.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1042.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1043.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1044.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1045.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1046.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1047.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1048.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1049.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1050.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1051.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1052.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1053.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1054.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1055.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1056.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1057.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1058.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1059.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1060.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1062.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1063.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1064.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1065.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1066.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1067.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1068.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1069.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1070.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1071.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1072.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1073.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1074.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1075.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1076.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1077.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1078.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1079.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1080.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1081.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1082.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1083.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1084.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1085.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1086.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1087.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1088.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1089.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1090.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1091.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1092.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1093.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1094.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1095.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1096.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1097.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1098.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1099.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1100.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1101.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1102.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1103.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1104.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1105.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1106.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1107.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1108.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1109.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1110.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1111.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1111.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1112.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1113.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1114.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1115.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1116.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1117.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1118.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1119.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1120.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1121.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1122.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1123.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1124.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1125.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1126.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1127.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1128.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1129.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1130.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1131.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1132.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1133.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1138.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1139.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1141.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1142.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1143.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1144.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1145.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1146.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1147.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1148.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1149.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1150.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1151.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1152.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1153.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1154.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1155.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1156.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1157.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1158.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1159.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1160.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/icon1161.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/activeBlue.gif
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/activeBlue.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/activeRed.gif
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/activeRed.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/axiom.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/axiomDef.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/boolean.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/char.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/conjecture.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/conjectureDef.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/defun.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/defunP.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/equivAxiomDef.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/equivConjectureDef.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/equivalence.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/folder.jpg
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/folder.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/folderdark.jpg
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/folderdark.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/hypothesis.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/icon1157.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/iff.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/inactive.gif
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/inactive.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/left.jpg
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/left.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/numericalHeapCounter.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/page.jpg
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/page.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/pagedark.jpg
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/pagedark.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/pagelink.jpg
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/pagelink.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/right.jpg
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/right.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/userDef.png
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/variable.icns
    branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/variable.png


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1179] branches/mango/extensions/mango/Mango/src /mango/worker

From: <fra...@us...> - 2009-02-12 05:21:13

Revision: 1179
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1179&view=rev
Author:   frankrimlinger
Date:     2009-02-12 05:21:07 +0000 (Thu, 12 Feb 2009)

Log Message:
-----------
mango phase1 update, part10, mango/worker/workFlow to mango/worker/WorkerManager

Modified Paths:
--------------
    branches/mango/extensions/mango/Mango/src/mango/worker/WorkerControl.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/RedoLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/RedoRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/ReplaceRewriteLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/ReplaceRewriteRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/RewriteLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/RewriteRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/ShowTypeRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/UnblockStateRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/UndoLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/UndoRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/sym/ConjunctionSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/sym/EquationSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/sym/FoundationSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/sym/FreeVariableSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/sym/InequationSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/trap/RewriteTrap.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/model/HeapPointer.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/model/HeapTracer.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/HiFormer.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/BinderSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/ContextBinderSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/ExecutableBinderSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/RevealedBinderSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/FrameSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/HeapSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/LocalVarSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/OpVarSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/StackSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/StatSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/revealed/HeapItemSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/model/FunctionSpaceObject.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/FunctionSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/LoopInvocationSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/MethodInvocationSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleHypothesisSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleInvocationSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/UserInvocationSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/model/TrapConnector.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/model/WorkFlowUtil.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/model/semantics/Semantics.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/model/semantics/SemanticsForEquality.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/model/semantics/SemanticsForIsSuperClass.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/sym/TranslationSym.java

Added Paths:
-----------
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/AugmentAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/BackchainAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/BackflowAssocAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/BlockedUconAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/ContainsAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/FreeVarsAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/GeneralizeAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/HypoAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/InterpretAssocAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/InterpretCompositionAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/LinearArithmeticAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/MatchAssumptionsAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/SimplifyAndAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/SimplifyOrAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/StabilizeArgumentsAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/WithAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/model/AbstractEquation.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/model/ConjunctionModel.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/model/EquationModel.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/model/InequationModel.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/model/LAsolver.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/trap/CellUpdateTrap.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/trap/LinearArithmeticTrap.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/trap/ReplaceTrapConnector.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/agent/ConvertCharArrayToStringAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/trap/ApplyLinearTrap.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/trap/GarbageCollectTrap.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/FrameModel.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/HeapItemModel.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/HeapModel.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/HeapObjectModel.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/LocalArrayModel.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/LocalItemModel.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/LocalVarModel.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/OpItemModel.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/OpVarModel.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/OperandStackModel.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/StackModel.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/StatItemModel.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/StatModel.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/WorkerModel.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/LineNumberSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/revealed/HeapObjectSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/revealed/LocalItemSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/revealed/LocalSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/revealed/OpSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/revealed/StatItemSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/csym/ClosedFormCsym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/csym/HeapCounterModelCsym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/csym/HeapModelCsym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/csym/LocalVarModelCsym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/csym/OpVarModelCsym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/csym/StackModelCsym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/csym/StatModelCsym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/csym/StateModelCsym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/BindModuleAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/EvalConditionalAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/EvaluatePredicateAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/InvertConditionalAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/StabilizeParameterAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/
    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/agent/Summary of StandingHypoAgent.rtf
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/model/
    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/
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/sym/BaseInvariantAgentProxySym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/trap/
    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/worker/workFlow/translate/agent/AutoAssumeEquivalenceAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/agent/AutoAssumptionAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/model/TranslateLoopManager.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/model/TranslateModuleManager.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/model/TranslateReturnManager.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/model/TranslationManager.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/ScriptedTranslateTrap.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/ScriptedTrapConnector.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/TranslateMsgType.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/TranslateRequestedTrap.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/TranslateTrap.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/TranslateTrapConnector.java

Removed Paths:
-------------
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/AugmentAgent.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/AugmentAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/BackchainAgent.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/BackchainAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/BackflowAssocAgent.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/BackflowAssocAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/BlockedUconAgent.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/BlockedUconAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/ContainsAgent.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/ContainsAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/FreeVarsAgent.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/FreeVarsAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/GeneralizeAgent.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/GeneralizeAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/HypoAgent.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/HypoAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/InterpretAssocAgent.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/InterpretAssocAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/InterpretCompositionAgent.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/InterpretCompositionAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/LinearArithmeticAgent.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/LinearArithmeticAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/MatchAssumptionsAgent.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/MatchAssumptionsAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/SimpleHypoAgent.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/SimpleHypoAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/SimplifyAndAgent.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/SimplifyAndAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/SimplifyOrAgent.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/SimplifyOrAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/StabilizeArgumentsAgent.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/StabilizeArgumentsAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/WithAgent.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/WithAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/model/AbstractEquation.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/model/AbstractEquation.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/model/ConjunctionModel.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/model/ConjunctionModel.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/model/EquationModel.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/model/EquationModel.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/model/InequationModel.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/model/InequationModel.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/model/LAsolver.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/model/LAsolver.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/CompressHeapRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/MsgBlockShow.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/MsgUnblockAll.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/MsgUnblockCell.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/RedoLocatorMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/RedoLocatorMsg.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/RedoRequestMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/RedoRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/ReplaceRewriteLocatorMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/ReplaceRewriteLocatorMsg.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/ReplaceRewriteRequestMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/ReplaceRewriteRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/RewriteLocatorMsg.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/RewriteRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/ShowDateRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/ShowRewriteErrorMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/ShowRewriteErrorMsg.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/ShowTypeRequestMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/ShowTypeRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/UnblockStateRequestMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/UnblockStateRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/UndoLocatorMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/UndoLocatorMsg.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/UndoRequestMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/UndoRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/sym/ConjunctionSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/sym/EquationSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/sym/FoundationSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/sym/FreeVariableSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/sym/InequationSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/trap/CellUpdateTrap.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/trap/CellUpdateTrap.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/trap/LinearArithmeticTrap.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/trap/LinearArithmeticTrap.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/trap/ReplaceTrapConnector.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/trap/ReplaceTrapConnector.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/trap/RewriteTrap.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/agent/ConvertCharArrayToStringAgent.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/agent/ConvertCharArrayToStringAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/model/HeapPointer.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/model/HeapTracer.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/trap/ApplyLinearTrap.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/trap/ApplyLinearTrap.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/trap/GarbageCollectTrap.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/trap/GarbageCollectTrap.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/FrameModel.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/FrameModel.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/HeapItemModel.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/HeapItemModel.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/HeapModel.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/HeapModel.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/HeapObjectModel.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/HeapObjectModel.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/HiFormer.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/LocalArrayModel.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/LocalArrayModel.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/LocalItemModel.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/LocalItemModel.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/LocalVarModel.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/LocalVarModel.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/OpItemModel.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/OpItemModel.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/OpVarModel.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/OpVarModel.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/OperandStackModel.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/OperandStackModel.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/StackModel.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/StackModel.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/StatItemModel.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/StatItemModel.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/StatModel.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/StatModel.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/WorkerModel.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/WorkerModel.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/LineNumberSym.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/LineNumberSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/BinderSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/ContextBinderSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/ExecutableBinderSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/RevealedBinderSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/FrameSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/HeapSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/LocalVarSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/OpVarSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/StackSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/StatSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/revealed/HeapItemSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/revealed/HeapObjectSym.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/revealed/HeapObjectSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/revealed/LocalItemSym.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/revealed/LocalItemSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/revealed/LocalSym.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/revealed/LocalSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/revealed/OpSym.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/revealed/OpSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/revealed/StatItemSym.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/revealed/StatItemSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/csym/ClosedFormCsym.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/csym/ClosedFormCsym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/csym/HeapCounterModelCsym.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/csym/HeapCounterModelCsym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/csym/HeapModelCsym.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/csym/HeapModelCsym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/csym/LocalVarModelCsym.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/csym/LocalVarModelCsym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/csym/OpVarModelCsym.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/csym/OpVarModelCsym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/csym/StackModelCsym.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/csym/StackModelCsym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/csym/StatModelCsym.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/csym/StatModelCsym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/csym/StateModelCsym.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/csym/StateModelCsym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/EvalConditionalAgent.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/EvalConditionalAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/EvaluatePredicateAgent.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/EvaluatePredicateAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/InvertConditionalAgent.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/InvertConditionalAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/StabilizeParameterAgent.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/StabilizeParameterAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/model/FunctionSpaceObject.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/FunctionSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/LoopInvocationSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/MethodInvocationSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleHypothesisSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleInvocationSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/UserInvocationSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/model/JavaType.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/model/TrapConnector.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/model/WorkFlowUtil.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/agent/AutoAssumeEquivalenceAgent.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/agent/AutoAssumeEquivalenceAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/agent/AutoAssumptionAgent.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/agent/AutoAssumptionAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/model/TranslateLoopManager.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/model/TranslateLoopManager.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/model/TranslateModuleManager.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/model/TranslateModuleManager.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/model/TranslateReturnManager.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/model/TranslateReturnManager.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/model/TranslationManager.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/model/TranslationManager.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/model/semantics/Semantics.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/model/semantics/SemanticsForEquality.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/model/semantics/SemanticsForIsSuperClass.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/sym/TranslationSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/ScriptedTranslateTrap.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/ScriptedTranslateTrap.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/ScriptedTrapConnector.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/ScriptedTrapConnector.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/TranslateMsgType.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/TranslateMsgType.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/TranslateRequestedTrap.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/TranslateRequestedTrap.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/TranslateTrap.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/TranslateTrap.h
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/TranslateTrapConnector.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/TranslateTrapConnector.h


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1178] branches/mango/extensions/mango/Mango/src /mango/worker

From: <fra...@us...> - 2009-02-12 05:12:30

Revision: 1178
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1178&view=rev
Author:   frankrimlinger
Date:     2009-02-12 05:12:27 +0000 (Thu, 12 Feb 2009)

Log Message:
-----------
mango phase1 update, part9, mango/worker/mangoModel to mango/worker/utilities

Modified Paths:
--------------
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/backupAlg/BackupAlg.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/backupDelegate/BackupDelegate.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/backupDelegate/CodeDelegate.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/backupDelegate/UconDelegate.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/edge/BackupEdge.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/edge/Espec.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/edge/InstallResult.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/edge/Path.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/edge/PathCollection.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/graph/AcyclicGraph.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/graph/Graph.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/graph/LoopGraph.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/graph/StrataGraph.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/graph/SuperCpnGraph.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/graphic/Graphic.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/graphic/GraphicConnection.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/CallEdgeSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/CodeSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/EdgeSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/GraphicSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/LoopSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/PackageSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/PathSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/SuperVertexClassSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/return_terminator/ReturnTerminatorSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/AssertionSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/BadPlaceSinkSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/InfiniteLoopSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/SinkTerminatorSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperBlowUpSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperCpnSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperEntrySym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperLoopSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperStrataSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperVertexSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/ucon/AbstractUconSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/ucon/MethodEntrySym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/ucon/UconOSTerminatorSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/ucon/UconSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/vertex/AcyclicVertex.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/vertex/BackupVertex.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/vertex/CpnVertex.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/vertex/LoopVertex.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/vertex/SuperCpnVertex.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/vertex/Vertex.java
    branches/mango/extensions/mango/Mango/src/mango/worker/utilities/Util.java

Added Paths:
-----------
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/FortyTwo.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/agent/CheckCast_getValueAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/agent/InstanceOfAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/agent/IsAssignmentCompatibleAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/agent/ValueHAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/utilities/Mutable.java
    branches/mango/extensions/mango/Mango/src/mango/worker/utilities/MutableArray.java
    branches/mango/extensions/mango/Mango/src/mango/worker/utilities/MutableHitem.java
    branches/mango/extensions/mango/Mango/src/mango/worker/utilities/MutableSet.java
    branches/mango/extensions/mango/Mango/src/mango/worker/utilities/MutableValue.java
    branches/mango/extensions/mango/Mango/src/mango/worker/utilities/StackOpposite.java

Removed Paths:
-------------
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/agent/CheckCast_getValueAgent.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/agent/CheckCast_getValueAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/agent/InstanceOfAgent.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/agent/InstanceOfAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/agent/IsAssignmentCompatibleAgent.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/agent/IsAssignmentCompatibleAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/agent/ValueHAgent.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/agent/ValueHAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/backupAlg/BackupAlg.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/backupDelegate/AlphaDelegate.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/backupDelegate/BackupDelegate.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/backupDelegate/CodeDelegate.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/backupDelegate/EdgeDelegate.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/backupDelegate/GraphDelegate.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/backupDelegate/OmegaDelegate.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/backupDelegate/UconDelegate.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/edge/BackupEdge.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/edge/Edge.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/edge/EdgeIterator.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/edge/EdgeType.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/edge/Espec.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/edge/InstallResult.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/edge/Path.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/edge/PathCollection.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/graph/AcyclicGraph.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/graph/CpnGraph.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/graph/Graph.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/graph/LoopGraph.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/graph/StrataGraph.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/graph/SuperCpnGraph.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/graphic/Graphic.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/graphic/GraphicConnection.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/GateSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/CallEdgeSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/CodeSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/EdgeSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/GraphicSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/InvocationEdgeSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/LoopSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/MethodSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/PackageSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/PathSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/SourceLineSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/SuperVertexClassSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/VertexSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/reflection/BlowUpSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/reflection/BranchSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/reflection/ConditionSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/reflection/NotConditionSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/reflection/PredicateSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/reflection/PrimitiveSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/reflection/PushOffSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/reflection/StateSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/return_terminator/DeadCodeSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/return_terminator/OSreturnSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/return_terminator/ReturnTerminatorSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/return_terminator/TrueReturnSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/AssertionSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/BadPlaceSinkSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/CallSinkSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/InfiniteLoopSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/MissingDestSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/OSsinkSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/SinkTerminatorSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/ThrowSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperBlowUpSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperCallSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperCpnSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperEntrySym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperLoopSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperStrataSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperVertexSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/ucon/AbstractUconSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/ucon/AlphaSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/ucon/MethodEntrySym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/ucon/UconOSTerminatorSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/ucon/UconSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/vertex/AcyclicVertex.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/vertex/BackupVertex.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/vertex/CallVertex.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/vertex/CpnVertex.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/vertex/LoopVertex.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/vertex/MethodVertex.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/vertex/SuperCpnVertex.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/vertex/SuperVertex.h
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/vertex/Vertex.h
    branches/mango/extensions/mango/Mango/src/mango/worker/utilities/JNI_TEST.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/utilities/Mutable.h
    branches/mango/extensions/mango/Mango/src/mango/worker/utilities/MutableArray.h
    branches/mango/extensions/mango/Mango/src/mango/worker/utilities/MutableHitem.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/utilities/MutableHitem.h
    branches/mango/extensions/mango/Mango/src/mango/worker/utilities/MutableSet.h
    branches/mango/extensions/mango/Mango/src/mango/worker/utilities/MutableValue.h
    branches/mango/extensions/mango/Mango/src/mango/worker/utilities/SafeArray.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/utilities/SafeArray.h
    branches/mango/extensions/mango/Mango/src/mango/worker/utilities/Stack.java
    branches/mango/extensions/mango/Mango/src/mango/worker/utilities/StringClass.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/utilities/StringClass.h
    branches/mango/extensions/mango/Mango/src/mango/worker/utilities/util.h


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1177] branches/mango/extensions/mango/Mango/src /mango/worker

From: <fra...@us...> - 2009-02-12 05:07:52

Revision: 1177
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1177&view=rev
Author:   frankrimlinger
Date:     2009-02-12 05:07:48 +0000 (Thu, 12 Feb 2009)

Log Message:
-----------
mango phase1 update, part8, mango/worker/debugging to mango/worker/main

Modified Paths:
--------------
    branches/mango/extensions/mango/Mango/src/mango/worker/debugging/MissingClassInfoWarning.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/agent/BinderSymAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/agent/CallBackAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/agent/SubordinateRewriteCallBack.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/events/CallBack.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/events/Event.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/events/QueueableEvent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/events/RewriteEvent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Args.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Cons.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Hash.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Hitem.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Kons.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Number.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashCoreParser.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashEngine.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashEnterpriseAndTranslation.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashInitialize.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashRecent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashRewriter.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/ActiveObject.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/Rule.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/RuleAction.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/RuleBase.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/RuleGenerator.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/TemplateRuleManager.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/Tier.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/AbstractSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/Acl2paramSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/ClassPtrSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/FileNameMapSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/GenericMethodNameSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/InstructionNameSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/InterpretableSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/Marker.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/ObjMap.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/Plug.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/StringSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/Sym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/unifier/ActionCallBack.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/unifier/UnifyEvent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/byteCodeModel/ArithmeticOp.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/byteCodeModel/Branching.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/byteCodeModel/Getandput.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/byteCodeModel/Invocation.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/byteCodeModel/Invoking.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/byteCodeModel/Linker.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/byteCodeModel/Loading.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/byteCodeModel/Newandmisc.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/byteCodeModel/Pushing.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/byteCodeModel/Storing.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/classParser/ConstantPool.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/EntryPointManager.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/Instruction.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/Method.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/errorModel/ClassInfoNotModelledError.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/errorModel/MangoModelError.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/jvmSyntax/attributes/Code_attribute.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/linkingModel/AccessControl.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/linkingModel/ClassAndInterfaceResolution.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/linkingModel/FieldResolution.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/linkingModel/InterfaceMethodResolution.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/linkingModel/MethodResolution.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/sym/InstructionSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/sym/InvocationSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/sym/JclassSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/sym/JmethodSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/main/EventLoopTrap.java
    branches/mango/extensions/mango/Mango/src/mango/worker/main/IconIndex.java
    branches/mango/extensions/mango/Mango/src/mango/worker/main/Mango.java
    branches/mango/extensions/mango/Mango/src/mango/worker/main/Worker.java

Added Paths:
-----------
    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/UserVarSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/main/EventLoopCmd.java

Removed Paths:
-------------
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/Symbol2_def.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/SymbolHash.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/Symbol_def.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/agent/BinderSymAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/agent/CallBackAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/agent/ForceOrderAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/agent/ForceOrderCallBack.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/agent/RewriteAgent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/agent/SubordinateRewriteCallBack.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/events/CallBack.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/events/DoneCallBack.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/events/Event.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/events/LocalMessage.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/events/QueueableEvent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/events/RewriteCallBack.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/events/RewriteEvent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/events/Rewriter.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Args.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Cons.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Hash.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Kons.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/csym/Csym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/csym/PointerCsym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/hitem/Hitem.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/hitem/Hitem_enterprise.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/hitem/Hitem_getters.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/hitem/Hitem_hashSupport.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/hitem/Hitem_interpretation.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/hitem/Hitem_recognizers_a_to_f.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/hitem/Hitem_recognizers_a_to_f.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/hitem/Hitem_recognizers_g_to_p.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/hitem/Hitem_recognizers_g_to_p.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/hitem/Hitem_recognizers_q_to_z.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/hitem/Hitem_recognizers_q_to_z.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/hitem/Hitem_satisfies.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/hitem/Hitem_utilities.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/ActiveObject.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/ModelLocation.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/ModelLocation.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/Registrar.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/Rule.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/RuleBase concepts
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/RuleBase.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/RuleGenerator.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/TemplateRuleManager.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/Tier.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/Variable.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/VariableBinding.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/ViewLocation.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/AgentSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/ExpressionSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/FileNameMapSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/InterpretableSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/ObjMapSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/Sym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/SymbolTypeSym.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/SymbolTypeSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/TimerSym.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/TimerSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/unifier/ActionCallBack.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/unifier/UnifyCallBack.h
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/unifier/UnifyEvent.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/byteCodeModel/Invocation.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/Attribute_info.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/Branch.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/Class.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/ClassParsingAlg.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/ConstantPool.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/EntryPoint.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/EntryPointManager.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/Field.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/Instruction.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/Method.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/Package.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/ReturnPointLink.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/binaryStream.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/binaryStream.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/notation_comments.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/errorModel/AbstractMethodError.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/errorModel/AbstractMethodError.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/errorModel/ClassInfoNotModelledError.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/errorModel/Error.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/errorModel/Error.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/errorModel/IllegalAccessError.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/errorModel/IllegalAccessError.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/errorModel/IncompatibleClassChangeError.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/errorModel/IncompatibleClassChangeError.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/errorModel/JavaModelError.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/errorModel/JavaModelError.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/errorModel/MangoModelError.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/errorModel/NoSuchFieldError.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/errorModel/NoSuchFieldError.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/errorModel/NoSuchMethodError.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/errorModel/NoSuchMethodError.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/errorModel/NullPointerException.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/errorModel/NullPointerException.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/errorModel/UnsatisfiedLinkError.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/errorModel/UnsatisfiedLinkError.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/jvmSyntax/attributes/Code_attribute.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/jvmSyntax/attributes/ConstantValue_attribute.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/jvmSyntax/attributes/Deprecated_attribute.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/jvmSyntax/attributes/Exceptions_attribute.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/jvmSyntax/attributes/InnerClasses_attribute.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/jvmSyntax/attributes/LineNumberTable_attribute.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/jvmSyntax/attributes/LocalVariableTable_attribute.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/jvmSyntax/attributes/SourceFile_attribute.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/jvmSyntax/attributes/Synthetic_attribute.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/jvmSyntax/helper_classes/Classes_info.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/jvmSyntax/helper_classes/Et_info.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/jvmSyntax/helper_classes/Line_number_table_info.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/jvmSyntax/helper_classes/Local_variable_table_info.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/linkingModel/AccessControl.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/linkingModel/ClassAndInterfaceResolution.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/linkingModel/FieldResolution.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/linkingModel/InterfaceMethodResolution.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/linkingModel/MethodResolution.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/sym/ClassSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/sym/HeapPointerSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/sym/HeapPointerSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/sym/InstructionSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/sym/InvocationSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/sym/JclassSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/sym/JfieldSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/sym/JmethodSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/sym/ReturnPointLinkSym.h
    branches/mango/extensions/mango/Mango/src/mango/worker/main/EventLoopTrap.h
    branches/mango/extensions/mango/Mango/src/mango/worker/main/IconIndex.h
    branches/mango/extensions/mango/Mango/src/mango/worker/main/IconIndex2.h
    branches/mango/extensions/mango/Mango/src/mango/worker/main/Main.cc
    branches/mango/extensions/mango/Mango/src/mango/worker/main/Main.h
    branches/mango/extensions/mango/Mango/src/mango/worker/main/Mango.h


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1176] branches/mango/extensions/mango/Mango/src /mango

From: <fra...@us...> - 2009-02-12 05:03:45

Revision: 1176
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1176&view=rev
Author:   frankrimlinger
Date:     2009-02-12 05:03:39 +0000 (Thu, 12 Feb 2009)

Log Message:
-----------
mango phase1 update, part6, mango/source to mango/util

Modified Paths:
--------------
    branches/mango/extensions/mango/Mango/src/mango/source/agent/msg/SourceViewCreateCommandMsg.java
    branches/mango/extensions/mango/Mango/src/mango/source/agent/msg/SourceViewCreateRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/tree/TreeViewManager.java
    branches/mango/extensions/mango/Mango/src/mango/tree/agent/FolderViewAgent.java
    branches/mango/extensions/mango/Mango/src/mango/tree/agent/TreeViewAgent.java
    branches/mango/extensions/mango/Mango/src/mango/tree/agent/msg/ChangeTreeCommandMsg.java
    branches/mango/extensions/mango/Mango/src/mango/tree/agent/msg/ChangeTreeRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/tree/agent/msg/TreeNodeCloseRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/tree/agent/msg/TreeNodeOpenRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/tree/agent/msg/TreeRuleViewCreateRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/tree/agent/msg/TreeTabCreateCommandMsg.java
    branches/mango/extensions/mango/Mango/src/mango/tree/agent/msg/TreeViewCreateCommandMsg.java
    branches/mango/extensions/mango/Mango/src/mango/tree/agent/msg/TreeViewCreateRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/tree/agent/msg/UndoFormattingOpenRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/tree/model/Cell.java
    branches/mango/extensions/mango/Mango/src/mango/tree/model/FolderViewer.java
    branches/mango/extensions/mango/Mango/src/mango/tree/model/TreeItemBundle.java
    branches/mango/extensions/mango/Mango/src/mango/util/FileSystem.java
    branches/mango/extensions/mango/Mango/src/mango/util/LOG.java

Removed Paths:
-------------
    branches/mango/extensions/mango/Mango/src/mango/tree/agent/event/CompressHeapOpenRequest.java
    branches/mango/extensions/mango/Mango/src/mango/tree/data/TreeNodeClientData.cc
    branches/mango/extensions/mango/Mango/src/mango/tree/data/TreeNodeClientData.h
    branches/mango/extensions/mango/Mango/src/mango/tree/model/Cell.h
    branches/mango/extensions/mango/Mango/src/mango/tree/model/CellContentPair.h
    branches/mango/extensions/mango/Mango/src/mango/tree/model/FolderViewer.h
    branches/mango/extensions/mango/Mango/src/mango/tree/model/HashDisplay.h
    branches/mango/extensions/mango/Mango/src/mango/tree/model/TreeItemBundle.h


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1174] branches/mango/extensions/mango/Mango/src /mango

From: <fra...@us...> - 2009-02-12 04:46:08

Revision: 1174
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1174&view=rev
Author:   frankrimlinger
Date:     2009-02-12 04:45:57 +0000 (Thu, 12 Feb 2009)

Log Message:
-----------
mango phase1 update, part4, mango/list to mango/rmi

Modified Paths:
--------------
    branches/mango/extensions/mango/Mango/src/mango/list/impl/SwingJLabelViewFactory.java
    branches/mango/extensions/mango/Mango/src/mango/module/ModuleWindow.java
    branches/mango/extensions/mango/Mango/src/mango/module/ModuleWindowManager.java
    branches/mango/extensions/mango/Mango/src/mango/module/action/AddMatchAction.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/AbstractEquivalenceWindow.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/DefinitionWindow.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/DefinitionWindowManager.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/EquivalenceConjectureWindow.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/EquivalenceWindow.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/action/AddEquivalenceAction.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/action/AddEquivalenceConjectureAction.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/action/CheckCoreEquivalenceSyntaxAction.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/agent/ParameterExpAgent.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/LoopDefinitionManager.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/msg/LoopDefinitionLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/msg/LoopDefinitionRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/sym/LoopDefinitionSym.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/method/MethodDefinitionManager.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/method/msg/CreateMethodStubMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/method/msg/MethodDefinitionLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/method/msg/MethodDefinitionRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/method/sym/MethodDefinitionSym.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/model/DefinitionManager.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddConjectureLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddConjectureRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddConjectureTranslateMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceAutoRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceConjectureLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceConjectureRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisAutoRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisTranslateMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseCaseMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseCaseTranslateMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseDefinitionMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CoalesceStandingHypothesesMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/DeleteUnusedParametersMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/EliminateHypothesisLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/EliminateHypothesisRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/FinalizeStatusMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/sym/DefinitionManagerSym.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/sym/ParamSym.java
    branches/mango/extensions/mango/Mango/src/mango/module/instance/InstanceWindowManager.java
    branches/mango/extensions/mango/Mango/src/mango/module/instance/loop/model/LoopInstanceManager.java
    branches/mango/extensions/mango/Mango/src/mango/module/instance/loop/msg/CloseLoopInstanceMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/instance/loop/sym/LoopInstanceSym.java
    branches/mango/extensions/mango/Mango/src/mango/module/instance/method/agent/MethodInstanceAgent.java
    branches/mango/extensions/mango/Mango/src/mango/module/instance/method/model/MethodInstanceManager.java
    branches/mango/extensions/mango/Mango/src/mango/module/instance/method/msg/CloseMethodInstanceMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/instance/method/sym/MethodInstanceSym.java
    branches/mango/extensions/mango/Mango/src/mango/module/instance/model/InstanceManager.java
    branches/mango/extensions/mango/Mango/src/mango/module/instance/msg/MergeRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/instance/msg/SubmitStandingHypothesisMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/instance/sym/InstanceManagerSym.java
    branches/mango/extensions/mango/Mango/src/mango/module/model/ModuleManager.java
    branches/mango/extensions/mango/Mango/src/mango/module/model/RuleModel.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ApplyLinearLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ApplyLinearRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ClearMatchMakerMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ContainsTestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/CreateParametersMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/DebugGeneralizationDetailsMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/DebugGeneralizationMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/DebugInvariantsMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/DebugInversionMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/DebugLinearArithmeticMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/GarbageCollectLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/GarbageCollectRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/GeneralizeLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/GeneralizeRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/MapToScopeLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/MapToScopeRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/MatchMakerLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/MatchMakerRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowAssumptionMatchFailureMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowHitsMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowMatchMakerMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowMatchesMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowModuleMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowRewriteErrorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowRewriterAssumptionsMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/TranslateMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/sym/ModuleLevelSym.java
    branches/mango/extensions/mango/Mango/src/mango/module/sym/ModuleReadOnlySym.java
    branches/mango/extensions/mango/Mango/src/mango/module/sym/ModuleSym.java
    branches/mango/extensions/mango/Mango/src/mango/rmi/file/MangoFilePacket.java
    branches/mango/extensions/mango/Mango/src/mango/rmi/file/SymbolicLinkPacket.java

Added Paths:
-----------
    branches/mango/extensions/mango/Mango/src/mango/module/action/ApplyInvarianceRulesAction.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/GenericPopupAction.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/action/IncrementalUpdateAction.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/model/PredicateSyntaxModel.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/model/StandingStatus.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/IncrementalUpdateMsg.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/trap/AddConjectureConnector.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/AddConjectureTranslateConnector.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/AddEquivalenceConnector.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/AddHypothesisTranslateConnector.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/AddStandingEquivalenceConnector.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/AddStandingHypothesisConnector.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/CloseCaseConnector.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ConsistentHypoConnector.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ConsistentHypoTrap.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/EliminateHypoConnector.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/EliminateHypoTrap.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/definition/trap/ScriptedConjectureConnector.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ScriptedEquivalenceConnector.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ScriptedHypothesisConnector.java
    branches/mango/extensions/mango/Mango/src/mango/module/instance/loop/agent/LoopInstanceAgent.java
    branches/mango/extensions/mango/Mango/src/mango/module/instance/method/trap/RebindTargetConnector.java
    branches/mango/extensions/mango/Mango/src/mango/module/instance/sym/InstanceManagerProxySym.java
    branches/mango/extensions/mango/Mango/src/mango/module/model/SequenceNumber.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ApplyInvarianceRulesMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/trap/ContainsTestTrap.java
    branches/mango/extensions/mango/Mango/src/mango/module/trap/GeneralizeCaseRewriteTrap.java
    branches/mango/extensions/mango/Mango/src/mango/module/trap/GeneralizeTrap.java
    branches/mango/extensions/mango/Mango/src/mango/module/trap/MapToScopeTrap.java
    branches/mango/extensions/mango/Mango/src/mango/module/trap/MergeTrap.java
    branches/mango/extensions/mango/Mango/src/mango/module/trap/ReadOnlyCacheTrap.java

Removed Paths:
-------------
    branches/mango/extensions/mango/Mango/src/mango/module/definition/agent/ParameterExpAgent.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/LoopDefinitionManager.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/msg/LoopDefinitionLocatorMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/msg/LoopDefinitionLocatorMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/msg/LoopDefinitionRequestMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/msg/LoopDefinitionRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/sym/LoopDefinitionSym.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/method/MethodDefinitionManager.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/method/msg/CreateMethodStubMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/method/msg/CreateMethodStubMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/method/msg/MethodDefinitionLocatorMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/method/msg/MethodDefinitionLocatorMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/method/msg/MethodDefinitionRequestMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/method/msg/MethodDefinitionRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/method/sym/MethodDefinitionSym.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/model/DefinitionManager.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/model/InvariantPair.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/model/InvariantPair.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/model/StandingStatus.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/model/StandingStatus.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddConjectureLocatorMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddConjectureLocatorMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddConjectureRequestMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddConjectureRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddConjectureTranslateMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddConjectureTranslateMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceAutoRequestMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceAutoRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceLocatorMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceLocatorMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceRequestMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisAutoRequestMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisAutoRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisLocatorMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisLocatorMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisRequestMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisTranslateMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisTranslateMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseCaseMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseCaseMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseCaseTranslateMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseCaseTranslateMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseDefinitionMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseDefinitionMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CoalesceStandingHypothesesMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CoalesceStandingHypothesesMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/DeleteUnusedParametersMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/DeleteUnusedParametersMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/EliminateHypothesisLocatorMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/EliminateHypothesisLocatorMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/EliminateHypothesisRequestMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/EliminateHypothesisRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/FinalizeStatusMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/FinalizeStatusMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/InvariantRegressionMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/InvariantRegressionMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/InvariantRegressionMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/sym/DefinitionManagerSym.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/sym/InvariantRuleSym.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/sym/InvariantRuleSym.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/sym/ParamSym.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/AddConjectureConnector.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/AddConjectureConnector.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/AddConjectureTranslateConnector.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/AddConjectureTranslateConnector.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/AddEquivalenceConnector.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/AddEquivalenceConnector.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/AddHypothesisTranslateConnector.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/AddHypothesisTranslateConnector.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/AddStandingEquivalenceConnector.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/AddStandingEquivalenceConnector.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/AddStandingHypothesisConnector.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/AddStandingHypothesisConnector.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/CloseCaseConnector.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/CloseCaseConnector.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ConsistentHypoConnector.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ConsistentHypoConnector.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ConsistentHypoTrap.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ConsistentHypoTrap.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/EliminateHypoConnector.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/EliminateHypoConnector.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/EliminateHypoTrap.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/EliminateHypoTrap.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/HarvestParametersTrap.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/HarvestParametersTrap.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/InvariantRegressionTrap.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/InvariantRegressionTrap.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ScriptedCloseCaseConnector.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ScriptedCloseCaseConnector.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ScriptedConjectureConnector.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ScriptedConjectureConnector.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ScriptedEquivalenceConnector.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ScriptedEquivalenceConnector.h
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ScriptedHypothesisConnector.cc
    branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ScriptedHypothesisConnector.h
    branches/mango/extensions/mango/Mango/src/mango/module/instance/loop/agent/LoopInstanceAgent.cc
    branches/mango/extensions/mango/Mango/src/mango/module/instance/loop/agent/LoopInstanceAgent.h
    branches/mango/extensions/mango/Mango/src/mango/module/instance/loop/model/LoopInstanceManager.cc
    branches/mango/extensions/mango/Mango/src/mango/module/instance/loop/model/LoopInstanceManager.h
    branches/mango/extensions/mango/Mango/src/mango/module/instance/loop/sym/LoopInstanceSym.h
    branches/mango/extensions/mango/Mango/src/mango/module/instance/method/agent/MethodInstanceAgent.h
    branches/mango/extensions/mango/Mango/src/mango/module/instance/method/agent/ReadOnlyCacheAgent.h
    branches/mango/extensions/mango/Mango/src/mango/module/instance/method/agent/ReadOnlyCacheAgent.java
    branches/mango/extensions/mango/Mango/src/mango/module/instance/method/model/MethodInstanceManager.h
    branches/mango/extensions/mango/Mango/src/mango/module/instance/method/sym/MethodInstanceSym.h
    branches/mango/extensions/mango/Mango/src/mango/module/instance/method/trap/RebindTargetConnector.cc
    branches/mango/extensions/mango/Mango/src/mango/module/instance/method/trap/RebindTargetConnector.h
    branches/mango/extensions/mango/Mango/src/mango/module/instance/model/InstanceManager.h
    branches/mango/extensions/mango/Mango/src/mango/module/instance/msg/CloseLoopInstanceMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/instance/msg/CloseLoopInstanceMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/instance/msg/CloseMethodInstanceMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/instance/msg/CloseMethodInstanceMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/instance/msg/InstantiateInvariantsMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/instance/msg/InstantiateInvariantsMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/instance/msg/InstantiateInvariantsMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/instance/msg/MergeRequestMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/instance/msg/MergeRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/instance/msg/SubmitStandingHypothesisMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/instance/msg/SubmitStandingHypothesisMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/instance/sym/InstanceManagerSym.h
    branches/mango/extensions/mango/Mango/src/mango/module/model/ModuleManager.cc
    branches/mango/extensions/mango/Mango/src/mango/module/model/ModuleManager.h
    branches/mango/extensions/mango/Mango/src/mango/module/model/RuleModel.h
    branches/mango/extensions/mango/Mango/src/mango/module/model/SequenceNumber.cc
    branches/mango/extensions/mango/Mango/src/mango/module/model/SequenceNumber.h
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ApplyLinearLocatorMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ApplyLinearLocatorMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ApplyLinearRequestMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ApplyLinearRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ClearMatchMakerMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ClearMatchMakerMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ContainsTestMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ContainsTestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/msg/CreateParametersMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/msg/CreateParametersMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/msg/DebugGeneralizationDetailsMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/msg/DebugGeneralizationDetailsMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/msg/DebugGeneralizationMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/msg/DebugGeneralizationMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/msg/DebugInvariantsMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/msg/DebugInvariantsMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/msg/DebugInversionMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/msg/DebugInversionMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/msg/DebugLinearArithmeticMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/msg/DebugLinearArithmeticMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/msg/DoubleAckRequestMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/msg/DoubleAckRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/msg/DoubleAckRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/GarbageCollectLocatorMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/msg/GarbageCollectLocatorMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/msg/GarbageCollectRequestMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/msg/GarbageCollectRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/msg/GeneralizeLocatorMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/msg/GeneralizeLocatorMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/msg/GeneralizeRequestMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/msg/GeneralizeRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/msg/MapToScopeLocatorMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/msg/MapToScopeLocatorMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/msg/MapToScopeRequestMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/msg/MapToScopeRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/msg/MatchMakerLocatorMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/msg/MatchMakerLocatorMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/msg/MatchMakerRequestMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/msg/MatchMakerRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowAssumptionMatchFailureMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowAssumptionMatchFailureMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowHitsMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowHitsMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowMatchMakerMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowMatchMakerMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowMatchesMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowMatchesMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowModuleMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowModuleMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowRewriterAssumptionsMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowRewriterAssumptionsMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/msg/TranslateMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/module/msg/TranslateMsg.h
    branches/mango/extensions/mango/Mango/src/mango/module/sym/ModuleLevelSym.h
    branches/mango/extensions/mango/Mango/src/mango/module/sym/ModuleReadOnlySym.h
    branches/mango/extensions/mango/Mango/src/mango/module/sym/ModuleSym.h
    branches/mango/extensions/mango/Mango/src/mango/module/trap/ContainsTestTrap.cc
    branches/mango/extensions/mango/Mango/src/mango/module/trap/ContainsTestTrap.h
    branches/mango/extensions/mango/Mango/src/mango/module/trap/GeneralizeCaseRewriteTrap.cc
    branches/mango/extensions/mango/Mango/src/mango/module/trap/GeneralizeCaseRewriteTrap.h
    branches/mango/extensions/mango/Mango/src/mango/module/trap/GeneralizeTrap.cc
    branches/mango/extensions/mango/Mango/src/mango/module/trap/GeneralizeTrap.h
    branches/mango/extensions/mango/Mango/src/mango/module/trap/MapToScopeTrap.cc
    branches/mango/extensions/mango/Mango/src/mango/module/trap/MapToScopeTrap.h
    branches/mango/extensions/mango/Mango/src/mango/module/trap/MergeTrap.cc
    branches/mango/extensions/mango/Mango/src/mango/module/trap/MergeTrap.h
    branches/mango/extensions/mango/Mango/src/mango/module/trap/ReadOnlyCacheTrap.cc
    branches/mango/extensions/mango/Mango/src/mango/module/trap/ReadOnlyCacheTrap.h


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1173] branches/mango/extensions/mango/Mango/src /mango/core/predicate/

From: <fra...@us...> - 2009-02-12 04:30:21

Revision: 1173
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1173&view=rev
Author:   frankrimlinger
Date:     2009-02-12 04:30:16 +0000 (Thu, 12 Feb 2009)

Log Message:
-----------
mango phase1 update, part3, mango/core

Removed Paths:
-------------
    branches/mango/extensions/mango/Mango/src/mango/core/predicate/


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1172] trunk

From: <pcm...@us...> - 2009-02-12 04:18:40

Revision: 1172
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1172&view=rev
Author:   pcmehlitz
Date:     2009-02-12 04:18:37 +0000 (Thu, 12 Feb 2009)

Log Message:
-----------
a bunch of patches from Nathan Reynolds - thanks Nathan!

* added missing features to AtomicReferenceFieldUpdater + regression tests

* added missing AtomicInteger/LongFieldUpdater + regression tests

* better CoverageAnalyzer output formatting (Eclipse source links)

Modified Paths:
--------------
    trunk/env/jpf/java/util/concurrent/atomic/AtomicReferenceFieldUpdater.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_concurrent_atomic_AtomicReferenceFieldUpdater.java
    trunk/src/gov/nasa/jpf/tools/CoverageAnalyzer.java
    trunk/test/gov/nasa/jpf/jvm/TestAtomicReferenceFieldUpdater.java

Added Paths:
-----------
    trunk/env/jpf/java/util/concurrent/atomic/AtomicIntegerFieldUpdater.java
    trunk/env/jpf/java/util/concurrent/atomic/AtomicLongFieldUpdater.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_concurrent_atomic_AtomicIntegerFieldUpdater.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_concurrent_atomic_AtomicLongFieldUpdater.java
    trunk/test/gov/nasa/jpf/jvm/TestAtomicIntegerFieldUpdater.java
    trunk/test/gov/nasa/jpf/jvm/TestAtomicIntegerFieldUpdaterJPF.java
    trunk/test/gov/nasa/jpf/jvm/TestAtomicLongFieldUpdater.java
    trunk/test/gov/nasa/jpf/jvm/TestAtomicLongFieldUpdaterJPF.java


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1171] branches/mango/extensions/mango/Mango/src /mango/graph

From: <fra...@us...> - 2009-02-12 04:17:24

Revision: 1171
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1171&view=rev
Author:   frankrimlinger
Date:     2009-02-12 04:17:22 +0000 (Thu, 12 Feb 2009)

Log Message:
-----------
mango phase1 update, part2, mango/graph

Modified Paths:
--------------
    branches/mango/extensions/mango/Mango/src/mango/graph/agent/CoarseGraphViewAgent.java
    branches/mango/extensions/mango/Mango/src/mango/graph/agent/GraphViewAgent.java
    branches/mango/extensions/mango/Mango/src/mango/graph/data/graphic/GraphicData.java
    branches/mango/extensions/mango/Mango/src/mango/graph/data/graphic/LoopCollectionData.java
    branches/mango/extensions/mango/Mango/src/mango/graph/data/graphic/VertexData.java
    branches/mango/extensions/mango/Mango/src/mango/graph/data/supervertex/SuperLoopData.java
    branches/mango/extensions/mango/Mango/src/mango/graph/data/ucon/UconData.java

Removed Paths:
-------------
    branches/mango/extensions/mango/Mango/src/mango/graph/data/graphic/CodeData.h
    branches/mango/extensions/mango/Mango/src/mango/graph/data/graphic/EdgeData.h
    branches/mango/extensions/mango/Mango/src/mango/graph/data/graphic/GraphicData.h
    branches/mango/extensions/mango/Mango/src/mango/graph/data/graphic/LoopCollectionData.h
    branches/mango/extensions/mango/Mango/src/mango/graph/data/graphic/LoopData.h
    branches/mango/extensions/mango/Mango/src/mango/graph/data/graphic/MangoData.h
    branches/mango/extensions/mango/Mango/src/mango/graph/data/graphic/MethodData.h
    branches/mango/extensions/mango/Mango/src/mango/graph/data/graphic/OmegaData.h
    branches/mango/extensions/mango/Mango/src/mango/graph/data/graphic/SourceLineData.h
    branches/mango/extensions/mango/Mango/src/mango/graph/data/graphic/VertexData.h
    branches/mango/extensions/mango/Mango/src/mango/graph/data/return_terminator/ReturnTerminatorData.h
    branches/mango/extensions/mango/Mango/src/mango/graph/data/sink_terminator/AssertionData.h
    branches/mango/extensions/mango/Mango/src/mango/graph/data/sink_terminator/BadPlaceSinkData.h
    branches/mango/extensions/mango/Mango/src/mango/graph/data/sink_terminator/OSSinkData.h
    branches/mango/extensions/mango/Mango/src/mango/graph/data/sink_terminator/SinkTerminatorData.h
    branches/mango/extensions/mango/Mango/src/mango/graph/data/sink_terminator/ThrowData.h
    branches/mango/extensions/mango/Mango/src/mango/graph/data/supervertex/SuperBlowUpData.h
    branches/mango/extensions/mango/Mango/src/mango/graph/data/supervertex/SuperCpnData.h
    branches/mango/extensions/mango/Mango/src/mango/graph/data/supervertex/SuperEntryData.h
    branches/mango/extensions/mango/Mango/src/mango/graph/data/supervertex/SuperLoopData.h
    branches/mango/extensions/mango/Mango/src/mango/graph/data/supervertex/SuperPathData.h
    branches/mango/extensions/mango/Mango/src/mango/graph/data/supervertex/SuperStrataData.h
    branches/mango/extensions/mango/Mango/src/mango/graph/data/supervertex/SuperVertexData.h
    branches/mango/extensions/mango/Mango/src/mango/graph/data/ucon/AlphaData.h
    branches/mango/extensions/mango/Mango/src/mango/graph/data/ucon/MethodEntryData.h
    branches/mango/extensions/mango/Mango/src/mango/graph/data/ucon/UconData.h


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1170] branches/mango/extensions/mango/Mango/src /mango

From: <fra...@us...> - 2009-02-12 04:10:22

Revision: 1170
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1170&view=rev
Author:   frankrimlinger
Date:     2009-02-12 04:10:10 +0000 (Thu, 12 Feb 2009)

Log Message:
-----------
mango phase1 update, part1, mango/src/control to
mango/src/enterprise

Modified Paths:
--------------
    branches/mango/extensions/mango/Mango/src/mango/control/action/control/DebugRewriterAction.java
    branches/mango/extensions/mango/Mango/src/mango/control/action/control/StopRewriterAction.java
    branches/mango/extensions/mango/Mango/src/mango/control/action/editor/PostAction.java
    branches/mango/extensions/mango/Mango/src/mango/control/action/input/LibraryJarsAction.java
    branches/mango/extensions/mango/Mango/src/mango/control/action/input/TargetJarsAction.java
    branches/mango/extensions/mango/Mango/src/mango/control/action/window/CurrentModuleAction.java
    branches/mango/extensions/mango/Mango/src/mango/control/editor/msg/OpenDFLEditorRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/control/editor/msg/OpenDFLasAxiomRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/control/editor/msg/OpenEncapsulationTemplateRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/control/editor/msg/OpenInterpretationRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/control/window/WorkstationWindow.java
    branches/mango/extensions/mango/Mango/src/mango/core/CoreKons.java
    branches/mango/extensions/mango/Mango/src/mango/core/CoreMangoActiveObject.java
    branches/mango/extensions/mango/Mango/src/mango/core/CoreRule.java
    branches/mango/extensions/mango/Mango/src/mango/core/CoreSym.java
    branches/mango/extensions/mango/Mango/src/mango/core/CoreTier.java
    branches/mango/extensions/mango/Mango/src/mango/core/CoreVariable.java
    branches/mango/extensions/mango/Mango/src/mango/core/ProxyActiveObject.java
    branches/mango/extensions/mango/Mango/src/mango/core/dfl/CoreDFLCreator.java
    branches/mango/extensions/mango/Mango/src/mango/core/gui/action/ApplyCoreRuleAction.java
    branches/mango/extensions/mango/Mango/src/mango/core/gui/action/CloneCoreRuleAction.java
    branches/mango/extensions/mango/Mango/src/mango/core/gui/action/CoreCutAction.java
    branches/mango/extensions/mango/Mango/src/mango/core/gui/action/CorePasteAction.java
    branches/mango/extensions/mango/Mango/src/mango/core/gui/action/DownloadCoreRuleAction.java
    branches/mango/extensions/mango/Mango/src/mango/core/gui/action/ImportCoreRuleAction.java
    branches/mango/extensions/mango/Mango/src/mango/core/gui/action/ImportCoreTierAction.java
    branches/mango/extensions/mango/Mango/src/mango/core/gui/action/NewCoreRuleAction.java
    branches/mango/extensions/mango/Mango/src/mango/core/gui/action/NewCoreTierAction.java
    branches/mango/extensions/mango/Mango/src/mango/core/gui/action/SaveCoreRuleBaseOutlineAction.java
    branches/mango/extensions/mango/Mango/src/mango/core/gui/action/ScriptedActivateAction.java
    branches/mango/extensions/mango/Mango/src/mango/core/gui/action/ScriptedDeactivateAction.java
    branches/mango/extensions/mango/Mango/src/mango/core/gui/editing/CoreVariableRequirementCellEditor.java
    branches/mango/extensions/mango/Mango/src/mango/core/gui/tablemodel/CoreRuleBaseTableModel.java
    branches/mango/extensions/mango/Mango/src/mango/core/gui/tablemodel/CoreTierTableModel.java
    branches/mango/extensions/mango/Mango/src/mango/core/gui/tablemodel/CoreVariableTableModel.java
    branches/mango/extensions/mango/Mango/src/mango/core/gui/tablemodel/MangoModel.java
    branches/mango/extensions/mango/Mango/src/mango/core/gui/tablemodel/MangoModelUtilities.java
    branches/mango/extensions/mango/Mango/src/mango/core/gui/window/CoreSuperWindow.java
    branches/mango/extensions/mango/Mango/src/mango/core/msg/AddCoreMangoObjectMsg.java
    branches/mango/extensions/mango/Mango/src/mango/core/msg/ClearStatisticsRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/core/msg/DeleteCoreMangoObjectMsg.java
    branches/mango/extensions/mango/Mango/src/mango/core/msg/EnforceTierSettingsRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/core/msg/InitSessionMsg.java
    branches/mango/extensions/mango/Mango/src/mango/core/msg/ModifyCoreMangoObjectMsg.java
    branches/mango/extensions/mango/Mango/src/mango/core/msg/SetActiveCoreMangoObjectMsg.java
    branches/mango/extensions/mango/Mango/src/mango/core/msg/UpdateStatisticsRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/core/msg/WorkerCommand.java
    branches/mango/extensions/mango/Mango/src/mango/core/requirements/RequirementsManager.java
    branches/mango/extensions/mango/Mango/src/mango/core/sym/AliasedRuleKey.java
    branches/mango/extensions/mango/Mango/src/mango/core/sym/LengthViewSym.java
    branches/mango/extensions/mango/Mango/src/mango/core/sym/RuleBaseSym.java
    branches/mango/extensions/mango/Mango/src/mango/core/sym/RuleKey.java
    branches/mango/extensions/mango/Mango/src/mango/core/sym/RuleViewSym.java
    branches/mango/extensions/mango/Mango/src/mango/core/util/CoreStringUtilities.java
    branches/mango/extensions/mango/Mango/src/mango/core/util/CoreUtilities.java
    branches/mango/extensions/mango/Mango/src/mango/data/IconID.java
    branches/mango/extensions/mango/Mango/src/mango/debugger/DebuggerWindow.java
    branches/mango/extensions/mango/Mango/src/mango/debugger/action/BreakPointTypeAction.java
    branches/mango/extensions/mango/Mango/src/mango/debugger/action/ContinueAction.java
    branches/mango/extensions/mango/Mango/src/mango/debugger/action/RuleKeyBreakPointAction.java
    branches/mango/extensions/mango/Mango/src/mango/debugger/action/StepAction.java
    branches/mango/extensions/mango/Mango/src/mango/debugger/action/StopRewritingAction.java
    branches/mango/extensions/mango/Mango/src/mango/debugger/model/SingleStep.java
    branches/mango/extensions/mango/Mango/src/mango/debugger/model/SingleStepTracker.java
    branches/mango/extensions/mango/Mango/src/mango/debugger/model/StepAll.java
    branches/mango/extensions/mango/Mango/src/mango/debugger/msg/ClearBreakPointMsg.java
    branches/mango/extensions/mango/Mango/src/mango/debugger/msg/ContinueRewritingMsg.java
    branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SetBreakPointMsg.java
    branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SetBreakPointTypeMsg.java
    branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SetRuleKeyBreakPointMsg.java
    branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SingleOffMsg.java
    branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SingleOnMsg.java
    branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SingleStepMsg.java
    branches/mango/extensions/mango/Mango/src/mango/debugger/msg/StopRewritingMsg.java
    branches/mango/extensions/mango/Mango/src/mango/embeddedJVM/EmbeddedJVM.java
    branches/mango/extensions/mango/Mango/src/mango/embeddedJVM/factory/GraphModelFactory.java
    branches/mango/extensions/mango/Mango/src/mango/embeddedJVM/factory/MultiGraphModelFactory.java
    branches/mango/extensions/mango/Mango/src/mango/embeddedJVM/msg/MsgSendAspect.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/DFLocator.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/LocatableFolderViewer.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/Locator.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/LocatorManager.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/ModuleLocator.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/model/HiddenObject.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/msg/ReplaceRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/sym/ExpLevelSym.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/sym/LocatableArraySym.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/NullWorkerID.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/PersistentObjectID.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/PersistentParityID.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/RandomID.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/SourceAspectID.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/TransientObjectID.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/TransientParityID.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/ViewID.java

Added Paths:
-----------
    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/core/msg/TrapCommand.java
    branches/mango/extensions/mango/Mango/src/mango/data/TestData.java
    branches/mango/extensions/mango/Mango/src/mango/debugger/sym/DebuggerWindowSym.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/msg/PostCoreRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/msg/PostRequestMsg.java

Removed Paths:
-------------
    branches/mango/extensions/mango/Mango/src/mango/core/actions/RuleManifestRequestMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/core/actions/RuleManifestRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/core/actions/RuleManifestRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/core/gui/trap/OpenDFLeditorTrap.cc
    branches/mango/extensions/mango/Mango/src/mango/core/gui/trap/OpenDFLeditorTrap.h
    branches/mango/extensions/mango/Mango/src/mango/core/msg/Ack.h
    branches/mango/extensions/mango/Mango/src/mango/core/msg/Ack.java
    branches/mango/extensions/mango/Mango/src/mango/core/msg/ActivationStateRequestMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/core/msg/ActivationStateRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/core/msg/AddCoreMangoRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/core/msg/AsynchronousMsg.h
    branches/mango/extensions/mango/Mango/src/mango/core/msg/AsynchronousMsg.java
    branches/mango/extensions/mango/Mango/src/mango/core/msg/ClearStatisticsRequestMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/core/msg/ClearStatisticsRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/core/msg/EnforceTierSettingsRequestMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/core/msg/EnforceTierSettingsRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/core/msg/PriorityCommander.h
    branches/mango/extensions/mango/Mango/src/mango/core/msg/PriorityCommander.java
    branches/mango/extensions/mango/Mango/src/mango/core/msg/SetActiveCoreMangoObjectMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/core/msg/SetActiveCoreMangoObjectMsg.h
    branches/mango/extensions/mango/Mango/src/mango/core/msg/UpdateRuleBaseNameRequestMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/core/msg/UpdateRuleBaseNameRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/core/msg/UpdateStatisticsRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/core/msg/WorkerCommand.h
    branches/mango/extensions/mango/Mango/src/mango/core/requirements/RequirementManifestRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/core/sym/ActiveObjectSym.h
    branches/mango/extensions/mango/Mango/src/mango/core/sym/AliasedRuleKey.h
    branches/mango/extensions/mango/Mango/src/mango/core/sym/AliasedRuleVariable.h
    branches/mango/extensions/mango/Mango/src/mango/core/sym/CoreSerialIDSym.cc
    branches/mango/extensions/mango/Mango/src/mango/core/sym/CoreSerialIDSym.h
    branches/mango/extensions/mango/Mango/src/mango/core/sym/DebuggerWindowSym.cc
    branches/mango/extensions/mango/Mango/src/mango/core/sym/DebuggerWindowSym.h
    branches/mango/extensions/mango/Mango/src/mango/core/sym/DefaultFunctionSym.cc
    branches/mango/extensions/mango/Mango/src/mango/core/sym/DefaultFunctionSym.h
    branches/mango/extensions/mango/Mango/src/mango/core/sym/LengthViewSym.h
    branches/mango/extensions/mango/Mango/src/mango/core/sym/LogicalKey.h
    branches/mango/extensions/mango/Mango/src/mango/core/sym/ReindexHeapPointerSym.h
    branches/mango/extensions/mango/Mango/src/mango/core/sym/RuleBaseSym.h
    branches/mango/extensions/mango/Mango/src/mango/core/sym/RuleKey.h
    branches/mango/extensions/mango/Mango/src/mango/core/sym/RuleSym.h
    branches/mango/extensions/mango/Mango/src/mango/core/sym/RuleVariable.h
    branches/mango/extensions/mango/Mango/src/mango/core/sym/RuleViewSym.h
    branches/mango/extensions/mango/Mango/src/mango/debugger/model/SingleStep.h
    branches/mango/extensions/mango/Mango/src/mango/debugger/model/SingleStepTracker.h
    branches/mango/extensions/mango/Mango/src/mango/debugger/model/StepAll.h
    branches/mango/extensions/mango/Mango/src/mango/debugger/msg/ClearBreakPointMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/debugger/msg/ClearBreakPointMsg.h
    branches/mango/extensions/mango/Mango/src/mango/debugger/msg/ContinueRewritingMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/debugger/msg/ContinueRewritingMsg.h
    branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SetBreakPointMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SetBreakPointMsg.h
    branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SetBreakPointTypeMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SetBreakPointTypeMsg.h
    branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SetRuleKeyBreakPointMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SetRuleKeyBreakPointMsg.h
    branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SingleOffMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SingleOffMsg.h
    branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SingleOnMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SingleOnMsg.h
    branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SingleStepMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SingleStepMsg.h
    branches/mango/extensions/mango/Mango/src/mango/debugger/msg/StopRewritingMsg.h
    branches/mango/extensions/mango/Mango/src/mango/debugger/sym/BreakPointCsym.h
    branches/mango/extensions/mango/Mango/src/mango/embeddedJVM/msg/UserHomeMsg.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/DFLocator.h
    branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/LocatableFolderViewer.h
    branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/Locator.h
    branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/ModuleLocator.h
    branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/NullLocator.h
    branches/mango/extensions/mango/Mango/src/mango/enterprise/model/EncapsulateNameMapping.h
    branches/mango/extensions/mango/Mango/src/mango/enterprise/model/GetPredicateTransformer.h
    branches/mango/extensions/mango/Mango/src/mango/enterprise/model/HashItemProxy.h
    branches/mango/extensions/mango/Mango/src/mango/enterprise/model/HiddenObject.h
    branches/mango/extensions/mango/Mango/src/mango/enterprise/model/NullTransformer.h
    branches/mango/extensions/mango/Mango/src/mango/enterprise/model/ParityModel.h
    branches/mango/extensions/mango/Mango/src/mango/enterprise/model/Transformer.h
    branches/mango/extensions/mango/Mango/src/mango/enterprise/msg/OpenEncapsulationTemplateRequestMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/enterprise/msg/OpenEncapsulationTemplateRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/enterprise/msg/ReplaceRequestMsg.cc
    branches/mango/extensions/mango/Mango/src/mango/enterprise/msg/ReplaceRequestMsg.h
    branches/mango/extensions/mango/Mango/src/mango/enterprise/sym/ExpLevelSym.h
    branches/mango/extensions/mango/Mango/src/mango/enterprise/sym/LocatableArraySym.h
    branches/mango/extensions/mango/Mango/src/mango/enterprise/sym/MemoSym.h


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

Flat | Threaded

<< < 1 .. 31 32 33 34 35 .. 46 > >> (Page 33 of 46)

2008	Jan	Feb	Mar	Apr	May (16)	Jun (42)	Jul (46)	Aug (48)	Sep (33)	Oct (26)	Nov (28)	Dec (38)
2009	Jan (35)	Feb (80)	Mar (112)	Apr (108)	May (102)	Jun (126)	Jul (89)	Aug (82)	Sep (36)	Oct (7)	Nov (1)	Dec (4)
2010	Jan (87)	Feb	Mar (2)	Apr (1)	May	Jun	Jul	Aug	Sep	Oct	Nov	Dec