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

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

Revision: 1553
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1553&view=rev
Author:   frankrimlinger
Date:     2009-05-26 04:01:29 +0000 (Tue, 26 May 2009)

Log Message:
-----------
Reinstated entrypoints window.  This will allow testing to proceed without any hot-wiring.  It will also allow for posting and viewing of control flow graphs, necessary for debugging if nothing else.

Working on strange ArrayIndexOutOfBoundsExecutiveException issue. This happens early on when java.lang.Integer.<clinit> fires.  Was not happening before...

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/tree/agent/FolderViewAgent.java
    branches/mango/MangoJPF/Mango/src/mango/tree/agent/TreeViewAgent.java
    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/msg/NewWorkerMsg.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/SCANNER.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoFormalLanguage.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInstruction.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecodeSynthetic/AbstractUconPlace.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecodeSynthetic/BadPlace.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecodeSynthetic/OSplace.java
    branches/mango/MangoJPF/plugin.xml
    branches/mango/MangoJPF/src/mango/intro/Application.java
    branches/mango/MangoJPF/src/mango/intro/ApplicationWorkbenchAdvisor.java
    branches/mango/MangoJPF/src/mango/intro/Perspective.java

Added Paths:
-----------
    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.