string_instrumentationt Member List

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

debug()	messaget	inline
do_format_string_read(goto_programt &dest, goto_programt::const_targett target, const code_function_callt::argumentst &arguments, unsigned format_string_inx, unsigned argument_start_inx, const std::string &function_name)	string_instrumentationt	protected
do_format_string_write(goto_programt &dest, goto_programt::const_targett target, const code_function_callt::argumentst &arguments, unsigned format_string_inx, unsigned argument_start_inx, const std::string &function_name)	string_instrumentationt	protected
do_fscanf(goto_programt &dest, goto_programt::targett it, code_function_callt &call)	string_instrumentationt	protected
do_function_call(goto_programt &dest, goto_programt::targett it)	string_instrumentationt	protected
do_snprintf(goto_programt &dest, goto_programt::targett it, code_function_callt &call)	string_instrumentationt	protected
do_sprintf(goto_programt &dest, goto_programt::targett it, code_function_callt &call)	string_instrumentationt	protected
do_strcat(goto_programt &dest, goto_programt::targett it, code_function_callt &call)	string_instrumentationt	protected
do_strchr(goto_programt &dest, goto_programt::targett it, code_function_callt &call)	string_instrumentationt	protected
do_strerror(goto_programt &dest, goto_programt::targett it, code_function_callt &call)	string_instrumentationt	protected
do_strncmp(goto_programt &dest, goto_programt::targett it, code_function_callt &call)	string_instrumentationt	protected
do_strrchr(goto_programt &dest, goto_programt::targett it, code_function_callt &call)	string_instrumentationt	protected
do_strstr(goto_programt &dest, goto_programt::targett it, code_function_callt &call)	string_instrumentationt	protected
do_strtok(goto_programt &dest, goto_programt::targett it, code_function_callt &call)	string_instrumentationt	protected
endl(mstreamt &m)	messaget	inlinestatic
eom(mstreamt &m)	messaget	inlinestatic
error()	messaget	inline
get_message_handler()	messaget	inline
get_mstream(unsigned message_level)	messaget	inline
instrument(goto_programt &dest, goto_programt::targett it)	string_instrumentationt	protected
invalidate_buffer(goto_programt &dest, goto_programt::const_targett target, const exprt &buffer, const typet &buf_type, const mp_integer &limit)	string_instrumentationt	protected
is_string_type(const typet &t) const	string_instrumentationt	inlineprotected
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
make_type(exprt &dest, const typet &type)	string_instrumentationt	inlineprotected
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
mstream	messaget	protected
ns	string_instrumentationt	protected
operator()(goto_programt &dest)	string_instrumentationt
operator()(goto_functionst &dest)	string_instrumentationt
progress()	messaget	inline
result()	messaget	inline
set_message_handler(message_handlert &_message_handler)	messaget	inlinevirtual
statistics()	messaget	inline
status()	messaget	inline
string_instrumentationt(symbol_tablet &_symbol_table, message_handlert &_message_handler)	string_instrumentationt	inline
symbol_table	string_instrumentationt	protected
warning()	messaget	inline
~messaget()	messaget	virtual