public class DocumentStream
extends java.io.ByteArrayOutputStream
implements java.awt.event.ActionListener
Modifier and Type | Field and Description |
---|---|
protected java.io.PrintStream |
alternateStream |
protected boolean |
append |
protected javax.swing.text.MutableAttributeSet |
defaultStyle |
protected BatchDocument |
document |
protected static java.lang.String |
EOL |
Constructor and Description |
---|
DocumentStream(BatchDocument document) |
DocumentStream(BatchDocument document,
java.io.PrintStream alternateStream) |
DocumentStream(BatchDocument document,
java.io.PrintStream alternateStream,
java.awt.Color color) |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(java.awt.event.ActionEvent e) |
protected void |
addBatch(java.lang.String s) |
void |
close() |
void |
flush() |
java.io.PrintStream |
getAlternateStream() |
javax.swing.text.MutableAttributeSet |
getDefaultStyle() |
BatchDocument |
getDocument() |
protected javax.swing.Timer |
getTimer() |
boolean |
isAppend() |
void |
setAlternateStream(java.io.PrintStream alternateStream) |
void |
setAppend(boolean append) |
void |
setDefaultStyle(javax.swing.text.MutableAttributeSet defaultStyle) |
void |
setDocument(BatchDocument document) |
protected static final java.lang.String EOL
protected java.io.PrintStream alternateStream
protected BatchDocument document
protected javax.swing.text.MutableAttributeSet defaultStyle
protected boolean append
public DocumentStream(BatchDocument document, java.io.PrintStream alternateStream, java.awt.Color color)
public DocumentStream(BatchDocument document, java.io.PrintStream alternateStream)
public DocumentStream(BatchDocument document)
public java.io.PrintStream getAlternateStream()
public BatchDocument getDocument()
public javax.swing.text.MutableAttributeSet getDefaultStyle()
public boolean isAppend()
public void setAlternateStream(java.io.PrintStream alternateStream)
public void setDocument(BatchDocument document)
public void setDefaultStyle(javax.swing.text.MutableAttributeSet defaultStyle)
public void setAppend(boolean append)
protected void addBatch(java.lang.String s)
protected final javax.swing.Timer getTimer()
public void flush()
flush
in interface java.io.Flushable
flush
in class java.io.OutputStream
public void close() throws java.io.IOException
close
in interface java.io.Closeable
close
in interface java.lang.AutoCloseable
close
in class java.io.ByteArrayOutputStream
java.io.IOException
public void actionPerformed(java.awt.event.ActionEvent e)
actionPerformed
in interface java.awt.event.ActionListener
ActionListener.actionPerformed(java.awt.event.ActionEvent)