|
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().
1.7.3