public static class BuffersOutputDirectory.BufferWriter extends java.io.StringWriter
lock
BufferWriter(org.gjt.sp.jedit.Buffer targetBuffer)
void
close()
append, append, append, flush, getBuffer, toString, write, write, write, write
write
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public BufferWriter(org.gjt.sp.jedit.Buffer targetBuffer)
public void close() throws java.io.IOException
close
java.io.Closeable
java.lang.AutoCloseable
java.io.StringWriter
java.io.IOException