shell
Class PipedOutput

java.lang.Object
  |
  +--java.io.OutputStream
        |
        +--java.io.FilterOutputStream
              |
              +--java.io.PrintStream
                    |
                    +--shell.PipedOutput

public class PipedOutput

extends java.io.PrintStream

Field Summary

Fields inherited from class java.io.FilterOutputStream

out

Constructor Summary

PipedOutput(java.io.OutputStream s)

PipedOutput(TerminalDisplay a, java.io.OutputStream s)

Method Summary

void	flush()
void	write(byte[] buf, int off, int len)
void	write(int b)

Methods inherited from class java.io.PrintStream

checkError, close, print, print, print, print, print, print, print, print, print, println, println, println, println, println, println, println, println, println, println, setError

Methods inherited from class java.io.FilterOutputStream

write

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PipedOutput

public PipedOutput(TerminalDisplay a,
                   java.io.OutputStream s)

PipedOutput

public PipedOutput(java.io.OutputStream s)

Method Detail

write

public void write(int b)

Overrides:

write in class java.io.PrintStream

write

public void write(byte[] buf,
                  int off,
                  int len)

Overrides:

write in class java.io.PrintStream

flush

public void flush()

Overrides:

flush in class java.io.PrintStream