Searched refs:fileKey (Results 1 – 1 of 1) sorted by relevance
120 String fileKey = dir.replace("/", "_"); in main() local122 …PrintWriter summary = FileUtilities.openUTF8Writer(OUT_DIRECTORY, prefix + fileKey + "_count.txt"); in main()123 …intWriter changes = FileUtilities.openUTF8Writer(OUT_DIRECTORY, prefix + fileKey + "_changes.txt"); in main()124 …intWriter changesNew = FileUtilities.openUTF8Writer(OUT_DIRECTORY, prefix + fileKey + "_news.txt"); in main()125 …er changesDeletes = FileUtilities.openUTF8Writer(OUT_DIRECTORY, prefix + fileKey + "_deletes.txt"); in main()126 …er changesSummary = FileUtilities.openUTF8Writer(OUT_DIRECTORY, prefix + fileKey + "_changes_summa… in main()131 checkBadAttributes(path2value, prefix + fileKey + "_dtd_check.txt"); in main()