cprover
string_abstractiont Member List

This is the complete list of members for string_abstractiont, including all inherited members.

abstract(goto_programt &dest, goto_programt::targett it)string_abstractiontprotected
abstract(goto_programt &dest)string_abstractiontprotected
abstract_assign(goto_programt &dest, goto_programt::targett it)string_abstractiontprotected
abstract_char_assign(goto_programt &dest, goto_programt::targett it)string_abstractiontprotected
abstract_function_call(goto_programt::targett it)string_abstractiontprotected
abstract_pointer_assign(goto_programt &dest, goto_programt::targett it)string_abstractiontprotected
abstraction_types_mapstring_abstractiontprotected
abstraction_types_mapt typedefstring_abstractiontprotected
add_argument(code_typet::parameterst &str_args, const symbolt &fct_symbol, const typet &type, const irep_idt &base_name, const irep_idt &identifier)string_abstractiontprotected
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_abstractiontprotected
add_str_arguments(const irep_idt &name, goto_functionst::goto_functiont &fct)string_abstractiontprotected
arg_suffixstring_abstractiontprotected
bluemessagetstatic
boldmessagetstatic
bright_bluemessagetstatic
bright_cyanmessagetstatic
bright_greenmessagetstatic
bright_magentamessagetstatic
bright_redmessagetstatic
bright_yellowmessagetstatic
build(const exprt &pointer, whatt what, bool write, const source_locationt &)string_abstractiontprotected
build(const exprt &object, exprt &dest, bool write)string_abstractiontprotected
build_abstraction_type(const typet &type)string_abstractiontprotected
build_abstraction_type_rec(const typet &type, const abstraction_types_mapt &known)string_abstractiontprotected
build_array(const array_exprt &object, exprt &dest, bool write)string_abstractiontprotected
build_if(const if_exprt &o_if, exprt &dest, bool write)string_abstractiontprotected
build_new_symbol(const symbolt &symbol, const irep_idt &identifier, const typet &type)string_abstractiontprotected
build_pointer(const exprt &object, exprt &dest, bool write)string_abstractiontprotected
build_symbol(const symbol_exprt &sym, exprt &dest)string_abstractiontprotected
build_symbol_constant(const mp_integer &zero_length, const mp_integer &buf_size, exprt &dest)string_abstractiontprotected
build_type(whatt what)string_abstractiontprotectedstatic
build_unknown(whatt what, bool write)string_abstractiontprotected
build_unknown(const typet &type, bool write)string_abstractiontprotected
build_wrap(const exprt &object, exprt &dest, bool write)string_abstractiontprotected
char_assign(goto_programt &dest, goto_programt::targett target, const exprt &new_lhs, const exprt &lhs, const exprt &rhs)string_abstractiontprotected
command(unsigned c)messagetinlinestatic
conditional_output(mstreamt &mstream, const std::function< void(mstreamt &)> &output_generator) constmessaget
current_argsstring_abstractiontprotected
cyanmessagetstatic
debug() constmessagetinline
declare_define_locals(goto_programt &dest)string_abstractiontprotected
eommessagetstatic
error() constmessagetinline
eval_verbosity(const std::string &user_input, const message_levelt default_verbosity, message_handlert &dest)messagetstatic
faintmessagetstatic
get_message_handler()messagetinline
get_mstream(unsigned message_level) constmessagetinline
greenmessagetstatic
has_string_macros(const exprt &expr)string_abstractiontprotectedstatic
initializationstring_abstractiontprotected
is_char_type(const typet &type) conststring_abstractiontinlineprotected
is_ptr_string_struct(const typet &type) conststring_abstractiontprotected
italicmessagetstatic
localsstring_abstractiontprotected
localst typedefstring_abstractiontprotected
M_DEBUG enum valuemessaget
M_ERROR enum valuemessaget
M_PROGRESS enum valuemessaget
M_RESULT enum valuemessaget
M_STATISTICS enum valuemessaget
M_STATUS enum valuemessaget
M_WARNING enum valuemessaget
magentamessagetstatic
make_decl_and_def(goto_programt &dest, goto_programt::targett ref_instr, const irep_idt &identifier, const irep_idt &source_sym)string_abstractiontprotected
make_type(exprt &dest, const typet &type)string_abstractiontinlineprotected
make_val_or_dummy_rec(goto_programt &dest, goto_programt::targett ref_instr, const symbolt &symbol, const typet &source_type)string_abstractiontprotected
member(const exprt &a, whatt what)string_abstractiontprotected
message_handlermessagetprotected
message_levelt enum namemessaget
messaget()messagetinline
messaget(const messaget &other)messagetinline
messaget(message_handlert &_message_handler)messagetinlineexplicit
move_lhs_arithmetic(exprt &lhs, exprt &rhs)string_abstractiontprotected
mstreammessagetmutableprotected
nsstring_abstractiontprotected
operator()(goto_programt &dest)string_abstractiont
operator()(goto_functionst &dest)string_abstractiont
operator=(const messaget &other)messagetinline
progress() constmessagetinline
redmessagetstatic
replace_string_macros(exprt &expr, bool lhs, const source_locationt &)string_abstractiontprotected
resetmessagetstatic
result() constmessagetinline
set_message_handler(message_handlert &_message_handler)messagetinlinevirtual
statistics() constmessagetinline
status() constmessagetinline
string_abstractiont(symbol_tablet &_symbol_table, message_handlert &_message_handler)string_abstractiont
string_structstring_abstractiontprotected
sym_suffixstring_abstractiontprotected
symbol_tablestring_abstractiontprotected
temporary_counterstring_abstractiontprotected
underlinemessagetstatic
value_assignments(goto_programt &dest, goto_programt::targett it, const exprt &lhs, const exprt &rhs)string_abstractiontprotected
value_assignments_if(goto_programt &dest, goto_programt::targett target, const exprt &lhs, const if_exprt &rhs)string_abstractiontprotected
value_assignments_string_struct(goto_programt &dest, goto_programt::targett target, const exprt &lhs, const exprt &rhs)string_abstractiontprotected
warning() constmessagetinline
whatt enum namestring_abstractiontprotected
yellowmessagetstatic
~messaget()messagetvirtual