org.checkerframework.framework.util

Class ExecUtil

java.lang.Object

org.checkerframework.framework.util.ExecUtil

public class ExecUtil
extends Object

Utilities for executing external processes.

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)

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)