cprover
static_analyzert Member List

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

debug()messagetinline
endl(mstreamt &m)messagetinlinestatic
eom(mstreamt &m)messagetinlinestatic
error()messagetinline
eval(goto_programt::const_targett)static_analyzertprotected
get_message_handler()messagetinline
get_mstream(unsigned message_level)messagetinline
goto_functionsstatic_analyzertprotected
interval_analysisstatic_analyzertprotected
json_report(const std::string &)static_analyzertprotected
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
message_handlermessagetprotected
message_levelt enum namemessaget
messaget()messagetinline
messaget(const messaget &other)messagetinline
messaget(message_handlert &_message_handler)messagetinlineexplicit
mstreammessagetprotected
nsstatic_analyzertprotected
operator()()static_analyzert
optionsstatic_analyzertprotected
plain_text_report()static_analyzertprotected
progress()messagetinline
result()messagetinline
set_message_handler(message_handlert &_message_handler)messagetinlinevirtual
static_analyzert(const goto_modelt &_goto_model, const optionst &_options, message_handlert &_message_handler)static_analyzertinline
statistics()messagetinline
status()messagetinline
warning()messagetinline
xml_report(const std::string &)static_analyzertprotected
~messaget()messagetvirtual