org.checkerframework.framework.util

Class ExecUtil

java.lang.Object

org.checkerframework.framework.util.ExecUtil

public class ExecUtil
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ExecUtil.Redirection

Field Summary

Fields

Modifier and Type	Field and Description
static int	BLOCK_SIZE

Constructor Summary

Constructors

Constructor and Description
ExecUtil()

Method Summary

Modifier and Type	Method and Description
static int	execute(String[] cmd, OutputStream std, OutputStream err)
static void	quietlyClose(Reader reader) Close the given reader, ignoring exceptions.
static void	quietlyClose(Writer writer) Close the given writer, ignoring exceptions.

Methods inherited from class java.lang.Object

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

Field Detail

BLOCK_SIZE

public static final int BLOCK_SIZE

See Also:

Constant Field Values

Constructor Detail

ExecUtil

public ExecUtil()

Method Detail

execute

public static int execute(String[] cmd,
                          OutputStream std,
                          OutputStream err)

quietlyClose

public static void quietlyClose(Writer writer)

Close the given writer, ignoring exceptions.

Parameters:

writer - the writer to close

quietlyClose

public static void quietlyClose(Reader reader)

Close the given reader, ignoring exceptions.

Parameters:

reader - the reader to close