cprover
format_spect Class Reference

#include <format_spec.h>

Inheritance diagram for format_spect:
[legend]

Public Types

enum  stylet { stylet::DECIMAL, stylet::SCIENTIFIC, stylet::AUTOMATIC }
 

Public Member Functions

 format_spect ()
 
 format_spect (stylet _style)
 

Static Public Member Functions

static format_spect scientific ()
 
static format_spect automatic ()
 

Public Attributes

unsigned min_width
 
unsigned precision
 
bool zero_padding
 
stylet style
 

Detailed Description

Definition at line 15 of file format_spec.h.

Member Enumeration Documentation

§ stylet

enum format_spect::stylet
strong
Enumerator
DECIMAL 
SCIENTIFIC 
AUTOMATIC 

Definition at line 27 of file format_spec.h.

Constructor & Destructor Documentation

§ format_spect() [1/2]

format_spect::format_spect ( )
inline

Definition at line 30 of file format_spec.h.

Referenced by automatic(), and scientific().

§ format_spect() [2/2]

format_spect::format_spect ( stylet  _style)
inlineexplicit

Definition at line 38 of file format_spec.h.

Member Function Documentation

§ automatic()

static format_spect format_spect::automatic ( )
inlinestatic

Definition at line 51 of file format_spec.h.

References AUTOMATIC, and format_spect().

§ scientific()

static format_spect format_spect::scientific ( )
inlinestatic

Definition at line 46 of file format_spec.h.

References format_spect(), and SCIENTIFIC.

Member Data Documentation

§ min_width

unsigned format_spect::min_width

§ precision

unsigned format_spect::precision

Definition at line 19 of file format_spec.h.

Referenced by ieee_floatt::format(), and printf_formattert::process_format().

§ style

stylet format_spect::style

Definition at line 28 of file format_spec.h.

Referenced by ieee_floatt::format(), and printf_formattert::process_format().

§ zero_padding

bool format_spect::zero_padding

Definition at line 20 of file format_spec.h.

Referenced by printf_formattert::process_format().


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