gate.gui
Class LogArea.LogAreaOutputStream
java.lang.Object
|
+--java.io.OutputStream
|
+--gate.gui.LogArea.LogAreaOutputStream
- Enclosing class:
- LogArea
- class LogArea.LogAreaOutputStream
- extends OutputStream
Inner class that defines the behaviour of an OutputStream that writes to
the LogArea.
Method Summary |
void |
write(byte[] data,
int offset,
int length)
Writes an array of bytes into the LogArea,
using the style specified in constructor. |
void |
write(int charCode)
Writes an int which must be a the code of a char, into the LogArea,
using the style specified in constructor. |
Methods inherited from class java.lang.Object |
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait |
isErr
private boolean isErr
- This field dictates the style on how to write
styledDoc
private StyledDocument styledDoc
- This is the styled Document form LogArea
style
private Style style
- Char style
LogArea.LogAreaOutputStream
public LogArea.LogAreaOutputStream(boolean anIsErr)
- Constructs an Out or Err LogAreaOutputStream
write
public void write(int charCode)
- Writes an int which must be a the code of a char, into the LogArea,
using the style specified in constructor. The int is downcast to a byte.
- Overrides:
write
in class OutputStream
write
public void write(byte[] data,
int offset,
int length)
- Writes an array of bytes into the LogArea,
using the style specified in constructor.
- Overrides:
write
in class OutputStream