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