HomeSort by relevance Sort by last modified time
    Searched defs:filename2 (Results 1 - 2 of 2) sorted by null

  /external/jdiff/src/jdiff/
CommentsHandler.java 72 String filename2 = JDiff.oldFileName.substring(0, idx1) + local
74 if (filename2.compareTo(commentsName) != 0) {
75 System.out.println("Warning: API identifier in the comments XML file (" + filename2 + ") differs from the name of the file.");
XMLToAPI.java 208 String filename2 = name.replace(' ','_'); local
209 filename2 += ".xml";
210 if (filename2.compareTo(api_.name_) != 0) {

Completed in 26 milliseconds