Lines Matching defs:path
58 static void rm_minus_rf (File path) {
59 if (!path.exists()) {
62 if (path.isFile()) {
63 if (!path.delete()) {
64 throw new RuntimeException ("Could not delete " + path);
66 } else if (path.isDirectory ()) {
67 String[] names = path.list();
68 File[] files = path.listFiles();
70 rm_minus_rf (new File(path, names[i]));
72 if (!path.delete()) {
73 throw new RuntimeException ("Could not delete " + path);