CWB
|
The InputRedir structure: contains information about redirecting input so it reads from a file or pipe. More...
#include <output.h>
The InputRedir structure: contains information about redirecting input so it reads from a file or pipe.
int is_pipe |
true iff this is a pipe rather than a file.
Referenced by close_input_stream(), do_undump(), and open_input_stream().
char* name |
file name for redirection
Referenced by open_input_stream().
FILE* stream |
the actual FILE object to read.
Referenced by close_input_stream(), do_undump(), and open_input_stream().