cprover
|
#include <syntactic_diff.h>
Public Member Functions | |
syntactic_difft (const goto_modelt &_goto_model1, const goto_modelt &_goto_model2, const optionst &_options, message_handlert &_message_handler) | |
virtual bool | operator() () |
![]() | |
goto_difft (const goto_modelt &_goto_model1, const goto_modelt &_goto_model2, const optionst &_options, message_handlert &_message_handler) | |
void | set_ui (ui_message_handlert::uit _ui) |
virtual void | output_functions () const |
Output diff result. More... | |
Additional Inherited Members | |
![]() | |
void | output_function_group (const std::string &group_name, const std::set< irep_idt > &function_group, const goto_modelt &goto_model) const |
Output group of functions in plain text format. More... | |
void | output_function (const irep_idt &function_name, const goto_modelt &goto_model) const |
Output function information in plain text format. More... | |
void | convert_function_group_json (json_arrayt &result, const std::set< irep_idt > &function_group, const goto_modelt &goto_model) const |
Convert a function group to JSON. More... | |
void | convert_function_json (json_objectt &result, const irep_idt &function_name, const goto_modelt &goto_model) const |
Convert function information to JSON. More... | |
![]() | |
const goto_modelt & | goto_model1 |
const goto_modelt & | goto_model2 |
const optionst & | options |
ui_message_handlert::uit | ui |
unsigned | total_functions_count |
std::set< irep_idt > | new_functions |
std::set< irep_idt > | modified_functions |
std::set< irep_idt > | deleted_functions |
Definition at line 17 of file syntactic_diff.h.
|
inline |
Definition at line 20 of file syntactic_diff.h.
|
virtual |
Implements goto_difft.
Definition at line 16 of file syntactic_diff.cpp.
References CHECK_RETURN, struct_union_typet::components(), goto_difft::deleted_functions, dstringt::empty(), forall_goto_functions, goto_functionst::function_map, irept::get(), goto_modelt::goto_functions, goto_difft::goto_model1, goto_difft::goto_model2, symbol_table_baset::lookup(), goto_difft::modified_functions, goto_difft::new_functions, goto_modelt::symbol_table, to_class_type(), goto_difft::total_functions_count, and symbolt::type.