public class Stream_Monitor.Monitor_Writer extends Writer implements Styled_Writer
Constructor and Description |
---|
Stream_Monitor.Monitor_Writer() |
Modifier and Type | Method and Description |
---|---|
void |
close()
The currently buffered characters are flushed, but the writer
can still be written to.
|
void |
flush()
Flush the currently buffered characters to the monitor display.
|
void |
write(char[] characters,
int offset,
int amount)
Write an array of characters.
|
void |
write(int character)
Write a character.
|
Stream_Monitor.Monitor_Writer |
Write(String text)
Write text to the monitor.
|
Stream_Monitor.Monitor_Writer |
Write(String text,
AttributeSet style)
Write styled text to the monitor.
|
public void write(int character)
Each character written is buffered until an end-of-line sequence is
encountered at which point the buffer is flushed
to
the display. An end-of-line line sequence is any one of a line feed
('\n', 0x0A), a carriage return ('\r', 0x0D), or a carriage return
followed immediately by a linefeed.
public void write(char[] characters, int offset, int amount)
The characters are buffered until an end-of-line sequence is
encountered or the buffer is full at which point the buffer is
flushed
to the display. An end-of-line line
sequence is any one of a line feed ('\n', 0x0A), a carriage return
('\r', 0x0D), or a carriage return followed immediately by a
linefeed.
write
in class Writer
characters
- The char array containing the characters to be
written. If null or empty nothing is done.offset
- Array offset from which to start writing characters.amount
- The number of characters to write. If zero nothing is
done.IndexOutOfBoundsException
- If the offset or amount are
negative or the offset plus the amount is greater than the length
of the array.public Stream_Monitor.Monitor_Writer Write(String text, AttributeSet style)
Any currently buffered characters are flushed before the text is written to the monitor.
Write
in interface Styled_Writer
text
- The text String to be appended to the monitor.style
- The AttributeSet to be applied to the text. This
may be null if plain text is to be displayed.Stream_Monitor.Write(String, AttributeSet)
public Stream_Monitor.Monitor_Writer Write(String text)
Any currently buffered characters are flushed before the text is written to the monitor.
Write
in interface Styled_Writer
text
- The text String to be appended to the monitor.Stream_Monitor.Write(String)
public void flush()
The currently buffered characters are converted to a String that is
written
to the monitor display.
The text is eligible for auto-style
processing, if enabled.