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 and Description
Redirection(OutputStream out, int bufferSize)

Method Summary

Modifier and Type	Method and 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 Detail

Redirection

public Redirection(OutputStream out,
                   int bufferSize)

Method Detail

redirect

public void redirect(InputStream inStream)

join

public IOException join()
                 throws InterruptedException

Throws:

InterruptedException