edu.rice.cs.plt.debug
Class WriterLogSink

java.lang.Object
  edu.rice.cs.plt.debug.TextLogSink
      edu.rice.cs.plt.debug.IndentedTextLogSink
          edu.rice.cs.plt.debug.WriterLogSink

All Implemented Interfaces:

LogSink, Closeable

public class WriterLogSink
extends IndentedTextLogSink

A log that writes tagged, indented text to the given Writer.

Nested Class Summary

Nested classes/interfaces inherited from interface edu.rice.cs.plt.debug.LogSink

LogSink.EndMessage, LogSink.ErrorMessage, LogSink.Message, LogSink.MessageVisitor<T>, LogSink.StackMessage, LogSink.StandardMessage, LogSink.StartMessage, LogSink.ValueMessage

Constructor Summary

WriterLogSink(Writer w)

WriterLogSink(Writer w, int idealLineWidth)

Method Summary

void	close()
protected BufferedWriter	writer(LogSink.Message m) Get a BufferedWriter for outputting the given message.

Methods inherited from class edu.rice.cs.plt.debug.IndentedTextLogSink

write, writeEnd, writeStart

Methods inherited from class edu.rice.cs.plt.debug.TextLogSink

formatLocation, formatLocation, formatThread, formatTime, log, logEnd, logError, logStack, logStart

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

WriterLogSink

public WriterLogSink(Writer w)

WriterLogSink

public WriterLogSink(Writer w,
                     int idealLineWidth)

Method Detail

writer

protected BufferedWriter writer(LogSink.Message m)

Description copied from class: IndentedTextLogSink

Get a BufferedWriter for outputting the given message.

Specified by:

writer in class IndentedTextLogSink

close

public void close()
           throws IOException

Throws:

IOException