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

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

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

Log Message:
-----------
MangoJPF now survives phase1.  Supervertices are posting to the entrypoints window, but not the method graphs.  Need to take a look at these before unleashing phase2.  

HACK in MethodSym revealChildren in order to look at method graphs.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/vertex/SuperVertex.java
    branches/mango/MangoJPF/Mango/src/mango/worker/Mango.java
    branches/mango/MangoJPF/Mango/src/mango/worker/WorkerControl.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/BackupAlg.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/graphic/MethodSym.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/AbstractUconMethod.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/BadMethod.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/OSmethod.java
    branches/mango/MangoJPF/src/mango/views/GlobalViewWindow.java


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