For PR351:
authorReid Spencer <rspencer@reidspencer.com>
Sun, 19 Dec 2004 17:59:57 +0000 (17:59 +0000)
committerReid Spencer <rspencer@reidspencer.com>
Sun, 19 Dec 2004 17:59:57 +0000 (17:59 +0000)
Incorporate the abilities of RunPRogramWithTimeout into
sys::Program::ExecuteAndWait so that redirection and a timeout are optionally
supported.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@19039 91177308-0d34-0410-b5e6-96231b3b80d8

include/llvm/System/Program.h

index 45fb9500cdf172725f09ec0152e75d614cde9f87..6528d6804ea4f2ca7f595fb7cfeba83ff11581c1 100644 (file)
@@ -56,15 +56,26 @@ namespace sys {
       /// @brief Executes the program with the given set of \p args.
       static int ExecuteAndWait(
         const Path& path,  ///< The path to the program to execute
-        const std::vector<std::string>& args,
+        const char** args,
           ///< A vector of strings that are passed to the program.
-          ///< The first element should *not* be the name of the program.
-        const char ** env = 0
+          ///< The first element should be the name of the program. The list
+          ///< *must* be terminated by a null char* entry.
+        const char ** env = 0,
           ///< An optional vector of strings to use for the program's 
           ///< environment. If not provided, the current program's environment
           ///< will be used.
+        const sys::Path** redirects = 0,
+          ///< An optional array of pointers to Paths. If the array is null,
+          ///< no redirection is done. The array should have a size of at least
+          ///< three. If the pointer in the array are not null, then the 
+          ///< inferior process's stdin(0), stdout(1), and stderr(2) will be 
+          ///< redirected to the corresponding Paths. 
+        unsigned secondsToWait = 0
+          ///< If non-zero, this specifies the amount of time to wait for the
+          ///< child process to exit. If the time expires, the child is killed
+          ///< and this call returns. If zero, this function will wait until
+          ///< the child finishes or forever if it doesn't.
       );
-    /// @}
   };
 }
 }