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

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

Revision: 1535
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1535&view=rev
Author:   frankrimlinger
Date:     2009-05-19 16:03:40 +0000 (Tue, 19 May 2009)

Log Message:
-----------
Cleanup for interpolated MangoInstruction class essentially complete, but a new issue has been identified.  Unlike Instruction, there is no interpolating MethodInfo.  So you have to package a MethodInfo in a MethodProxy extension of HiddenObject for the worker id system.  See WorkerCommand class.

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/graph/data/graphic/CodeData.java
    branches/mango/MangoJPF/Mango/src/mango/graph/data/ucon/UconData.java
    branches/mango/MangoJPF/Mango/src/mango/module/definition/loop/LoopDefinitionManager.java
    branches/mango/MangoJPF/Mango/src/mango/module/definition/loop/msg/LoopDefinitionLocatorMsg.java
    branches/mango/MangoJPF/Mango/src/mango/module/instance/loop/model/LoopInstanceManager.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/graphic/CodeSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/reflection/StateSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/return_terminator/ReturnTerminatorSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/sink_terminator/SinkTerminatorSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/ucon/UconOSTerminatorSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/CpnVertex.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/SuperCpnVertex.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/coreTechniques/model/HeapTracer.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/form/model/LocalItemModel.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/form/model/OpItemModel.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/form/model/StackModel.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/form/sym/LineNumberSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/form/sym/binder/ContextBinderSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/form/sym/binder/executable/FrameSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/form/sym/binder/executable/LocalVarSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/invariant/agent/LocalVarConditionalEquivalenceAgent.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/invariant/model/InvariantModel.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/msg/WorkerCommand.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/MangoInstruction.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MethodUtil.java


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