Lines Matching defs:filename
477 public static String loadOptions(String filename) {
480 fr = new FileReader(filename);
482 return "file "+filename+" not found";
484 return loadOptions(fr, filename);
497 public static String loadOptions(FileReader fr, String filename) {
512 return ("IO Error reading "+filename+
518 public static String saveOptions(String filename) {
519 return saveOptions(new File(filename));
554 public static String saveOptions(FileWriter fw, String filename) {
648 public static String saveResults(String filename, boolean append) {
651 fw = new FileWriter(filename, append);
653 return "Error opening results file "+filename;
655 return saveResults(fw, filename, append);
668 public static String saveResults(FileWriter fw, String filename,