Robust/src/ClassLibrary/SSJavaInfer/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
   8   public File(String path) {
   9     this.path = path;
  10   }
  11
  12   String getPath() {
  13     return path;
  14   }
  15
  16   long length() {
  17     return nativeLength(path.getBytes());
  18   }
  19
  20   private static native long nativeLength(byte[] pathname);
  21 }