jas.swingstudio
Class JASConsoleDocumentWriter
java.lang.Object
|
+--java.io.Writer
|
+--jas.swingstudio.JASConsoleDocumentWriter
- public class JASConsoleDocumentWriter
- extends java.io.Writer
A Writer implementation that places it's
output in a swing text model (Document). The
Document can be either a plain text or styled
document implementation. If styled, the attributes
assigned to the output stream will be used in
the display of the output.
Based on:
http://java.sun.com/products/jfc/tsc/text/console/DocumentWriter.java
Fields inherited from class java.io.Writer |
lock |
Constructor Summary |
JASConsoleDocumentWriter(javax.swing.text.Document doc,
javax.swing.text.AttributeSet a,
java.lang.String s,
jas.swingstudio.JASConsoleTabbedPane j)
Constructs an output stream that will output to the
given document with the given set of character attributes. |
Method Summary |
void |
close()
Close the stream, flushing it first. |
void |
flush()
Flush the stream. |
void |
write(char[] cbuf,
int off,
int len)
Write a portion of an array of characters. |
void |
write(java.lang.String str)
Write a string. |
void |
write(java.lang.String str,
int off,
int len)
Write a portion of a string. |
Methods inherited from class java.io.Writer |
write, write |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
JASConsoleDocumentWriter
public JASConsoleDocumentWriter(javax.swing.text.Document doc,
javax.swing.text.AttributeSet a,
java.lang.String s,
jas.swingstudio.JASConsoleTabbedPane j)
- Constructs an output stream that will output to the
given document with the given set of character attributes.
- Parameters:
doc
- the document to write to.a
- the character attributes to use for the written text.
write
public void write(char[] cbuf,
int off,
int len)
throws java.io.IOException
- Write a portion of an array of characters.
- Overrides:
write
in class java.io.Writer
- Parameters:
cbuf
- Array of charactersoff
- Offset from which to start writing characterslen
- Number of characters to write- Throws:
java.io.IOException
- If an I/O error occurs
write
public void write(java.lang.String str,
int off,
int len)
throws java.io.IOException
- Write a portion of a string.
- Overrides:
write
in class java.io.Writer
- Parameters:
str
- A Stringoff
- Offset from which to start writing characterslen
- Number of characters to write- Throws:
java.io.IOException
- If an I/O error occurs
write
public void write(java.lang.String str)
throws java.io.IOException
- Write a string.
- Overrides:
write
in class java.io.Writer
- Parameters:
str
- String to be written- Throws:
java.io.IOException
- If an I/O error occurs
flush
public void flush()
throws java.io.IOException
- Flush the stream. If the stream has saved any characters from the
various write() methods in a buffer, write them immediately to their
intended destination. Then, if that destination is another character or
byte stream, flush it. Thus one flush() invocation will flush all the
buffers in a chain of Writers and OutputStreams.
- Overrides:
flush
in class java.io.Writer
- Throws:
java.io.IOException
- If an I/O error occurs
close
public void close()
throws java.io.IOException
- Close the stream, flushing it first. Once a stream has been closed,
further write() or flush() invocations will cause an IOException to be
thrown. Closing a previously-closed stream, however, has no effect.
- Overrides:
close
in class java.io.Writer
- Throws:
java.io.IOException
- If an I/O error occurs