5#ifndef CPROVER_UTIL_PIPED_PROCESS_H
6#define CPROVER_UTIL_PIPED_PROCESS_H
11struct _PROCESS_INFORMATION;
12typedef struct _PROCESS_INFORMATION PROCESS_INFORMATION;
20#define PIPED_PROCESS_INFINITE_TIMEOUT \
21 optionalt<std::size_t> \
82 explicit piped_processt(
const std::vector<std::string> &commandvec);
93 std::unique_ptr<PROCESS_INFORMATION> proc_info;
95 HANDLE child_std_IN_Rd;
96 HANDLE child_std_IN_Wr;
97 HANDLE child_std_OUT_Rd;
98 HANDLE child_std_OUT_Wr;
bool can_receive()
See if this process can receive data from the other process.
piped_processt(const std::vector< std::string > &commandvec)
Initiate a new subprocess with pipes supporting communication between the parent (this process) and t...
void wait_receivable(int wait_time)
Wait for the pipe to be ready, waiting specified time between checks.
piped_processt(const piped_processt &)=delete
std::string receive()
Read a string from the child process' output.
send_responset send(const std::string &message)
Send a string message (command) to the child process.
piped_processt & operator=(const piped_processt &)=delete
statet
Enumeration to keep track of child process state.
statet get_status()
Get child process status.
send_responset
Enumeration for send response.
std::string wait_receive()
Wait until a string is available and read a string from the child process' output.
nonstd::optional< T > optionalt