Searched refs:commentFileName (Results 1 – 1 of 1) sorted by relevance
489 static String commentFileName = "comments.txt"; field in parseMain506 commentFileName = args[i].substring(2); in parseArgs()508 commentFileName = args[++i]; in parseArgs()561 File commentFile = new File(commentFileName); in main()566 new BufferedReader(new FileReader(commentFileName)); in main()574 Debug.error("Comment file " + commentFileName + in main()