cprover
string_constraint_generatort::format_specifiert Class Reference
Collaboration diagram for string_constraint_generatort::format_specifiert:
[legend]

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 25 of file string_constraint_generator_format.cpp.

Constructor & Destructor Documentation

◆ format_specifiert()

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

Definition at line 60 of file string_constraint_generator_format.cpp.

Member Data Documentation

◆ BOOLEAN

const char string_constraint_generatort::format_specifiert::BOOLEAN ='b'
static

◆ BOOLEAN_UPPER

const char string_constraint_generatort::format_specifiert::BOOLEAN_UPPER ='B'
static

◆ CHARACTER

const char string_constraint_generatort::format_specifiert::CHARACTER ='c'
static

◆ CHARACTER_UPPER

const char string_constraint_generatort::format_specifiert::CHARACTER_UPPER ='C'
static

◆ conversion

char string_constraint_generatort::format_specifiert::conversion

◆ DATE_TIME

const char string_constraint_generatort::format_specifiert::DATE_TIME ='t'
static

◆ DATE_TIME_UPPER

const char string_constraint_generatort::format_specifiert::DATE_TIME_UPPER ='T'
static

◆ DECIMAL_FLOAT

const char string_constraint_generatort::format_specifiert::DECIMAL_FLOAT ='f'
static

◆ DECIMAL_INTEGER

const char string_constraint_generatort::format_specifiert::DECIMAL_INTEGER ='d'
static

◆ dt

bool string_constraint_generatort::format_specifiert::dt =false

Definition at line 57 of file string_constraint_generator_format.cpp.

◆ flag

std::string string_constraint_generatort::format_specifiert::flag

Definition at line 54 of file string_constraint_generator_format.cpp.

◆ GENERAL

const char string_constraint_generatort::format_specifiert::GENERAL ='g'
static

◆ GENERAL_UPPER

const char string_constraint_generatort::format_specifiert::GENERAL_UPPER ='G'
static

◆ HASHCODE

const char string_constraint_generatort::format_specifiert::HASHCODE ='h'
static

◆ HASHCODE_UPPER

const char string_constraint_generatort::format_specifiert::HASHCODE_UPPER ='H'
static

◆ HEXADECIMAL_FLOAT

const char string_constraint_generatort::format_specifiert::HEXADECIMAL_FLOAT ='a'
static

◆ HEXADECIMAL_FLOAT_UPPER

const char string_constraint_generatort::format_specifiert::HEXADECIMAL_FLOAT_UPPER ='A'
static

◆ HEXADECIMAL_INTEGER

const char string_constraint_generatort::format_specifiert::HEXADECIMAL_INTEGER ='x'
static

◆ HEXADECIMAL_INTEGER_UPPER

const char string_constraint_generatort::format_specifiert::HEXADECIMAL_INTEGER_UPPER ='X'
static

Definition at line 32 of file string_constraint_generator_format.cpp.

◆ index

int string_constraint_generatort::format_specifiert::index =-1

◆ LINE_SEPARATOR

const char string_constraint_generatort::format_specifiert::LINE_SEPARATOR ='n'
static

◆ OCTAL_INTEGER

const char string_constraint_generatort::format_specifiert::OCTAL_INTEGER ='o'
static

◆ PERCENT_SIGN

const char string_constraint_generatort::format_specifiert::PERCENT_SIGN ='%'
static

◆ precision

int string_constraint_generatort::format_specifiert::precision

Definition at line 56 of file string_constraint_generator_format.cpp.

◆ SCIENTIFIC

const char string_constraint_generatort::format_specifiert::SCIENTIFIC ='e'
static

◆ SCIENTIFIC_UPPER

const char string_constraint_generatort::format_specifiert::SCIENTIFIC_UPPER ='E'
static

◆ STRING

const char string_constraint_generatort::format_specifiert::STRING ='s'
static

◆ STRING_UPPER

const char string_constraint_generatort::format_specifiert::STRING_UPPER ='S'
static

◆ width

int string_constraint_generatort::format_specifiert::width

Definition at line 55 of file string_constraint_generator_format.cpp.


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