org.processmining.plugins.tracealignment.swingx

Class DocumentOutputStream

java.lang.Object

java.io.OutputStream

org.processmining.plugins.tracealignment.swingx.DocumentOutputStream

All Implemented Interfaces:

java.io.Closeable, java.io.Flushable, java.lang.AutoCloseable

public class DocumentOutputStream
extends java.io.OutputStream

An OutputStream 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.

Version:

$Revision: 1.2 $, $Date: 2004/11/04 02:46:46 $

Author:

Timothy Prinzing

Constructor Summary

Constructors

Constructor and Description
DocumentOutputStream(javax.swing.text.Document doc) Constructs an output stream that will output to the given document with whatever the default attributes are.
DocumentOutputStream(javax.swing.text.Document doc, javax.swing.text.AttributeSet a) Constructs an output stream that will output to the given document with the given set of character attributes.

Method Summary

Modifier and Type	Method and Description
void	write(byte[] b, int off, int len) Writes len bytes from the specified byte array starting at offset off to this output stream.
void	write(int b) Writes the specified byte to this output stream.

Methods inherited from class java.io.OutputStream

close, flush, write

Methods inherited from class java.lang.Object

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

Constructor Detail

DocumentOutputStream

public DocumentOutputStream(javax.swing.text.Document doc,
                            javax.swing.text.AttributeSet a)

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.

DocumentOutputStream

public DocumentOutputStream(javax.swing.text.Document doc)

Constructs an output stream that will output to the given document with whatever the default attributes are.

Parameters:

doc - the document to write to.

Method Detail

write

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

Writes the specified byte to this output stream.

Subclasses of OutputStream must provide an implementation for this method.

Specified by:

write in class java.io.OutputStream

Parameters:

b - the byte.

Throws:

java.io.IOException - if an I/O error occurs.

Since:

JDK1.0

write

public void write(byte[] b,
                  int off,
                  int len)
           throws java.io.IOException

Writes len bytes from the specified byte array starting at offset off to this output stream.

The write method of OutputStream calls the write method of one argument on each of the bytes to be written out. Subclasses are encouraged to override this method and provide a more efficient implementation.

Overrides:

write in class java.io.OutputStream

Parameters:

b - the data.

off - the start offset in the data.

len - the number of bytes to write.

Throws:

java.io.IOException - if an I/O error occurs.

Since:

JDK1.0