cprover
string_instrumentationt Member List

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

bluemessagetstatic
boldmessagetstatic
bright_bluemessagetstatic
bright_cyanmessagetstatic
bright_greenmessagetstatic
bright_magentamessagetstatic
bright_redmessagetstatic
bright_yellowmessagetstatic
command(unsigned c)messagetinlinestatic
conditional_output(mstreamt &mstream, const std::function< void(mstreamt &)> &output_generator) constmessaget
cyanmessagetstatic
debug() constmessagetinline
do_format_string_read(goto_programt &dest, goto_programt::const_targett target, const code_function_callt::argumentst &arguments, std::size_t format_string_inx, std::size_t argument_start_inx, const std::string &function_name)string_instrumentationtprotected
do_format_string_write(goto_programt &dest, goto_programt::const_targett target, const code_function_callt::argumentst &arguments, std::size_t format_string_inx, std::size_t argument_start_inx, const std::string &function_name)string_instrumentationtprotected
do_fscanf(goto_programt &dest, goto_programt::targett target, const code_function_callt &)string_instrumentationtprotected
do_function_call(goto_programt &dest, goto_programt::targett target)string_instrumentationtprotected
do_snprintf(goto_programt &dest, goto_programt::targett target, const code_function_callt &)string_instrumentationtprotected
do_sprintf(goto_programt &dest, goto_programt::targett target, const code_function_callt &)string_instrumentationtprotected
do_strcat(goto_programt &dest, goto_programt::targett it, const code_function_callt &)string_instrumentationtprotected
do_strchr(goto_programt &dest, goto_programt::targett target, const code_function_callt &)string_instrumentationtprotected
do_strerror(goto_programt &dest, goto_programt::targett it, const code_function_callt &)string_instrumentationtprotected
do_strncmp(goto_programt &dest, goto_programt::targett it, const code_function_callt &)string_instrumentationtprotected
do_strrchr(goto_programt &dest, goto_programt::targett target, const code_function_callt &)string_instrumentationtprotected
do_strstr(goto_programt &dest, goto_programt::targett target, const code_function_callt &)string_instrumentationtprotected
do_strtok(goto_programt &dest, goto_programt::targett target, const code_function_callt &)string_instrumentationtprotected
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
instrument(goto_programt &dest, goto_programt::targett it)string_instrumentationtprotected
invalidate_buffer(goto_programt &dest, goto_programt::const_targett target, const exprt &buffer, const typet &buf_type, const mp_integer &limit)string_instrumentationtprotected
is_string_type(const typet &t) conststring_instrumentationtinlineprotected
italicmessagetstatic
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_type(exprt &dest, const typet &type)string_instrumentationtinlineprotected
message_handlermessagetprotected
message_levelt enum namemessaget
messaget()messagetinline
messaget(const messaget &other)messagetinline
messaget(message_handlert &_message_handler)messagetinlineexplicit
mstreammessagetmutableprotected
nsstring_instrumentationtprotected
operator()(goto_programt &dest)string_instrumentationt
operator()(goto_functionst &dest)string_instrumentationt
operator=(const messaget &other)messagetinline
progress() constmessagetinline
redmessagetstatic
resetmessagetstatic
result() constmessagetinline
set_message_handler(message_handlert &_message_handler)messagetinlinevirtual
statistics() constmessagetinline
status() constmessagetinline
string_instrumentationt(symbol_tablet &_symbol_table, message_handlert &_message_handler)string_instrumentationtinline
symbol_tablestring_instrumentationtprotected
underlinemessagetstatic
warning() constmessagetinline
yellowmessagetstatic
~messaget()messagetvirtual