|
cprover
|
#include <console.h>
Public Member Functions | |
| redirectt (std::ostream &__console_out, std::ostream &__console_err) | |
| ~redirectt () | |
Protected Attributes | |
| std::ostream * | old_out = nullptr |
| std::ostream * | old_err = nullptr |
| bool | old_is_terminal = false |
| consolet::redirectt::redirectt | ( | std::ostream & | __console_out, |
| std::ostream & | __console_err ) |
Definition at line 229 of file console.cpp.
| consolet::redirectt::~redirectt | ( | ) |
Definition at line 242 of file console.cpp.
|
protected |
|
protected |
|
protected |