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 java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Redirection(java.io.OutputStream out, int bufferSize)

Method Summary

Modifier and Type	Method and Description
java.io.IOException	join()
void	redirect(java.io.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(java.io.OutputStream out,
                   int bufferSize)

Method Detail

redirect

public void redirect(java.io.InputStream inStream)

join

public java.io.IOException join()
                         throws java.lang.InterruptedException

Throws:

java.lang.InterruptedException