CBMC
Loading...
Searching...
No Matches
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 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 std::ostream &  out ()
 
static std::ostream &  err ()
 
static std::size_t  width ()
 

Static Protected Attributes

 
 
 
static std::size_t  _width
 
 
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:

AltStyle によって変換されたページ (->オリジナル) /