Robust/src/ClassLibrary/MGC/gnu/File.java

   1 import java.io.FileSystem;
   2 import java.io.FilenameFilter;
   3 import java.util.ArrayList;
   4
   5 public class File {
   6   String path;
   7   private static final char separator = '\n';
   8   private static final char separatorChar = '\n';
   9   private static final char pathSeparatorChar = ';';
  10
  11   public File(String path) {
  12     this.path=path;
  13   }
  14
  15   String getPath() {
  16     return path;
  17   }
  18
  19   long length() {
  20     return nativeLength(path.getBytes());
  21   }
  22
  23   private static native long nativeLength(byte[] pathname);
  24
  25   public boolean exists() {
  26     // TODO System.println("Unimplemented File.exists()");
  27     return false;
  28   }
  29
  30   public boolean isDirectory() {
  31     // TODO System.println("Unimplemented File.isDirectory()");
  32     return false;
  33   }
  34
  35   public boolean mkdirs() {
  36     // TODO System.println("Unimplemented File.mkdirs()");
  37     return false;
  38   }
  39
  40   public boolean delete() {
  41     // TODO System.println("Unimplemented File.delete()");
  42     return false;
  43   }
  44
  45   public String[] list(FilenameFilter filter) {
  46     /*String names[] = list();
  47     if ((names == null) || (filter == null)) {
  48       return names;
  49     }
  50     ArrayList v = new ArrayList();
  51     for (int i = 0 ; i < names.length ; i++) {
  52       if (filter.accept(this, names[i])) {
  53         v.add(names[i]);
  54       }
  55     }
  56     return (String[])(v.toArray(new String[0]));*/
  57     // TODO System.println("Unimplemented File.list()");
  58     return null;
  59   }
  60 }