|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--java.io.OutputStream | +--jcurzez.io.JcurzezOutputStream
This class is a hack to replace System.out
(and System.err
) so that all printed chars use Jcurzez.
Field Summary | |
private Screen |
screen
The screen where to send characters. |
Constructor Summary | |
JcurzezOutputStream(Screen screen)
Does actually nothing. |
Method Summary | |
void |
close()
This method does nothing. |
void |
flush()
Flushes the output stream, i.e. empty internal buffer. |
void |
write(int b)
Write specified character at current position. |
Methods inherited from class java.io.OutputStream |
write, write |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
private final Screen screen
Constructor Detail |
public JcurzezOutputStream(Screen screen)
Method Detail |
public void write(int b) throws java.io.IOException
write
in class java.io.OutputStream
b
- the character to write.java.io.IOException
- if an error occurs while writing.
It is currently unused.public void flush() throws java.io.IOException
AbstractWindow.refresh()
.
flush
in class java.io.OutputStream
java.io.IOException
- is never thrown.public void close() throws java.io.IOException
close
in class java.io.OutputStream
java.io.IOException
- never thrown.
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |