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

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

Revision: 1588
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1588&view=rev
Author:   frankrimlinger
Date:     2009-06-03 04:35:15 +0000 (Wed, 03 Jun 2009)

Log Message:
-----------
Finally fixed the super vertex issue.  Next but is inside buildComponentGraphs, so on the homestretch for phase1.

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/worker/Mango.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/BackupAlg.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/graph/Graph.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/graphic/Graphic.java
    branches/mango/MangoJPF/Mango/src/mango/worker/msg/NewWorkerMsg.java
    branches/mango/MangoJPF/ThreadSupport/src/threadModel/SystemBuilder.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ClassUtil.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ExceptionHandlerUtil.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/TargetChoiceGenerator.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKESPECIAL.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKETARGET.java


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