12 #ifndef CPROVER_UTIL_PIPE_STREAM_H 13 #define CPROVER_UTIL_PIPE_STREAM_H 23 #include <sys/types.h> 49 std::streamsize
xsputn(
const char *, std::streamsize);
51 std::streamsize
xsgetn(
char *, std::streamsize);
59 const std::string &_executable,
60 const std::list<std::string> &_args);
67 std::list<std::string>
args;
70 PROCESS_INFORMATION pi;
78 #endif // CPROVER_UTIL_PIPE_STREAM_H
pipe_streamt(const std::string &_executable, const std::list< std::string > &_args)
Constructor for external process.
int wait()
Wait for the process to terminate.
int_type overflow(int_type)
write one character to the piped process
int_type underflow()
read a character from the piped process
std::list< std::string > args
std::streamsize xsputn(const char *, std::streamsize)
write a number of character to the piped process
std::streamsize xsgetn(char *, std::streamsize)
read a number of characters from the piped process
filedescriptor_streambuft buffer
filedescriptor_streambuft()
Constructor.
~filedescriptor_streambuft()
Destructor.
std::streamsize showmanyc()
determine number of available characters in stream
int run()
Starts an external process.