cprover
|
#include <format_strings.h>
Public Member Functions | |
format_tokent (token_typet _type) | |
format_tokent () | |
Public Attributes | |
token_typet | type |
std::list< flag_typet > | flags |
mp_integer | field_width |
mp_integer | precision |
length_modifierst | length_modifier |
representationt | representation |
irep_idt | value |
Definition at line 21 of file format_strings.h.
|
strong |
Enumerator | |
---|---|
ALTERNATE | |
ZERO_PAD | |
LEFT_ADJUST | |
SIGNED_SPACE | |
SIGN | |
ASTERISK |
Definition at line 35 of file format_strings.h.
|
strong |
Enumerator | |
---|---|
LEN_undef | |
LEN_h | |
LEN_hh | |
LEN_l | |
LEN_ll | |
LEN_L | |
LEN_j | |
LEN_t |
Definition at line 45 of file format_strings.h.
|
strong |
Enumerator | |
---|---|
SIGNED_undef | |
SIGNED_DEC | |
UNSIGNED_DEC | |
UNSIGNED_OCT | |
UNSIGNED_HEX |
Definition at line 57 of file format_strings.h.
|
strong |
Enumerator | |
---|---|
UNKNOWN | |
TEXT | |
INT | |
FLOAT | |
CHAR | |
STRING | |
POINTER |
Definition at line 24 of file format_strings.h.
|
inlineexplicit |
Definition at line 66 of file format_strings.h.
|
inline |
Definition at line 71 of file format_strings.h.
mp_integer format_tokent::field_width |
Definition at line 80 of file format_strings.h.
std::list<flag_typet> format_tokent::flags |
Definition at line 79 of file format_strings.h.
length_modifierst format_tokent::length_modifier |
Definition at line 82 of file format_strings.h.
mp_integer format_tokent::precision |
Definition at line 81 of file format_strings.h.
representationt format_tokent::representation |
Definition at line 83 of file format_strings.h.
token_typet format_tokent::type |
Definition at line 78 of file format_strings.h.
irep_idt format_tokent::value |
Definition at line 84 of file format_strings.h.