Go to the documentation of this file.
23 std::string::const_iterator &it,
26 while(*it==
'#' || *it==
'0' ||
27 *it==
'-' || *it==
' ' || *it==
'+')
43 std::string(
"unsupported format specifier flag: '") + *it +
"'");
50 std::string::const_iterator &it,
60 for( ; isdigit(*it); it++) tmp+=*it;
65 std::string::const_iterator &it,
80 for( ; isdigit(*it); it++) tmp+=*it;
87 std::string::const_iterator &it,
122 const std::string &arg_string,
123 std::string::const_iterator &it,
174 for( ; it!=arg_string.end() && *it!=
']'; it++)
182 std::string(
"unsupported format conversion specifier: '") + *it +
"'");
191 std::string::const_iterator it=arg_string.begin();
193 while(it!=arg_string.end())
209 if(token_list.empty() ||
214 for( ; it!=arg_string.end() && *it!=
'%'; it++)
218 !token_list.empty() &&
220 "must already have a TEXT token at the back of the token list");
222 token_list.back().value=tmp;
#define UNREACHABLE
This should be used to mark dead code.
signedbv_typet signed_long_long_int_type()
signedbv_typet signed_char_type()
floatbv_typet long_double_type()
Thrown when we encounter an instruction, parameters to an instruction etc.
const mp_integer string2integer(const std::string &n, unsigned base)
unsignedbv_typet unsigned_char_type()
unsignedbv_typet unsigned_short_int_type()
unsignedbv_typet unsigned_long_long_int_type()
unsignedbv_typet unsigned_long_int_type()
signedbv_typet signed_int_type()
bitvector_typet wchar_t_type()
signedbv_typet signed_short_int_type()
floatbv_typet float_type()
pointer_typet pointer_type(const typet &subtype)
unsignedbv_typet unsigned_int_type()
nonstd::optional< T > optionalt
floatbv_typet double_type()
bitvector_typet char_type()
signedbv_typet signed_long_int_type()
#define INVARIANT(CONDITION, REASON)
This macro uses the wrapper function 'invariant_violated_string'.
API to expression classes.