Home
last modified time | relevance | path

Searched refs:tempOldFileName (Results 1 – 1 of 1) sorted by relevance

/external/jdiff/src/jdiff/
DJDiff.java51 String tempOldFileName = oldFileName; in startGeneration() local
53 tempOldFileName = oldDirectory; in startGeneration()
54 if (!tempOldFileName.endsWith(JDiff.DIR_SEP)) { in startGeneration()
55 tempOldFileName += JDiff.DIR_SEP; in startGeneration()
57 tempOldFileName += oldFileName; in startGeneration()
61 File f = new File(tempOldFileName); in startGeneration()
63 … System.out.println("Error: file '" + tempOldFileName + "' does not exist for the old API"); in startGeneration()
84 … System.out.print("JDiff: reading the old API in from file '" + tempOldFileName + "'..."); in startGeneration()
86 API oldAPI = XMLToAPI.readFile(tempOldFileName, false, oldFileName); in startGeneration()