Class ExecUtil.Redirection
- java.lang.Object
-
- org.checkerframework.framework.util.ExecUtil.Redirection
-
- Enclosing class:
- ExecUtil
public static class ExecUtil.Redirection extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description Redirection(java.io.OutputStream out, int bufferSize)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.io.IOException
join()
void
redirect(java.io.InputStream inStream)
-