[Javapathfinder-devel] javapathfinder/src/gov/nasa/jpf/jvm ThreadInfo.java,1.9,1.10

[pcm <pcm...@us...>]

Update of /cvsroot/javapathfinder/javapathfinder/src/gov/nasa/jpf/jvm
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv9219/src/gov/nasa/jpf/jvm

Modified Files:
	ThreadInfo.java 
Log Message:
* added Config support for an alternate lookup dir, which should be used when JPF doesn't
find a property file in the current dir, and before it tries to load the properties from
resources. The dir is initialized from the +jpf.basedir=<dir> option, which is in turn
now automatically set when using the bin/jpf script. This should make it easier to run
JPF from within Eclipse, but outside its root dir (e.g. from where the application code
resides)

* hot fixed the BFSearch MJIEnv problem (ThreadInfo(ThreadData) ctor). THIS IS NOT YET
THE REAL SOLUTION, since we want to get away from static references, but it buys us time
to do the proper refactoring.


Index: ThreadInfo.java
===================================================================
RCS file: /cvsroot/javapathfinder/javapathfinder/src/gov/nasa/jpf/jvm/ThreadInfo.java,v
retrieving revision 1.9
retrieving revision 1.10
diff -u -d -r1.9 -r1.10
--- ThreadInfo.java	10 May 2005 06:46:55 -0000	1.9
+++ ThreadInfo.java	12 May 2005 06:25:32 -0000	1.10
@@ -282,6 +282,8 @@
     data = new int[0];
     hasChanged = new BitSet();
     
+    vm = JVM.getVM(); // <2do> cut this
+    
     env = new MJIEnv(this);
     
     // <2do> what about the other fields?