Package 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	Description
static class	ExecUtil.Redirection

Field Summary

Fields

Modifier and Type	Field	Description
static final int	BLOCK_SIZE

Constructor Summary

Constructors

Constructor	Description
ExecUtil()

Method Summary

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

BLOCK_SIZE

public static final int BLOCK_SIZE

See Also:

• Constant Field Values

Constructor Details

ExecUtil

public ExecUtil()

Method Details

execute

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