| 1269 | FILE* input() { return input_.get(); } |
| 1270 | FILE* output() { return output_.get(); } |
| 1271 | FILE* error() { return error_.get(); } |
| 1272 | |
| 1273 | void input(FILE* fp) { input_.reset(fp, fclose); } |
| 1274 | void output(FILE* fp) { output_.reset(fp, fclose); } |