edu.mit.csail.sdg.alloy4
Class Subprocess

java.lang.Object
  edu.mit.csail.sdg.alloy4.Subprocess

public final class Subprocess
extends java.lang.Object

This provides a convenience wrapper around a Process object.

To launch a subprocess, simply write Subprocess.exec(timeout, args);

Thread Safety: Safe.

Method Summary

static java.lang.String

exec(long timeLimit, java.lang.String[] commandline) Executes the given command line, wait for its completion, then return its output.

Methods inherited from class java.lang.Object

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

Method Detail

exec

public static java.lang.String exec(long timeLimit,
                                    java.lang.String[] commandline)

Executes the given command line, wait for its completion, then return its output.

Parameters:

timeLimit - - we will attempt to terminate the process after that many milliseconds have passed

commandline - - the command line