cprover
|
#include <goto_diff.h>
Public Member Functions | |
goto_difft (const goto_modelt &_goto_model1, const goto_modelt &_goto_model2, message_handlert &_message_handler) | |
virtual bool | operator() ()=0 |
void | set_ui (language_uit::uit _ui) |
virtual std::ostream & | output_functions (std::ostream &out) const |
Protected Types | |
typedef std::set< irep_idt > | irep_id_sett |
Protected Member Functions | |
void | convert_function_group (json_arrayt &result, const irep_id_sett &function_group) const |
void | convert_function (json_objectt &result, const irep_idt &function_name) const |
Protected Attributes | |
const goto_modelt & | goto_model1 |
const goto_modelt & | goto_model2 |
language_uit::uit | ui |
unsigned | total_functions_count |
irep_id_sett | new_functions |
irep_id_sett | modified_functions |
irep_id_sett | deleted_functions |
Additional Inherited Members |
Definition at line 22 of file goto_diff.h.
|
protected |
Definition at line 50 of file goto_diff.h.
|
inlineexplicit |
Definition at line 25 of file goto_diff.h.
|
protected |
Definition at line 90 of file goto_diff_base.cpp.
References goto_functions_templatet< bodyT >::function_map, goto_modelt::goto_functions, goto_model2, id2string(), goto_program_templatet< codeT, guardT >::instructions, json(), and messaget::result().
Referenced by convert_function_group().
|
protected |
Definition at line 79 of file goto_diff_base.cpp.
References convert_function(), and messaget::result().
Referenced by output_functions().
|
pure virtual |
Implemented in syntactic_difft.
|
virtual |
Definition at line 16 of file goto_diff_base.cpp.
References convert_function_group(), deleted_functions, goto_functions_templatet< bodyT >::function_map, goto_modelt::goto_functions, goto_model1, goto_model2, goto_program_templatet< codeT, guardT >::instructions, ui_message_handlert::JSON_UI, modified_functions, new_functions, ui_message_handlert::PLAIN, total_functions_count, ui, and ui_message_handlert::XML_UI.
Referenced by goto_diff_parse_optionst::doit().
|
inline |
Definition at line 40 of file goto_diff.h.
References ui.
Referenced by goto_diff_parse_optionst::doit().
|
protected |
Definition at line 51 of file goto_diff.h.
Referenced by syntactic_difft::operator()(), and output_functions().
|
protected |
Definition at line 45 of file goto_diff.h.
Referenced by syntactic_difft::operator()(), and output_functions().
|
protected |
Definition at line 46 of file goto_diff.h.
Referenced by convert_function(), syntactic_difft::operator()(), and output_functions().
|
protected |
Definition at line 51 of file goto_diff.h.
Referenced by syntactic_difft::operator()(), and output_functions().
|
protected |
Definition at line 51 of file goto_diff.h.
Referenced by syntactic_difft::operator()(), and output_functions().
|
protected |
Definition at line 49 of file goto_diff.h.
Referenced by syntactic_difft::operator()(), and output_functions().
|
protected |
Definition at line 47 of file goto_diff.h.
Referenced by output_functions(), and set_ui().