cprover
|
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 ='%' |
Definition at line 25 of file string_constraint_generator_format.cpp.
|
inline |
Definition at line 60 of file string_constraint_generator_format.cpp.
|
static |
Definition at line 44 of file string_constraint_generator_format.cpp.
Referenced by string_constraint_generatort::add_axioms_for_format_specifier().
|
static |
Definition at line 45 of file string_constraint_generator_format.cpp.
Referenced by string_constraint_generatort::add_axioms_for_format_specifier().
|
static |
Definition at line 40 of file string_constraint_generator_format.cpp.
Referenced by string_constraint_generatort::add_axioms_for_format_specifier().
|
static |
Definition at line 41 of file string_constraint_generator_format.cpp.
Referenced by string_constraint_generatort::add_axioms_for_format_specifier().
char string_constraint_generatort::format_specifiert::conversion |
Definition at line 58 of file string_constraint_generator_format.cpp.
Referenced by string_constraint_generatort::add_axioms_for_format(), and string_constraint_generatort::add_axioms_for_format_specifier().
|
static |
Definition at line 42 of file string_constraint_generator_format.cpp.
Referenced by string_constraint_generatort::add_axioms_for_format_specifier().
|
static |
Definition at line 43 of file string_constraint_generator_format.cpp.
Referenced by string_constraint_generatort::add_axioms_for_format_specifier(), and format_specifier_of_match().
|
static |
Definition at line 37 of file string_constraint_generator_format.cpp.
Referenced by string_constraint_generatort::add_axioms_for_format_specifier().
|
static |
Definition at line 29 of file string_constraint_generator_format.cpp.
Referenced by string_constraint_generatort::add_axioms_for_format_specifier().
bool string_constraint_generatort::format_specifiert::dt =false |
Definition at line 57 of file string_constraint_generator_format.cpp.
std::string string_constraint_generatort::format_specifiert::flag |
Definition at line 54 of file string_constraint_generator_format.cpp.
|
static |
Definition at line 35 of file string_constraint_generator_format.cpp.
Referenced by string_constraint_generatort::add_axioms_for_format_specifier().
|
static |
Definition at line 36 of file string_constraint_generator_format.cpp.
Referenced by string_constraint_generatort::add_axioms_for_format_specifier().
|
static |
Definition at line 48 of file string_constraint_generator_format.cpp.
Referenced by string_constraint_generatort::add_axioms_for_format_specifier().
|
static |
Definition at line 49 of file string_constraint_generator_format.cpp.
Referenced by string_constraint_generatort::add_axioms_for_format_specifier().
|
static |
Definition at line 38 of file string_constraint_generator_format.cpp.
Referenced by string_constraint_generatort::add_axioms_for_format_specifier().
|
static |
Definition at line 39 of file string_constraint_generator_format.cpp.
Referenced by string_constraint_generatort::add_axioms_for_format_specifier().
|
static |
Definition at line 31 of file string_constraint_generator_format.cpp.
Referenced by string_constraint_generatort::add_axioms_for_format_specifier().
|
static |
Definition at line 32 of file string_constraint_generator_format.cpp.
int string_constraint_generatort::format_specifiert::index =-1 |
Definition at line 53 of file string_constraint_generator_format.cpp.
Referenced by string_constraint_generatort::add_axioms_for_format().
|
static |
Definition at line 50 of file string_constraint_generator_format.cpp.
Referenced by string_constraint_generatort::add_axioms_for_format(), and string_constraint_generatort::add_axioms_for_format_specifier().
|
static |
Definition at line 30 of file string_constraint_generator_format.cpp.
Referenced by string_constraint_generatort::add_axioms_for_format_specifier().
|
static |
Definition at line 51 of file string_constraint_generator_format.cpp.
Referenced by string_constraint_generatort::add_axioms_for_format(), and string_constraint_generatort::add_axioms_for_format_specifier().
int string_constraint_generatort::format_specifiert::precision |
Definition at line 56 of file string_constraint_generator_format.cpp.
|
static |
Definition at line 33 of file string_constraint_generator_format.cpp.
Referenced by string_constraint_generatort::add_axioms_for_format_specifier().
|
static |
Definition at line 34 of file string_constraint_generator_format.cpp.
Referenced by string_constraint_generatort::add_axioms_for_format_specifier().
|
static |
Definition at line 46 of file string_constraint_generator_format.cpp.
Referenced by string_constraint_generatort::add_axioms_for_format_specifier().
|
static |
Definition at line 47 of file string_constraint_generator_format.cpp.
Referenced by string_constraint_generatort::add_axioms_for_format_specifier().
int string_constraint_generatort::format_specifiert::width |
Definition at line 55 of file string_constraint_generator_format.cpp.