Package org.checkerframework.framework.util

Class ExecUtil

java.lang.Object

org.checkerframework.framework.util.ExecUtil

public class ExecUtil
extends java.lang.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 int	BLOCK_SIZE

Constructor Summary

Constructors

Constructor	Description
ExecUtil()

Method Summary

Modifier and Type	Method	Description
static int	execute(java.lang.String[] cmd, java.io.OutputStream std, java.io.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(java.lang.String[] cmd,
                          java.io.OutputStream std,
                          java.io.OutputStream err)