CBMC
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Static Public Member Functions | Public Attributes | List of all members
format_spect Class Reference

#include <format_spec.h>

+ Inheritance diagram for format_spect:

Public Types

enum class  stylet { DECIMAL , SCIENTIFIC , 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 class 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.

◆ 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.

◆ scientific()

static format_spect format_spect::scientific ( )
inlinestatic

Definition at line 46 of file format_spec.h.

Member Data Documentation

◆ min_width

unsigned format_spect::min_width

Definition at line 18 of file format_spec.h.

◆ precision

unsigned format_spect::precision

Definition at line 19 of file format_spec.h.

◆ style

stylet format_spect::style

Definition at line 28 of file format_spec.h.

◆ zero_padding

bool format_spect::zero_padding

Definition at line 20 of file format_spec.h.

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