Searched refs:oldFileName (Results 1 – 4 of 4) 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()
851 StringRef oldFileName = ""; in synthesizeDebugNotes() local866 if (newFileName != oldFileName || newDirPath != oldDirPath) { in synthesizeDebugNotes()868 if (oldFileName != "") in synthesizeDebugNotes()871 oldFileName = newFileName; in synthesizeDebugNotes()