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

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

Revision: 1415
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1415&view=rev
Author:   frankrimlinger
Date:     2009-04-17 17:48:21 +0000 (Fri, 17 Apr 2009)

Log Message:
-----------
The first step to getting jpf code to run is to reproduce the exact environment that it likes.  Just bundling the jars that jpf uses into plugins should not affect runtime, so that is still in place.  However, instead of attempting to jar the source code that jpf-trunk loads, I just link to this source from MangoJPF.  Having done so, all the jpf code compiles inside of MangoJPF, except the java5/6 "compatibility code". Probably breaks as I am running under J2SE6. I filtered out the sun compatibility classes, but now there is a broken calls in  env/jpf/jaf.lang.Class and System.  Hopefully not a problem, but in any event should go away when the switch to J2SE6 is "official".

But, lots of MangoJPF code is breaking.  Certain things can probably be safely thrown overboard.  In particular, extensions/ui/env/jpf/java.awt and java.swing are probably stubs for jpf users.  Doing this, the rest of the jpf code still compiles, hooray, and the only remaining issues with MangoJPF involve some unsupported methods in env/jpf/java/lang, especially Class and ClassLoader.  I rewrite the MangoJPF code to conform.  Not a problem since JPF will be taking over this particular MangoJPF functionality anyway.

So, with all of this in place, I get past my initial crash to

[SEVERE] error during VM runtime initialization: wrong model classes (check vm.[boot]classpath)

This looks hopeful, so syncing to lock in current progress. Of course, the link to the jpf-trunk source code is a very temporary expedient.  It is not a deployable solution, and it is far too tempting to alter jpf-trunk code this way.  Once things settle down I will find a way to jar most if not all of the trunk code.

Modified Paths:
--------------
    branches/mango/Mango/content/proofArtifacts.xhtml
    branches/mango/Mango/content/specification.xhtml
    branches/mango/MangoJPF/.classpath
    branches/mango/MangoJPF/.project
    branches/mango/MangoJPF/META-INF/MANIFEST.MF
    branches/mango/MangoJPF/META-INF/MangoJPF.product
    branches/mango/MangoJPF/Mango/src/mango/control/input/JarLoader.java
    branches/mango/MangoJPF/Mango/src/mango/control/msg/StartRequestMsg.java
    branches/mango/MangoJPF/Mango/src/mango/worker/engine/hash/Hash.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/backupDelegate/BackupDelegate.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/graph/Graph.java
    branches/mango/MangoJPF/Mango/src/mango/workstation/RuleResourceManager.java
    branches/mango/MangoJPF/Mango/src/mango/workstation/Workstation.java


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