CBMC
Public Member Functions | Protected Attributes | List of all members
consolet::redirectt Class Reference

#include <console.h>

+ Collaboration diagram for consolet::redirectt:

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
 

Detailed Description

Definition at line 70 of file console.h.

Constructor & Destructor Documentation

◆ redirectt()

consolet::redirectt::redirectt ( std::ostream &  __console_out,
std::ostream &  __console_err 
)

Definition at line 229 of file console.cpp.

◆ ~redirectt()

consolet::redirectt::~redirectt ( )

Definition at line 242 of file console.cpp.

Member Data Documentation

◆ old_err

std::ostream * consolet::redirectt::old_err = nullptr
protected

Definition at line 78 of file console.h.

◆ old_is_terminal

bool consolet::redirectt::old_is_terminal = false
protected

Definition at line 79 of file console.h.

◆ old_out

std::ostream* consolet::redirectt::old_out = nullptr
protected

Definition at line 78 of file console.h.

The documentation for this class was generated from the following files: