Lines Matching defs:eftar
43 private static File eftar;
51 eftar = File.createTempFile("paths", ".eftar");
76 if (eftar != null) {
77 eftar.delete();
92 * eftar file
98 args[1] = eftar.getAbsolutePath();
106 * @throws IOException if an error occurs while accessing the eftar file
110 searchEftarFile(new EftarFileReader(eftar));
111 searchEftarFile(new EftarFileReader(eftar.getAbsolutePath()));