cprover
format_specifiert Class Reference
+ Collaboration diagram for format_specifiert:

Public Member Functions

 format_specifiert (int _index, std::string _flag, int _width, int _precision, bool _dt, char c)
 

Public Attributes

int index =-1
 
std::string flag
 
int width
 
int precision
 
bool dt =false
 
char conversion
 

Static Public Attributes

static const char DECIMAL_INTEGER ='d'
 
static const char OCTAL_INTEGER ='o'
 
static const char HEXADECIMAL_INTEGER ='x'
 
static const char HEXADECIMAL_INTEGER_UPPER ='X'
 
static const char SCIENTIFIC ='e'
 
static const char SCIENTIFIC_UPPER ='E'
 
static const char GENERAL ='g'
 
static const char GENERAL_UPPER ='G'
 
static const char DECIMAL_FLOAT ='f'
 
static const char HEXADECIMAL_FLOAT ='a'
 
static const char HEXADECIMAL_FLOAT_UPPER ='A'
 
static const char CHARACTER ='c'
 
static const char CHARACTER_UPPER ='C'
 
static const char DATE_TIME ='t'
 
static const char DATE_TIME_UPPER ='T'
 
static const char BOOLEAN ='b'
 
static const char BOOLEAN_UPPER ='B'
 
static const char STRING ='s'
 
static const char STRING_UPPER ='S'
 
static const char HASHCODE ='h'
 
static const char HASHCODE_UPPER ='H'
 
static const char LINE_SEPARATOR ='n'
 
static const char PERCENT_SIGN ='%'
 

Detailed Description

Definition at line 26 of file string_constraint_generator_format.cpp.

Constructor & Destructor Documentation

◆ format_specifiert()

format_specifiert::format_specifiert ( int  _index,
std::string  _flag,
int  _width,
int  _precision,
bool  _dt,
char  c 
)
inline

Definition at line 61 of file string_constraint_generator_format.cpp.

Member Data Documentation

◆ BOOLEAN

const char format_specifiert::BOOLEAN ='b'
static

Definition at line 45 of file string_constraint_generator_format.cpp.

◆ BOOLEAN_UPPER

const char format_specifiert::BOOLEAN_UPPER ='B'
static

Definition at line 46 of file string_constraint_generator_format.cpp.

◆ CHARACTER

const char format_specifiert::CHARACTER ='c'
static

Definition at line 41 of file string_constraint_generator_format.cpp.

◆ CHARACTER_UPPER

const char format_specifiert::CHARACTER_UPPER ='C'
static

Definition at line 42 of file string_constraint_generator_format.cpp.

◆ conversion

char format_specifiert::conversion

Definition at line 59 of file string_constraint_generator_format.cpp.

◆ DATE_TIME

const char format_specifiert::DATE_TIME ='t'
static

Definition at line 43 of file string_constraint_generator_format.cpp.

◆ DATE_TIME_UPPER

const char format_specifiert::DATE_TIME_UPPER ='T'
static

Definition at line 44 of file string_constraint_generator_format.cpp.

◆ DECIMAL_FLOAT

const char format_specifiert::DECIMAL_FLOAT ='f'
static

Definition at line 38 of file string_constraint_generator_format.cpp.

◆ DECIMAL_INTEGER

const char format_specifiert::DECIMAL_INTEGER ='d'
static

Definition at line 30 of file string_constraint_generator_format.cpp.

◆ dt

bool format_specifiert::dt =false

Definition at line 58 of file string_constraint_generator_format.cpp.

◆ flag

std::string format_specifiert::flag

Definition at line 55 of file string_constraint_generator_format.cpp.

◆ GENERAL

const char format_specifiert::GENERAL ='g'
static

Definition at line 36 of file string_constraint_generator_format.cpp.

◆ GENERAL_UPPER

const char format_specifiert::GENERAL_UPPER ='G'
static

Definition at line 37 of file string_constraint_generator_format.cpp.

◆ HASHCODE

const char format_specifiert::HASHCODE ='h'
static

Definition at line 49 of file string_constraint_generator_format.cpp.

◆ HASHCODE_UPPER

const char format_specifiert::HASHCODE_UPPER ='H'
static

Definition at line 50 of file string_constraint_generator_format.cpp.

◆ HEXADECIMAL_FLOAT

const char format_specifiert::HEXADECIMAL_FLOAT ='a'
static

Definition at line 39 of file string_constraint_generator_format.cpp.

◆ HEXADECIMAL_FLOAT_UPPER

const char format_specifiert::HEXADECIMAL_FLOAT_UPPER ='A'
static

Definition at line 40 of file string_constraint_generator_format.cpp.

◆ HEXADECIMAL_INTEGER

const char format_specifiert::HEXADECIMAL_INTEGER ='x'
static

Definition at line 32 of file string_constraint_generator_format.cpp.

◆ HEXADECIMAL_INTEGER_UPPER

const char format_specifiert::HEXADECIMAL_INTEGER_UPPER ='X'
static

Definition at line 33 of file string_constraint_generator_format.cpp.

◆ index

int format_specifiert::index =-1

Definition at line 54 of file string_constraint_generator_format.cpp.

◆ LINE_SEPARATOR

const char format_specifiert::LINE_SEPARATOR ='n'
static

Definition at line 51 of file string_constraint_generator_format.cpp.

◆ OCTAL_INTEGER

const char format_specifiert::OCTAL_INTEGER ='o'
static

Definition at line 31 of file string_constraint_generator_format.cpp.

◆ PERCENT_SIGN

const char format_specifiert::PERCENT_SIGN ='%'
static

Definition at line 52 of file string_constraint_generator_format.cpp.

◆ precision

int format_specifiert::precision

Definition at line 57 of file string_constraint_generator_format.cpp.

◆ SCIENTIFIC

const char format_specifiert::SCIENTIFIC ='e'
static

Definition at line 34 of file string_constraint_generator_format.cpp.

◆ SCIENTIFIC_UPPER

const char format_specifiert::SCIENTIFIC_UPPER ='E'
static

Definition at line 35 of file string_constraint_generator_format.cpp.

◆ STRING

const char format_specifiert::STRING ='s'
static

Definition at line 47 of file string_constraint_generator_format.cpp.

◆ STRING_UPPER

const char format_specifiert::STRING_UPPER ='S'
static

Definition at line 48 of file string_constraint_generator_format.cpp.

◆ width

int format_specifiert::width

Definition at line 56 of file string_constraint_generator_format.cpp.


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