22 std::string::const_iterator &it,
25 while(*it==
'#' || *it==
'0' ||
26 *it==
'-' || *it==
' ' || *it==
'+')
47 std::string::const_iterator &it,
57 for( ; isdigit(*it); it++) tmp+=*it;
62 std::string::const_iterator &it,
77 for( ; isdigit(*it); it++) tmp+=*it;
84 std::string::const_iterator &it,
119 const std::string &arg_string,
120 std::string::const_iterator &it,
171 for( ; it!=arg_string.end() && *it!=
']'; it++)
178 throw std::string(
"unsupported format conversion specifier: `")+*it+
"'";
187 std::string::const_iterator it=arg_string.begin();
189 while(it!=arg_string.end())
205 if(token_list.empty() ||
210 for( ; it!=arg_string.end() && *it!=
'%'; it++)
213 assert(!token_list.empty());
214 token_list.back().value=tmp;
The type of an expression.
pointer_typet pointer_type(const typet &subtype)
const mp_integer string2integer(const std::string &n, unsigned base)
unsignedbv_typet unsigned_int_type()
bitvector_typet double_type()
bitvector_typet float_type()
API to expression classes.
signedbv_typet signed_long_int_type()
bitvector_typet long_double_type()
signedbv_typet signed_short_int_type()
bitvector_typet wchar_t_type()
unsignedbv_typet unsigned_short_int_type()
unsignedbv_typet unsigned_long_long_int_type()
signedbv_typet signed_int_type()
unsignedbv_typet unsigned_char_type()
unsignedbv_typet unsigned_long_int_type()
signedbv_typet signed_long_long_int_type()
signedbv_typet signed_char_type()
bitvector_typet char_type()