1 import java.io.FileSystem;
2 import java.io.FilenameFilter;
3 import java.util.ArrayList;
7 private static final char separator = '\n';
8 private static final char separatorChar = '\n';
9 private static final char pathSeparatorChar = ';';
11 public File(String path) {
20 return nativeLength(path.getBytes());
23 private static native long nativeLength(byte[] pathname);
25 public boolean exists() {
26 // TODO System.println("Unimplemented File.exists()");
30 public boolean isDirectory() {
31 // TODO System.println("Unimplemented File.isDirectory()");
35 public boolean mkdirs() {
36 // TODO System.println("Unimplemented File.mkdirs()");
40 public boolean delete() {
41 // TODO System.println("Unimplemented File.delete()");
45 public String[] list(FilenameFilter filter) {
46 /*String names[] = list();
47 if ((names == null) || (filter == null)) {
50 ArrayList v = new ArrayList();
51 for (int i = 0 ; i < names.length ; i++) {
52 if (filter.accept(this, names[i])) {
56 return (String[])(v.toArray(new String[0]));*/
57 // TODO System.println("Unimplemented File.list()");