cprover
static_analyzert Class Reference
Inheritance diagram for static_analyzert:
[legend]
Collaboration diagram for static_analyzert:
[legend]

Public Member Functions

 static_analyzert (const goto_modelt &_goto_model, const optionst &_options, message_handlert &_message_handler)
 
bool operator() ()
 
- Public Member Functions inherited from messaget
virtual void set_message_handler (message_handlert &_message_handler)
 
message_handlertget_message_handler ()
 
 messaget ()
 
 messaget (const messaget &other)
 
 messaget (message_handlert &_message_handler)
 
virtual ~messaget ()
 
mstreamtget_mstream (unsigned message_level)
 
mstreamterror ()
 
mstreamtwarning ()
 
mstreamtresult ()
 
mstreamtstatus ()
 
mstreamtstatistics ()
 
mstreamtprogress ()
 
mstreamtdebug ()
 

Protected Member Functions

void plain_text_report ()
 
void json_report (const std::string &)
 
void xml_report (const std::string &)
 
tvt eval (goto_programt::const_targett)
 

Protected Attributes

const goto_functionstgoto_functions
 
const namespacet ns
 
const optionstoptions
 
ait< interval_domaintinterval_analysis
 
- Protected Attributes inherited from messaget
message_handlertmessage_handler
 
mstreamt mstream
 

Additional Inherited Members

- Public Types inherited from messaget
enum  message_levelt {
  M_ERROR =1, M_WARNING =2, M_RESULT =4, M_STATUS =6,
  M_STATISTICS =8, M_PROGRESS =9, M_DEBUG =10
}
 
- Static Public Member Functions inherited from messaget
static mstreamteom (mstreamt &m)
 
static mstreamtendl (mstreamt &m)
 

Detailed Description

Definition at line 19 of file static_analyzer.cpp.

Constructor & Destructor Documentation

◆ static_analyzert()

static_analyzert::static_analyzert ( const goto_modelt _goto_model,
const optionst _options,
message_handlert _message_handler 
)
inline

Definition at line 22 of file static_analyzer.cpp.

Member Function Documentation

◆ eval()

◆ json_report()

void static_analyzert::json_report ( const std::string &  file_name)
protected

◆ operator()()

bool static_analyzert::operator() ( void  )

◆ plain_text_report()

◆ xml_report()

void static_analyzert::xml_report ( const std::string &  file_name)
protected

Member Data Documentation

◆ goto_functions

const goto_functionst& static_analyzert::goto_functions
protected

Definition at line 36 of file static_analyzer.cpp.

Referenced by json_report(), operator()(), plain_text_report(), and xml_report().

◆ interval_analysis

ait<interval_domaint> static_analyzert::interval_analysis
protected

Definition at line 41 of file static_analyzer.cpp.

Referenced by eval(), and operator()().

◆ ns

const namespacet static_analyzert::ns
protected

Definition at line 37 of file static_analyzer.cpp.

Referenced by eval(), and operator()().

◆ options

const optionst& static_analyzert::options
protected

Definition at line 38 of file static_analyzer.cpp.

Referenced by operator()().


The documentation for this class was generated from the following file: