public class Pipe
extends java.lang.Object
| Constructor and Description |
|---|
Pipe(Option option,
java.io.PrintStream ps,
java.io.InputStream is,
java.lang.String charset) |
| Modifier and Type | Method and Description |
|---|---|
void |
managePipe(ErrorStatus error) |
public Pipe(Option option, java.io.PrintStream ps, java.io.InputStream is, java.lang.String charset)
public void managePipe(ErrorStatus error) throws java.io.IOException
java.io.IOException