jist.swans.app.io
Class Writer

java.lang.Object
  java.io.Writer
      jist.swans.app.io.Writer

All Implemented Interfaces:

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

public abstract class Writer
extends java.io.Writer

A functionally identical port of java.io.Writer, primarily brought into jist.swans.app.io package so that it could be dynamically rewritten.

Since:

SWANS1.0

Version:

$Id: Writer.java,v 1.4 2004/04/06 16:07:46 barr Exp $

Author:

Sun Microsystems, Rimon Barr <barr+jist@cs.cornell.edu>

Field Summary

protected java.lang.Object	lock write lock.
private char[]	writeBuffer outgoing buffer.
private int	writeBufferSize buffer limit.

Constructor Summary

protected	Writer()
protected	Writer(java.lang.Object lock)

Method Summary

abstract void	close()
abstract void	flush()
void	write(char[] cbuf)
abstract void	write(char[] cbuf, int off, int len)
void	write(int c)
void	write(java.lang.String str)
void	write(java.lang.String str, int off, int len)

Methods inherited from class java.io.Writer

append, append, append, append, append, append

Methods inherited from class java.lang.Object

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

Field Detail

writeBuffer

private char[] writeBuffer

outgoing buffer.

writeBufferSize

private final int writeBufferSize

buffer limit.

See Also:

Constant Field Values

lock

protected java.lang.Object lock

write lock.

Constructor Detail

Writer

protected Writer()

See Also:

Writer

Writer

protected Writer(java.lang.Object lock)

See Also:

Writer

Method Detail

write

public void write(int c)
           throws java.io.IOException

Overrides:

write in class java.io.Writer

Throws:

java.io.IOException

See Also:

Writer

write

public void write(char[] cbuf)
           throws java.io.IOException

Overrides:

write in class java.io.Writer

Throws:

java.io.IOException

See Also:

Writer

write

public abstract void write(char[] cbuf,
                           int off,
                           int len)
                    throws java.io.IOException

Specified by:

write in class java.io.Writer

Throws:

java.io.IOException

See Also:

Writer

write

public void write(java.lang.String str)
           throws java.io.IOException

Overrides:

write in class java.io.Writer

Throws:

java.io.IOException

See Also:

Writer

write

public void write(java.lang.String str,
                  int off,
                  int len)
           throws java.io.IOException

Overrides:

write in class java.io.Writer

Throws:

java.io.IOException

See Also:

Writer

flush

public abstract void flush()
                    throws java.io.IOException

Specified by:

flush in interface java.io.Flushable

Specified by:

flush in class java.io.Writer

Throws:

java.io.IOException

See Also:

Writer

close

public abstract void close()
                    throws java.io.IOException

Specified by:

close in interface java.io.Closeable

Specified by:

close in class java.io.Writer

Throws:

java.io.IOException

See Also:

Writer