299 this.noticeWriter = other.noticeWriter; |
299 this.noticeWriter = other.noticeWriter; |
300 this.warnWriter = other.warnWriter; |
300 this.warnWriter = other.warnWriter; |
301 this.errWriter = other.errWriter; |
301 this.errWriter = other.errWriter; |
302 } |
302 } |
303 |
303 |
|
304 public void setSourceMap(Log other) { |
|
305 this.sourceMap = other.sourceMap; |
|
306 } |
|
307 |
304 /** Flush the logs |
308 /** Flush the logs |
305 */ |
309 */ |
306 public void flush() { |
310 public void flush() { |
307 errWriter.flush(); |
311 errWriter.flush(); |
308 warnWriter.flush(); |
312 warnWriter.flush(); |