CBMC
Classes | Static Public Member Functions | Static Protected Attributes | List of all members
consolet Class Reference

#include <console.h>

+ Collaboration diagram for consolet:

Classes

class  redirectt
 

Static Public Member Functions

static void init ()
 
static std::ostream & blue (std::ostream &)
 
static std::ostream & cyan (std::ostream &)
 
static std::ostream & green (std::ostream &)
 
static std::ostream & red (std::ostream &)
 
static std::ostream & yellow (std::ostream &)
 
static std::ostream & orange (std::ostream &)
 
static std::ostream & bold (std::ostream &)
 
static std::ostream & faint (std::ostream &)
 
static std::ostream & underline (std::ostream &)
 
static std::ostream & reset (std::ostream &)
 
static std::ostream & cursorup (std::ostream &)
 
static std::ostream & cleareol (std::ostream &)
 
static bool is_terminal ()
 
static bool use_SGR ()
 
static std::ostream & out ()
 
static std::ostream & err ()
 
static std::size_t width ()
 

Static Protected Attributes

static bool _is_terminal = false
 
static bool _use_SGR = false
 
static bool _init_done = false
 
static std::size_t _width
 
static bool _width_is_set = false
 
static std::ostream * _out = nullptr
 
static std::ostream * _err = nullptr
 

Detailed Description

Definition at line 18 of file console.h.

Member Function Documentation

◆ blue()

std::ostream & consolet::blue ( std::ostream &  str)
static

Definition at line 104 of file console.cpp.

◆ bold()

std::ostream & consolet::bold ( std::ostream &  str)
static

Definition at line 152 of file console.cpp.

◆ cleareol()

std::ostream & consolet::cleareol ( std::ostream &  str)
static

Definition at line 190 of file console.cpp.

◆ cursorup()

std::ostream & consolet::cursorup ( std::ostream &  str)
static

Definition at line 184 of file console.cpp.

◆ cyan()

std::ostream & consolet::cyan ( std::ostream &  str)
static

Definition at line 112 of file console.cpp.

◆ err()

static std::ostream& consolet::err ( )
inlinestatic

Definition at line 61 of file console.h.

◆ faint()

std::ostream & consolet::faint ( std::ostream &  str)
static

Definition at line 160 of file console.cpp.

◆ green()

std::ostream & consolet::green ( std::ostream &  str)
static

Definition at line 120 of file console.cpp.

◆ init()

void consolet::init ( )
static

Definition at line 73 of file console.cpp.

◆ is_terminal()

static bool consolet::is_terminal ( )
inlinestatic

Definition at line 43 of file console.h.

◆ orange()

std::ostream & consolet::orange ( std::ostream &  str)
static

Definition at line 144 of file console.cpp.

◆ out()

static std::ostream& consolet::out ( )
inlinestatic

Definition at line 55 of file console.h.

◆ red()

std::ostream & consolet::red ( std::ostream &  str)
static

Definition at line 128 of file console.cpp.

◆ reset()

std::ostream & consolet::reset ( std::ostream &  str)
static

Definition at line 176 of file console.cpp.

◆ underline()

std::ostream & consolet::underline ( std::ostream &  str)
static

Definition at line 168 of file console.cpp.

◆ use_SGR()

static bool consolet::use_SGR ( )
inlinestatic

Definition at line 49 of file console.h.

◆ width()

std::size_t consolet::width ( )
static

Definition at line 196 of file console.cpp.

◆ yellow()

std::ostream & consolet::yellow ( std::ostream &  str)
static

Definition at line 136 of file console.cpp.

Member Data Documentation

◆ _err

std::ostream * consolet::_err = nullptr
staticprotected

Definition at line 89 of file console.h.

◆ _init_done

bool consolet::_init_done = false
staticprotected

Definition at line 85 of file console.h.

◆ _is_terminal

bool consolet::_is_terminal = false
staticprotected

Definition at line 83 of file console.h.

◆ _out

std::ostream * consolet::_out = nullptr
staticprotected

Definition at line 88 of file console.h.

◆ _use_SGR

bool consolet::_use_SGR = false
staticprotected

Definition at line 84 of file console.h.

◆ _width

std::size_t consolet::_width
staticprotected

Definition at line 86 of file console.h.

◆ _width_is_set

bool consolet::_width_is_set = false
staticprotected

Definition at line 87 of file console.h.

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