cprover
|
This is the complete list of members for string_abstractiont, including all inherited members.
abstract(goto_programt &dest, goto_programt::targett it) | string_abstractiont | protected |
abstract(goto_programt &dest) | string_abstractiont | protected |
abstract_assign(goto_programt &dest, goto_programt::targett it) | string_abstractiont | protected |
abstract_char_assign(goto_programt &dest, goto_programt::targett it) | string_abstractiont | protected |
abstract_function_call(goto_programt::targett it) | string_abstractiont | protected |
abstract_pointer_assign(goto_programt &dest, goto_programt::targett it) | string_abstractiont | protected |
abstraction_types_map | string_abstractiont | protected |
abstraction_types_mapt typedef | string_abstractiont | protected |
add_argument(code_typet::parameterst &str_args, const symbolt &fct_symbol, const typet &type, const irep_idt &base_name, const irep_idt &identifier) | string_abstractiont | protected |
add_dummy_symbol_and_value(goto_programt &dest, goto_programt::targett ref_instr, const symbolt &symbol, const irep_idt &component_name, const typet &type, const typet &source_type) | string_abstractiont | protected |
add_str_arguments(const irep_idt &name, goto_functionst::goto_functiont &fct) | string_abstractiont | protected |
arg_suffix | string_abstractiont | protected |
blue | messaget | static |
bold | messaget | static |
bright_blue | messaget | static |
bright_cyan | messaget | static |
bright_green | messaget | static |
bright_magenta | messaget | static |
bright_red | messaget | static |
bright_yellow | messaget | static |
build(const exprt &pointer, whatt what, bool write, const source_locationt &) | string_abstractiont | protected |
build(const exprt &object, exprt &dest, bool write) | string_abstractiont | protected |
build_abstraction_type(const typet &type) | string_abstractiont | protected |
build_abstraction_type_rec(const typet &type, const abstraction_types_mapt &known) | string_abstractiont | protected |
build_array(const array_exprt &object, exprt &dest, bool write) | string_abstractiont | protected |
build_if(const if_exprt &o_if, exprt &dest, bool write) | string_abstractiont | protected |
build_new_symbol(const symbolt &symbol, const irep_idt &identifier, const typet &type) | string_abstractiont | protected |
build_pointer(const exprt &object, exprt &dest, bool write) | string_abstractiont | protected |
build_symbol(const symbol_exprt &sym, exprt &dest) | string_abstractiont | protected |
build_symbol_constant(const mp_integer &zero_length, const mp_integer &buf_size, exprt &dest) | string_abstractiont | protected |
build_type(whatt what) | string_abstractiont | protectedstatic |
build_unknown(whatt what, bool write) | string_abstractiont | protected |
build_unknown(const typet &type, bool write) | string_abstractiont | protected |
build_wrap(const exprt &object, exprt &dest, bool write) | string_abstractiont | protected |
char_assign(goto_programt &dest, goto_programt::targett target, const exprt &new_lhs, const exprt &lhs, const exprt &rhs) | string_abstractiont | protected |
command(unsigned c) | messaget | inlinestatic |
conditional_output(mstreamt &mstream, const std::function< void(mstreamt &)> &output_generator) const | messaget | |
current_args | string_abstractiont | protected |
cyan | messaget | static |
debug() const | messaget | inline |
declare_define_locals(goto_programt &dest) | string_abstractiont | protected |
eom | messaget | static |
error() const | messaget | inline |
eval_verbosity(const std::string &user_input, const message_levelt default_verbosity, message_handlert &dest) | messaget | static |
faint | messaget | static |
get_message_handler() | messaget | inline |
get_mstream(unsigned message_level) const | messaget | inline |
green | messaget | static |
has_string_macros(const exprt &expr) | string_abstractiont | protectedstatic |
initialization | string_abstractiont | protected |
is_char_type(const typet &type) const | string_abstractiont | inlineprotected |
is_ptr_string_struct(const typet &type) const | string_abstractiont | protected |
italic | messaget | static |
locals | string_abstractiont | protected |
localst typedef | string_abstractiont | protected |
M_DEBUG enum value | messaget | |
M_ERROR enum value | messaget | |
M_PROGRESS enum value | messaget | |
M_RESULT enum value | messaget | |
M_STATISTICS enum value | messaget | |
M_STATUS enum value | messaget | |
M_WARNING enum value | messaget | |
magenta | messaget | static |
make_decl_and_def(goto_programt &dest, goto_programt::targett ref_instr, const irep_idt &identifier, const irep_idt &source_sym) | string_abstractiont | protected |
make_type(exprt &dest, const typet &type) | string_abstractiont | inlineprotected |
make_val_or_dummy_rec(goto_programt &dest, goto_programt::targett ref_instr, const symbolt &symbol, const typet &source_type) | string_abstractiont | protected |
member(const exprt &a, whatt what) | string_abstractiont | protected |
message_handler | messaget | protected |
message_levelt enum name | messaget | |
messaget() | messaget | inline |
messaget(const messaget &other) | messaget | inline |
messaget(message_handlert &_message_handler) | messaget | inlineexplicit |
move_lhs_arithmetic(exprt &lhs, exprt &rhs) | string_abstractiont | protected |
mstream | messaget | mutableprotected |
ns | string_abstractiont | protected |
operator()(goto_programt &dest) | string_abstractiont | |
operator()(goto_functionst &dest) | string_abstractiont | |
operator=(const messaget &other) | messaget | inline |
progress() const | messaget | inline |
red | messaget | static |
replace_string_macros(exprt &expr, bool lhs, const source_locationt &) | string_abstractiont | protected |
reset | messaget | static |
result() const | messaget | inline |
set_message_handler(message_handlert &_message_handler) | messaget | inlinevirtual |
statistics() const | messaget | inline |
status() const | messaget | inline |
string_abstractiont(symbol_tablet &_symbol_table, message_handlert &_message_handler) | string_abstractiont | |
string_struct | string_abstractiont | protected |
sym_suffix | string_abstractiont | protected |
symbol_table | string_abstractiont | protected |
temporary_counter | string_abstractiont | protected |
underline | messaget | static |
value_assignments(goto_programt &dest, goto_programt::targett it, const exprt &lhs, const exprt &rhs) | string_abstractiont | protected |
value_assignments_if(goto_programt &dest, goto_programt::targett target, const exprt &lhs, const if_exprt &rhs) | string_abstractiont | protected |
value_assignments_string_struct(goto_programt &dest, goto_programt::targett target, const exprt &lhs, const exprt &rhs) | string_abstractiont | protected |
warning() const | messaget | inline |
whatt enum name | string_abstractiont | protected |
yellow | messaget | static |
~messaget() | messaget | virtual |