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

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

Revision: 1547
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1547&view=rev
Author:   frankrimlinger
Date:     2009-05-23 22:03:19 +0000 (Sat, 23 May 2009)

Log Message:
-----------

Initial port of BackupAlg complete.  The source code graph was dropped because the code was too convoluted to port.  Probably this won't be resurrected until it comes for free with the final port to the workbench.  For now, it remains to port the rest of the formal instruction peers to the bridge, and to write the required class and method adapters.  Then testing and on to the new design for phase2.

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/core/RuleResourceManager.java
    branches/mango/MangoJPF/Mango/src/mango/worker/Mango.java
    branches/mango/MangoJPF/Mango/src/mango/worker/Worker.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/Invocation.java
    branches/mango/MangoJPF/Mango/src/mango/worker/engine/sym/ExpressionSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/graph/Graph.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/graph/LoopGraph.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/graphic/MethodSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/sink_terminator/ThrowSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperVertexSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/AcyclicVertex.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/BackupVertex.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/CallVertex.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/CpnVertex.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/LoopVertex.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/MethodVertex.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/SuperCpnVertex.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/SuperVertex.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/Vertex.java
    branches/mango/MangoJPF/Mango/src/mango/worker/msg/NewWorkerMsg.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ClassUtil.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInstruction.java

Added Paths:
-----------
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/BackupAlg.java

Removed Paths:
-------------
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/backupAlg/BackupAlg.java


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