xml.translate
Class BuffersOutputDirectory.BufferWriter

java.lang.Object
  java.io.Writer
      java.io.StringWriter
          xml.translate.BuffersOutputDirectory.BufferWriter

All Implemented Interfaces:

java.io.Closeable, java.io.Flushable, java.lang.Appendable

Enclosing class:

BuffersOutputDirectory

public static class BuffersOutputDirectory.BufferWriter
extends java.io.StringWriter

writes to a Buffer upon close()

Field Summary

Fields inherited from class java.io.Writer

lock

Constructor Summary

BuffersOutputDirectory.BufferWriter(org.gjt.sp.jedit.Buffer targetBuffer)

Method Summary

void

close()

Methods inherited from class java.io.StringWriter

append, append, append, flush, getBuffer, toString, write, write, write, write

Methods inherited from class java.io.Writer

write

Methods inherited from class java.lang.Object

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

Constructor Detail

BuffersOutputDirectory.BufferWriter

public BuffersOutputDirectory.BufferWriter(org.gjt.sp.jedit.Buffer targetBuffer)

Method Detail

close

public void close()
           throws java.io.IOException

Specified by:

close in interface java.io.Closeable

Overrides:

close in class java.io.StringWriter

Throws:

java.io.IOException