StringWriter sw = new StringWriter();
PrintWriter pw = new PrintWriter(sw); try { new DocLint().run(pw, args.toArray(new String[args.size()])); if (expectBadArgs)
error("expected exception not thrown");
} catch (BadArgs e) { if (!expectBadArgs)
error("unexpected exception caught: " + e);
}
pw.flush();
String out = normalizeNewlines(removeFileNames(sw.toString())).trim(); if (out != null)
System.err.println("Output:\n" + out);
if (refFile == null) { if (!out.isEmpty())
error("unexpected output");
} else {
String expect = readFile(refFile); if (!expect.equals(out)) {
error("expected output not found");
System.err.println("EXPECT>>" + expect + "<<");
System.err.println(" FOUND>>" + out + "<<");
}
}
}
String readFile(File file) throws IOException {
StringBuilder sb = new StringBuilder();
Reader in = new BufferedReader(new FileReader(file)); try { char[] buf = newchar[1024]; int n; while ((n = in.read(buf)) != -1)
sb.append(buf, 0, n);
} finally {
in.close();
} return sb.toString().trim();
}
privatestaticfinal Pattern dirFileLine = Pattern.compile( "(?m)"// multi-line mode
+ "^(.*?)"// directory part of file name
+ "([-A-Za-z0-9.]+:[0-9]+:)"); // file name and line number
String removeFileNames(String s) {
Matcher m = dirFileLine.matcher(s);
StringBuffer sb = new StringBuffer(); while (m.find()) {
m.appendReplacement(sb, "$2");
}
m.appendTail(sb); return sb.toString();
}
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.