Searched refs:oldFileName (Results 1 – 3 of 3) sorted by relevance
51 String tempOldFileName = oldFileName; in startGeneration()57 tempOldFileName += oldFileName; in startGeneration()86 API oldAPI = XMLToAPI.readFile(tempOldFileName, false, oldFileName); in startGeneration()102 int suffix = oldFileName.lastIndexOf('.'); in startGeneration()103 String commentsFileName = "user_comments_for_" + oldFileName.substring(0, suffix); in startGeneration()247 static String oldFileName = "old_java.xml"; field in JDiff
70 int idx1 = JDiff.oldFileName.lastIndexOf('.'); in startElement()72 String filename2 = JDiff.oldFileName.substring(0, idx1) + in startElement()
196 JDiff.oldFileName = filename + ".xml"; in validOptions()