Package org.checkerframework.framework.util

Class ExecUtil.Redirection

java.lang.Object

org.checkerframework.framework.util.ExecUtil.Redirection

Enclosing class:

ExecUtil

public static class ExecUtil.Redirection
extends Object

Constructor Summary

Constructors

Constructor	Description
Redirection(OutputStream out, int bufferSize)

Method Summary

Modifier and Type	Method	Description
IOException	join()
void	redirect(InputStream inStream)

Methods inherited from class java.lang.Object

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

Constructor Details

Redirection

public Redirection(OutputStream out,
 int bufferSize)

Method Details

redirect

public void redirect(InputStream inStream)

join

public IOException join()
                 throws InterruptedException

Throws:

InterruptedException