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

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

Revision: 1510
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1510&view=rev
Author:   frankrimlinger
Date:     2009-05-13 20:48:14 +0000 (Wed, 13 May 2009)

Log Message:
-----------
Rulebase image hooked up to automated start up.  SCANNER hooked up to automated start up.  Promptly crashes because no Mango object setup.  Fix this bug and start working on control flow activities that occur during scan.

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/core/gui/action/SaveCoreRuleBaseAction.java
    branches/mango/MangoJPF/Mango/src/mango/worker/msg/NewWorkerMsg.java
    branches/mango/MangoJPF/Mango/src/mango/worker/msg/OpenDefinitionMsg.java
    branches/mango/MangoJPF/Mango/src/mango/worker/msg/RulebaseMsg.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/SCANNER.java


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