|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--java.io.Writer | +--sam.ui.awt.TextAreaWriter
Text area writer.
This is a simple bounded-recall java.io.Writer
implementation
that prints text to a graphical java.awt.TextArea
Field Summary |
Fields inherited from class java.io.Writer |
lock |
Constructor Summary | |
protected |
TextAreaWriter()
Builds a new TextArea Writer |
protected |
TextAreaWriter(int length)
Builds a new TextArea Writer |
Method Summary | |
void |
close()
|
void |
flush()
|
void |
write(char[] c,
int start,
int size)
|
Methods inherited from class java.io.Writer |
write, write, write, write |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
protected TextAreaWriter()
TextArea
Writer
Settings.Constants.UI.AWT#LOG_LENGTH
protected TextAreaWriter(int length)
TextArea
Writer
length
- the maximum length of log material to be recalled.Method Detail |
public void write(char[] c, int start, int size)
write
in class java.io.Writer
public void flush()
flush
in class java.io.Writer
public void close()
close
in class java.io.Writer
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |