[Javapathfinder-devel] javapathfinder/env/jpf/java/io File.java,1.1.1.1,1.2

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

Update of /cvsroot/javapathfinder/javapathfinder/env/jpf/java/io
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv9219/env/jpf/java/io

Modified Files:
	File.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: File.java
===================================================================
RCS file: /cvsroot/javapathfinder/javapathfinder/env/jpf/java/io/File.java,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -d -r1.1.1.1 -r1.2
--- File.java	26 Apr 2005 19:43:25 -0000	1.1.1.1
+++ File.java	12 May 2005 06:25:31 -0000	1.2
@@ -55,6 +55,16 @@
     return filename;
   }
 
+  public String getAbsolutePath () {
+    // not yet implemented
+    return null;
+  }
+  
+  public boolean isAbsolute() {
+    // not yet implemented
+    return false;
+  }
+  
   private String filename;
 }