equal
deleted
inserted
replaced
253 } |
253 } |
254 |
254 |
255 private void incrementErrorCount(String prefix, String msg) { |
255 private void incrementErrorCount(String prefix, String msg) { |
256 if (nerrors < MaxErrors) { |
256 if (nerrors < MaxErrors) { |
257 PrintWriter errWriter = getWriter(WriterKind.ERROR); |
257 PrintWriter errWriter = getWriter(WriterKind.ERROR); |
258 errWriter.println(prefix + ": " + getText("javadoc.error") + " - " + msg); |
258 printRawLines(errWriter, prefix + ": " + getText("javadoc.error") + " - " + msg); |
259 errWriter.flush(); |
259 errWriter.flush(); |
260 prompt(); |
260 prompt(); |
261 nerrors++; |
261 nerrors++; |
262 } |
262 } |
263 } |
263 } |
291 } |
291 } |
292 |
292 |
293 private void incrementWarningCount(String prefix, String msg) { |
293 private void incrementWarningCount(String prefix, String msg) { |
294 if (nwarnings < MaxWarnings) { |
294 if (nwarnings < MaxWarnings) { |
295 PrintWriter warnWriter = getWriter(WriterKind.WARNING); |
295 PrintWriter warnWriter = getWriter(WriterKind.WARNING); |
296 warnWriter.println(prefix + ": " + getText("javadoc.warning") + " - " + msg); |
296 printRawLines(warnWriter, prefix + ": " + getText("javadoc.warning") + " - " + msg); |
297 warnWriter.flush(); |
297 warnWriter.flush(); |
298 nwarnings++; |
298 nwarnings++; |
299 } |
299 } |
300 } |
300 } |
301 |
301 |
316 return; |
316 return; |
317 } |
317 } |
318 |
318 |
319 PrintWriter noticeWriter = getWriter(WriterKind.NOTICE); |
319 PrintWriter noticeWriter = getWriter(WriterKind.NOTICE); |
320 if (path == null) { |
320 if (path == null) { |
321 noticeWriter.println(msg); |
321 printRawLines(noticeWriter, msg); |
322 } else { |
322 } else { |
323 noticeWriter.println(prefix + ": " + msg); |
323 printRawLines(noticeWriter, prefix + ": " + msg); |
324 } |
324 } |
325 noticeWriter.flush(); |
325 noticeWriter.flush(); |
326 } |
326 } |
327 |
327 |
328 public void printNotice(Element e, String msg) { |
328 public void printNotice(Element e, String msg) { |
332 return; |
332 return; |
333 } |
333 } |
334 |
334 |
335 PrintWriter noticeWriter = getWriter(WriterKind.NOTICE); |
335 PrintWriter noticeWriter = getWriter(WriterKind.NOTICE); |
336 if (e == null) { |
336 if (e == null) { |
337 noticeWriter.println(msg); |
337 printRawLines(noticeWriter, msg); |
338 } else { |
338 } else { |
339 noticeWriter.println(pos + ": " + msg); |
339 printRawLines(noticeWriter, pos + ": " + msg); |
340 } |
340 } |
341 noticeWriter.flush(); |
341 noticeWriter.flush(); |
342 } |
342 } |
343 |
343 |
344 /** |
344 /** |