OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
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