cprover
|
#include <pipe_stream.h>
Public Types | |
typedef int | HANDLE |
Public Member Functions | |
filedescriptor_streambuft () | |
Constructor. More... | |
void | set_in (HANDLE in) |
void | set_out (HANDLE out) |
~filedescriptor_streambuft () | |
Destructor. More... | |
Protected Member Functions | |
int_type | overflow (int_type) |
write one character to the piped process More... | |
std::streamsize | xsputn (const char *, std::streamsize) |
write a number of character to the piped process More... | |
int_type | underflow () |
read a character from the piped process More... | |
std::streamsize | xsgetn (char *, std::streamsize) |
read a number of characters from the piped process More... | |
std::streamsize | showmanyc () |
determine number of available characters in stream More... | |
Protected Attributes | |
HANDLE | proc_in |
HANDLE | proc_out |
char * | in_buffer |
Definition at line 28 of file pipe_stream.h.
typedef int filedescriptor_streambuft::HANDLE |
Definition at line 33 of file pipe_stream.h.
filedescriptor_streambuft::filedescriptor_streambuft | ( | ) |
Constructor.
Definition at line 218 of file pipe_stream.cpp.
References in_buffer, and READ_BUFFER_SIZE.
filedescriptor_streambuft::~filedescriptor_streambuft | ( | ) |
|
protected |
write one character to the piped process
Definition at line 256 of file pipe_stream.cpp.
References proc_in.
|
inline |
Definition at line 39 of file pipe_stream.h.
References proc_in.
Referenced by pipe_streamt::pipe_streamt(), and pipe_streamt::run().
|
inline |
Definition at line 40 of file pipe_stream.h.
References proc_out, and ~filedescriptor_streambuft().
Referenced by pipe_streamt::pipe_streamt(), and pipe_streamt::run().
|
protected |
determine number of available characters in stream
Definition at line 340 of file pipe_stream.cpp.
References main(), pipe_streamt::run(), and pipe_streamt::wait().
Referenced by xsgetn().
|
protected |
read a character from the piped process
Definition at line 290 of file pipe_stream.cpp.
References char_type(), proc_out, and READ_BUFFER_SIZE.
Referenced by xsgetn().
|
protected |
read a number of characters from the piped process
Definition at line 317 of file pipe_stream.cpp.
References char_type(), showmanyc(), and underflow().
|
protected |
write a number of character to the piped process
Definition at line 277 of file pipe_stream.cpp.
References proc_in.
|
protected |
Definition at line 46 of file pipe_stream.h.
Referenced by filedescriptor_streambuft(), and ~filedescriptor_streambuft().
|
protected |
Definition at line 45 of file pipe_stream.h.
Referenced by overflow(), set_in(), xsputn(), and ~filedescriptor_streambuft().
|
protected |
Definition at line 45 of file pipe_stream.h.
Referenced by set_out(), underflow(), and ~filedescriptor_streambuft().