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

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

Revision: 1389
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1389&view=rev
Author:   frankrimlinger
Date:     2009-04-13 20:28:37 +0000 (Mon, 13 Apr 2009)

Log Message:
-----------
I have made finally make first contact with JPF. Specifically, this means that I was able to call JPF.main() from within mango and step through jpf code using the debugger.  To get the debugger part working, all that is required is to add Mango as a dependent project to the javapathfinder-trunk project and locate the source code when asked to do so. However, to get the right runtime requires choices.  To help resist the ever present temptation to alter jpf code, I decided to bundle the gov package as a "plugin jar" project.  The mango product just imports this jar, so technically only the binaries are available.  Of course, changes to jpf internals might break my code, but this is a small price to pay for compatibility with future versions of jpf.  On the other hand, if I were start tweaking a copy of jpf to suit my purposes, then I would quickly cut myself off from future developments as it became harder and harder to sync up.

I don't think it is feasible to run jpf from a thread and block as necessary.  This would require a lot of cooperation from the jpf side which would be most undesirable.  Instead, I will call jpf methods directly, passing jpf objects back and forth as required, essentially regarding jpf as an api.  This approach leverages the thread-based design of mango and avoids a lot of unnecessary complexity.  

I will sync with the current trunk occasionally to pick up new developments.  Each such sync will constitute a new version of mango, if versioning ever becomes an issue.  I am abandoning the idea that mango will eventually be "inside" jpf.  However, by tweaking my configuration mechanism to pick up .properties files, I could certainly expose all jpf functionality to the mango user.

Modified Paths:
--------------
    branches/mango/Mango/.classpath
    branches/mango/Mango/META-INF/MANIFEST.MF
    branches/mango/Mango/Mango/src/mango/control/msg/StartRequestMsg.java
    branches/mango/Mango/Mango.product
    branches/mango/Mango/mangoUserHome/frank/sessions/a.zip

Added Paths:
-----------
    branches/mango/Mango/jpf jar command.rtf
    branches/mango/Mango/plugins/JPF_jar_1.0.0.jar
    branches/mango/Mango/repository/plugins/JPF_jar_1.0.0.jar


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