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

Method Summary

Modifier and Type	Method	Description
static int	execute(String[] cmd, OutputStream std, OutputStream err)	Runs the given command in a new process

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

Method Details

execute

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

Runs the given command in a new process

Parameters:

cmd - the command

std - a stream to capture the standard output of the process

err - a stream to capture the standard error of the process

Returns:

the exit status of the process