|
CBMC
|
#include <iosfwd>#include <string>#include <vector>
Include dependency graph for run.h:
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Functions | |
| std::string | shell_quote (const std::string &src) |
This performs shell quoting if necessary on input src. More... | |
| int | run (const std::string &what, const std::vector< std::string > &argv) |
| int | run (const std::string &what, const std::vector< std::string > &argv, const std::string &std_input, const std::string &std_output, const std::string &std_error) |
This runs the executable given by the file name what. More... | |
| int | run (const std::string &what, const std::vector< std::string > &argv, const std::string &std_input, std::ostream &std_output, const std::string &std_error) |
This runs the executable given by the file name what. More... | |
| int run | ( | const std::string & | what, |
| const std::vector< std::string > & | argv | ||
| ) |
| int run | ( | const std::string & | what, |
| const std::vector< std::string > & | argv, | ||
| const std::string & | std_input, | ||
| const std::string & | std_output, | ||
| const std::string & | std_error | ||
| ) |
This runs the executable given by the file name what.
Control returns when execution has finished. Stdin, stdout and stderr may be redirected from/to a given file. Give the empty string to retain the default handle. Any shell-meta characters in the executable, argv and the I/O redirect files are escaped as needed.
| int run | ( | const std::string & | what, |
| const std::vector< std::string > & | argv, | ||
| const std::string & | std_input, | ||
| std::ostream & | std_output, | ||
| const std::string & | std_error | ||
| ) |
This runs the executable given by the file name what.
Control returns when execution has finished. Stdin and stderr may be redirected from/to a given file. Give the empty string to retain the default handle. Any output to stdout is stored in the std_output stream buffer. Any shell-meta characters in the executable, argv and the I/O redirect files are escaped as needed.