test/tools/doclint/DocLintTester.java

changeset 1913
1476d54fdc61
parent 1506
4a3cfc970c6f
child 2169
667843bd2193
equal deleted inserted replaced
1912:1e533c1bfb01 1913:1476d54fdc61
121 } 121 }
122 122
123 private static final Pattern dirFileLine = Pattern.compile( 123 private static final Pattern dirFileLine = Pattern.compile(
124 "(?m)" // multi-line mode 124 "(?m)" // multi-line mode
125 + "^(.*?)" // directory part of file name 125 + "^(.*?)" // directory part of file name
126 + "([A-Za-z0-9.]+:[0-9]+:)"); // file name and line number 126 + "([-A-Za-z0-9.]+:[0-9]+:)"); // file name and line number
127 127
128 String removeFileNames(String s) { 128 String removeFileNames(String s) {
129 Matcher m = dirFileLine.matcher(s); 129 Matcher m = dirFileLine.matcher(s);
130 StringBuffer sb = new StringBuffer(); 130 StringBuffer sb = new StringBuffer();
131 while (m.find()) { 131 while (m.find()) {

mercurial