Lines Matching refs:filename
532 String filename = null;
538 System.err.println("At least one filename required.");
582 // class name is output filename w/o extension
594 filename = args[i];
595 Debug.warning("Reading file " + filename);
598 f = new FileReader(filename);
612 String tagName = filenameToTag(filename);
700 * extract the tag name from a filename, possibly containing
703 static String filenameToTag(String filename) {
705 // the help tag is the filename exclusive of path or extensions
707 File f = new File(filename);
710 // System.out.println("filename: " + s);
712 period = filename.length();